Machine di Turing

De Vichipedie, la enciclopedie libare dute in marilenghe.

La machine di Turing e je un model astrat di machine calcolatrice, inventât tal 1936 di Alan Turing par dâ une definizion precise di algoritmi, o 'procedure mecaniche'. Come model e je usade ancjemò un grum inte informatiche teoriche, specialmentri inte teorie de complessitât e inte teorie de calcolabilitât. La tesi che e dîs che une machine di Turing e je efetivamentri un model precîs di procedure mecaniche in matematiche e logjiche e je clamade tesi di Church-Turing.

Une machine di Turing che e pues simulâ il funzionament di ogni altre machine di Turing e je cognossude come machine di Turing universâl o semplicementri machine universâl, come Turing stes l'à dît tal 1947:

Si pues mostrâ che a une singule machine di chel gjenar si pues fâ fâ il lavôr di dutis. Si podarès di fat doprâle come model di ogni altre machine. Cheste machine speciâl e podarès jessi clamade machine universâl.