Editing Algorithm (section)

=== Turing machines ===
There are many possible representations and [[Turing machine]] programs can be expressed as a sequence of machine tables (see [[finite-state machine]], [[state-transition table]], and [[control table]] for more), as flowcharts and drakon-charts (see [[state diagram]] for more), as a form of rudimentary [[machine code]] or [[assembly code]] called "sets of quadruples", and more. Algorithm representations can also be classified into three accepted levels of Turing machine description: high-level description, implementation description, and formal description.<ref name=":5">Sipser 2006:157</ref> A high-level description describes the qualities of the algorithm itself, ignoring how it is implemented on the Turing machine.<ref name=":5" /> An implementation description describes the general manner in which the machine moves its head and stores data to carry out the algorithm, but does not give exact states.<ref name=":5" /> In the most detail, a formal description gives the exact state table and list of transitions of the Turing machine.<ref name=":5" />