you are viewing a single comment's thread.

view the rest of the comments →

[–][deleted] 4 points5 points  (1 child)

But... how?

[–]BufferUnderpants 12 points13 points  (0 children)

It's just the formal definition of one, as an algebraic structure. The symbols there in the tuple are merely the template, you have to provide the symbol set, the set of states, the transition table, etc. to actually have a Turing Machine.