Nói chung, khi chúng ta mô hình hóa cuộc tấn công, chúng ta phải xem xét nhiều hơn một giai đoạn.
Vấn đề : Trong khoa học máy tính lý thuyết, chúng ta sử dụng máy Turing $\mathcal{A}$ (cuối cùng là với các lời tiên tri), là "một pha" (lấy một chuỗi làm đầu vào và xuất ra một chuỗi khác).
Sau đó, để xem xét điều này, người ta chọn sử dụng nhiều Máy Turing chẳng hạn $\mathcal{A}_1$, $\mathcal{A}_2$.
Như vậy $\mathcal{A}_1$ sẽ đại diện cho đối thủ trong giai đoạn đầu tiên, và $\mathcal{A}_2$ trong giai đoạn thứ hai.
Nhưng, nó có thể xảy ra rằng $\mathcal{A}_2$ cần sử dụng thông tin được tính toán trong giai đoạn đầu tiên.
Đó là lý do tại sao chúng tôi sử dụng một chuỗi (liên kết ponyomily, bởi vì $\mathcal{A}_1$ được coi là Máy Turing thời gian đa thức), được xuất ra bởi $\mathcal{A}_1$, và lấy làm đầu vào bởi $\mathcal{A}_2$. Chuỗi này được gọi là trạng thái.
Về những đồng tiền nội bộ, đó chỉ là vì $\mathcal{A}$là xác suất Máy Turing, do đó nó sử dụng đồng xu ngẫu nhiên. (phương tiện nội bộ: nó không phụ thuộc vào đầu vào).
ps: Đôi khi, mọi người muốn tránh sử dụng nhiều hơn một máy Turing và xem xét có trạng thái Máy Turing (trái ngược với máy truyền thống không quốc tịch máy Turing).
pps : Trong bối cảnh này, không trạng thái không có nghĩa là chỉ có một trạng thái trong Máy Turing, nhưng nó có nghĩa là mỗi lần thực thi độc lập với những lần trước đó và do đó chỉ phụ thuộc vào đầu vào và đồng tiền ngẫu nhiên.
https://www.thegeeksclan.com/stateful-and-stateless-programs/
