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:
“On every formal visit a child ought to be of the party, by way of provision for discourse.”
—Jane Austen (1775–1817)
“Perhaps the best definition of progress would be the continuing efforts of men and women to narrow the gap between the convenience of the powers that be and the unwritten charter.”
—Nadine Gordimer (b. 1923)