Formal Definition

Home > Languages > Formal Language > Turing Machines > Formal Definition

A formal definition of a Turing Machine is a set of states, the input alphabet, the work tape alphabet, the transition function, the start state, and the accepting states. It is a mathematical representation of the machine.