turingmaskine
turingmaskine betegner en abstrakt model af en enhed (en 'maskine'), der automatisk kan udføre en beregningsprocedure. Modellen, der blev formuleret i 1936 af Alan M. Turing, er udstyret med simple operationer. Turingmaskiner er så kraftfulde, at alle rimelige beregninger kan