von Alan Turing erdachter, theoretischer, eindimensionaler Rechner zur allgemeinen Problemlösung (universeller Computer)