Machina de Turing
Un machina de Turing es un modello mathematic de computation que defini un machina abstracte le qual manipula symbolos super un banda accordante un tabula de regulas. Illo esseva inventate in 1936 per Alan Turing, qui lo appella un a-machina (machina automatic). Le machina manovra super un banda de memoria infinite dividite in cellulas discrete. Malgrado le simplicitate del modello, pro un algorithmo qualcunque, un machina de Turing pote esser construite que es capabile de simular le logica de iste algorithmo.