Formal Definition
A multitape Turing machine can be formally defined as a 6-tuple, where
- is a finite set of states
- is a finite set of symbols called the tape alphabet
- is the initial state
- is the set of final or accepting states.
- is a relation on states and symbols called the transition relation.
where
Read more about this topic: Multi-track Turing Machine
Famous quotes containing the words formal and/or definition:
“True variety is in that plenitude of real and unexpected elements, in the branch charged with blue flowers thrusting itself, against all expectations, from the springtime hedge which seems already too full, while the purely formal imitation of variety ... is but void and uniformity, that is, that which is most opposed to variety....”
—Marcel Proust (1871–1922)
“I’m beginning to think that the proper definition of “Man” is “an animal that writes letters.””
—Lewis Carroll [Charles Lutwidge Dodgson] (1832–1898)