Bạn chỉ ra rằng một trong hai mô hình có thể mô phỏng mô hình kia, được đưa ra một máy trong mô hình A, cho thấy rằng có một máy trong mô hình B tính toán cùng chức năng. Lưu ý rằng mô phỏng này không phải tính toán (nhưng thường là).
Ví dụ, xem xét, automata đẩy xuống với hai ngăn xếp (2-PDA). Trong một câu hỏi khác , các mô phỏng theo cả hai hướng được phác thảo. Nếu bạn đã làm điều này một cách chính thức, bạn sẽ lấy một máy Turing chung (một tuple) và xây dựng rõ ràng những gì 2-PDA tương ứng sẽ là, và ngược lại.
Chính thức, một mô phỏng như vậy có thể trông như thế này. Để cho
M=(Q,ΣI,ΣO,δ,q0,QF)
là một máy Turing (với một băng). Sau đó,
AM=(Q∪{q∗1,q∗2},ΣI,Σ′O,δ′,q∗1,QF)
với Σ′O=ΣO∪.{$} và δ′ do
(q∗1,a,hl,hr)→δ′(q∗1,ahl,hr) với mọia∈ΣI vàhr,hl∈ΣO ,
(q∗1,ε,hl,hr)→δ′(q∗2,hl,hr) cho tất cả cáchr,hl∈ΣO ,
(q∗2,ε,hl,hr)→δ′(q∗2,ε,hlhr) cho tất cả cáchr,hl∈ΣO vớihl≠$ ,
(q∗2,ε,$,hr)→δ′(q0,$,hr) cho tất cả cáchr∈ΣO ,
(q,ε,hl,hr)→δ′(q′,ε,hla)⟺(q,hr)→δ(q′,a,L) cho tất cả cácq∈Q vàhl∈ΣO ,
(q,ε,$,hr)→δ′(q′,$,□a)⟺(q,hr)→δ(q′,a,L) cho tất cả cácq∈Q ,
(q,ε,hl,hr)→δ′(q′,ahl,ε)⟺(q,hr)→δ(q′,a,R) cho tất cả cácq∈Q,hl∈Σ′O ,
(q,ε,hl,$)→δ′(q,hl,□$) cho tất cả cácq∈Q vàhl∈Σ′O , và
(q,ε,hl,hr)→δ′(q′,hl,a)⟺(q,hr)→δ(q′,a,N) cho tất cả cácq∈Q,hl∈Σ′O
là một 2-PDA tương đương. Ở đây, chúng tôi giả định rằng máy Turing sử dụng □∈ΣO là biểu tượng trống, cả hai ngăn xếp bắt đầu với một dấu $∉ΣO (mà không bao giờ bị loại bỏ) và (q,a,hl,hr)→δ′(q′,l1…li,r1…rj) phương tiện mà AM tiêu thụ đầu vào a , chuyển trạng thái từq đểq′ và cập nhật các ngăn xếp như vậy:
[ nguồn ]
Nó vẫn còn để chứng minh rằng AM chuyển sang trạng thái cuối cùng về x∈Σ∗I khi và chỉ khi M làm như vậy. Điều này khá rõ ràng bằng cách xây dựng; chính thức, bạn phải dịch việc chấp nhận chạy trên M thành chấp nhận chạy trên AM và ngược lại.