Machina de Turing

De Wikipedia, le encyclopedia libere
Saltar a: navigation, cercar

Un machina de Turing es un modello mathematic de computation qui 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 alcun, un machina de Turing pote esser construite qui es capabile de simular le logica de iste algorithmo.

Vide etiam[modificar | modificar fonte]