Általános problémamegoldó gép
Matematikai számítási eljárások, algoritmusok precíz leírására, tágabb értelemben pedig mindenfajta „gépies” problémamegoldó folyamat, automatikusan végrehajtható számítás leírására alkalmas modell.
A Turing gépmodellje