คำจำกัดความที่เทียบเท่าของ mP / poly ในแง่ของเครื่องทัวริงคืออะไร?

P / poly เป็นคลาสของปัญหาการตัดสินใจที่แก้ไขได้โดยครอบครัวของวงจรบูลีนขนาดพหุนาม มันสามารถกำหนดเป็นเครื่องทัวริงเวลาพหุนามที่ได้รับสตริงคำแนะนำที่มีขนาดพหุนามใน n และจะขึ้นอยู่กับขนาดของ n

mP / poly เป็นคลาสของปัญหาการตัดสินใจที่แก้ไขได้โดยครอบครัวของวงจรบูลีนแบบโพลิโนเมียลขนาดเดียว แต่มีนิยามทางเลือกตามธรรมชาติของ mP / โพลีในแง่ของเครื่องทัวริงเวลาพหุนามหรือไม่?

$\mathsf{mP}$$\mathsf{mP/poly}$

จริงๆแล้วมีความคิดเกี่ยวกับเครื่องจักรทัวริงเชิงบวกที่กำหนดขึ้นซึ่งตรงกับ mP / โพลี มันสามารถพบได้ในบทความPositive Positive Time Polynomial Timeโดย Lauteman, Schwentick และ Stewart