computation Definition Finite Automaton A Turing machine that does not need a separate work band. The transition function is simplified: δ:Q×Σ→Q×{L,R,S}