ทำไมรัฐของเอฟเอที่แสดงประเพณี

ในขณะที่การเรียนการสอนวิธีการใช้ FSMs ใช้วงจรตรรกะซิงโครผมสังเกตเห็นบังเอิญที่น่าสนใจ: ทั้งในโลก CS ทฤษฎีและในโลกวิศวกรรมไฟฟ้า "รัฐ" โดยปกติจะแสดง (และรัฐพื้นที่Q ) ครั้งแรกที่ผมถาม EE.sxแต่แล้วขณะที่การวิจัยบิตหัวข้อนี้ผมพบว่าแม้ทัวริงเดิม 1,936 กระดาษใช้Q 1 . q nเพื่อแสดงสถานะของเครื่องทัวริง$q$$Q$$q_1..q_n$

ดังนั้นผมจึงสงสัยว่าเมื่อไม่ประชุมนี้กลับไปและเหตุผลที่จะเป็น "รัฐ" จะแสดง ?$q$

ในกระดาษ 1936 ของเขา "บนตัวเลขที่สามารถใช้ร่วมกับแอปพลิเคชันไปยัง ENTSCHEIDUNGSPROBLEM" , Alan Turing เขียนว่า:

"เราอาจเปรียบเทียบคนในกระบวนการคำนวณจำนวนจริงกับเครื่องจักรซึ่งสามารถ จำกัด จำนวนเงื่อนไข q1, q2, .... qR ซึ่งจะถูกเรียกว่า" m-configurations "

ดังนั้นเขาจึงเน้นความจริงที่ว่าเครื่องมีจำนวน จำกัด หรือไม่ต่อเนื่อง (ไม่ต่อเนื่อง) จำนวนรัฐหรือปริมาณ สำหรับฉันมันคือการอ้างอิงถึงคำ Quanta ที่ใช้ในฟิสิกส์เพื่อแสดงปรากฏการณ์ที่เปลี่ยนแปลงไม่ได้อย่างต่อเนื่อง แต่โดย "leaps" หรือ "quanta" ในปี 1950 บทความ“ Computing Machinery and Intelligence” Alan Turing มีความชัดเจนมากขึ้นเกี่ยวกับ“ leaps” ที่พูดถึง "jump jumps":

"คอมพิวเตอร์ดิจิทัลที่พิจารณาในส่วนสุดท้ายอาจจัดอยู่ในหมวดหมู่" เครื่องแยกรัฐ "ซึ่งเป็นเครื่องที่เคลื่อนที่โดยการกระโดดหรือคลิกอย่างฉับพลันจากรัฐหนึ่งไปยังอีกเครื่องหนึ่ง"

ดังนั้นฉันคิดว่า Alan Turing ใช้ q แทน s เพื่อแสดงสถานะเครื่องเพื่อเน้นถึงความจริงที่ว่าเครื่องรัฐสามารถอยู่ในชุดของค่าที่ไม่ต่อเนื่องและ จำกัด เช่นควอนตัมในฟิสิกส์เท่านั้น และตั้งแต่นั้นมาจะใช้สัญกรณ์เดียวกัน

ฉันไม่แน่ใจ แต่ฉันอ่านที่ไหนสักแห่งที่หมายถึงควอนตัม เพราะเรารู้ว่าออโตมาตะทำงานในกรอบเวลาที่ไม่ต่อเนื่อง หุ่นยนต์ยังคงอยู่เสมอในบางรัฐในการตั้งสถานะ จำกัด และแม้จะเริ่มต้นด้วย Q สถานะเริ่มต้น0 นอกจากนี้หุ่นยนต์ไม่สามารถอยู่ในสถานะมากกว่าหนึ่งในเวลาใดก็ได้ ควอนตัมคำมาจากฟิสิกส์ที่หมายถึงปริมาณจำนวนหรือจำนวน