0
나는 Turing Machines에 대해 매우 익숙하며 질문에 난처하지 않습니다. Q = {q, r, s, t}, Σ = {abc}, Γ = {B, a, b, q}가되도록 튜링 기계가 주어진다 : M = (Q, Σ, Γ, c}, δ는 다음과 같이 정의된다 : [q, a, r, b, R], [q, b, r, a, R], q, c, t,Turing Machine Configuration
그리고 M이 입력 abba에서 중단되는지 묻는다면, 그렇다면 M이 정지하는 구성을 작성하십시오. 대답은 brbba인데, 어떻게 구성 할 수 있는지 이해할 수 없습니다. 상태 기호가 구성의 일부가되는 방법은 무엇입니까? 어떤 도움을 주시면 감사하겠습니다! 는 R은를 나타낸다으로
가- 현재 상태
- 판독/기록 헤드
- 테이프 내용
brbba의 위치가 세를 나타냄