0

0

- A Turing Machine is a 6-tuple
- M = (Q, ∑, I, q0, δ, F) where
- Q - finite, non-empty set of states
- ∑ - finite set of at least 2 symbols: the alphabet. ^ ∈ ∑
- I - non-empty subset of ∑; ^ ∉ I; input alphabet
- q0 - q0 ∈ Q; starting or initial state
- d - δ: (Q\F) x ∑ ⇒Q x ∑ x {-1, 0, 1}, a partial function, the instruction table
- F - F ⊆ Q, the set of final or halting states

0

ADD COMMENT

Please log in to add an answer.