คุณแสดงให้เห็นว่าทั้งสองรุ่นสามารถจำลองอื่น ๆ ที่ได้รับเครื่องในรุ่น A แสดงให้เห็นว่ามีเครื่องในรุ่น B ที่คำนวณฟังก์ชั่นเดียวกัน โปรดทราบว่าการจำลองนี้ไม่จำเป็นต้องคำนวณ (แต่มักจะเป็น)
พิจารณาตัวอย่างเช่นกดลงออโตมาต้าพร้อมสองกอง (2-PDA) ในอีกคำถามหนึ่งการจำลองทั้งสองทิศทางนั้นได้อธิบายไว้ หากคุณทำสิ่งนี้อย่างเป็นทางการคุณจะต้องใช้เครื่องทัวริงทั่วไป (tuple) และสร้างสิ่งที่ 2-PDA ที่สอดคล้องกันอย่างชัดเจนและในทางกลับกัน
อย่างเป็นทางการการจำลองอาจมีลักษณะเช่นนี้ ปล่อย
M=(Q,ΣI,ΣO,δ,q0,QF)
เป็นเครื่องทัวริง (มีหนึ่งเทป) จากนั้น
AM=(Q∪{q∗1,q∗2},ΣI,Σ′O,δ′,q∗1,QF)
กับΣ′O=ΣO∪.{$}และδ′มอบให้โดย
(q∗1,a,hl,hr)→δ′(q∗1,ahl,hr)สำหรับทุก ∈ Σ ผมและเอชอาร์ , เอชลิตร ∈ Σ O ,a∈ΣIhr,hl∈ΣO
(q∗1,ε,hl,hr)→δ′(q∗2,hl,hr)สำหรับทุกhr,hl∈ΣO ,
(q∗2,ε,hl,hr)→δ′(q∗2,ε,hlhr)สำหรับทุกhr,hl∈ΣOกับhl≠$ ,
(q∗2,ε,$,hr)→δ′(q0,$,hr)สำหรับทุกhr∈ΣO ,
(q,ε,hl,hr)→δ′(q′,ε,hla)⟺(q,hr)→δ(q′,a,L)สำหรับทุกq∈Qและhl∈ΣO ,
(q,ε,$,hr)→δ′(q′,$,□a)⟺(q,hr)→δ(q′,a,L)สำหรับทุกq∈Q ,
(q,ε,hl,hr)→δ′(q′,ahl,ε)⟺(q,hr)→δ(q′,a,R) for all q∈Q,hl∈Σ′O,
(q,ε,hl,$)→δ′(q,hl,□$) for all q∈Q and hl∈Σ′O, and
(q,ε,hl,hr)→δ′(q′,hl,a)⟺(q,hr)→δ(q′,a,N) for all q∈Q,hl∈Σ′O
□∈ΣO$∉ΣO(q,a,hl,hr)→δ′(q′,l1…li,r1…rj) means that AM consumes input a, switches states from q to q′ and updates the stacks like so:
[source]
It remains to show that AM enters a final state on x∈Σ∗I if and only if M does so. This is quite clear by construction; formally, you have to translate accepting runs on M into accepting runs on AM and vice versa.