computation Definition Finite Automaton A Turing machine that does not need a separate work band. The transition function is simplified: