Utent:Agnul/Machine di Turing
De Vichipedie, la enciclopedie libare dute in marilenghe.
|
Chest test nol è scrit inte grafie normalizade; se tu puedis, modifiche le pagjine seont lis regulis che tu cjatis ca. |
Le machine di Turing e je un model astrat di machine calcolatrice, inventât tal 1936 da Alan Turing par dâ une definizion precîse di algoritmo, o 'procedure mecaniche'. Come model e je usade ancjemò un grum in informatiche teoriche, spezialmenti inta teorie de complesitât e nele teorie delle calcolabitât. La tesi ca dîs che une machine di Turing je efetivamenti un model precîs di procedure mecaniche in matematiche e logiche a è clamade tesi di Church-Turing.
Une machine di Turing ca podi simulâ il funzionament di ogni âte machine di Turing e je dete machine di Turing universâl o semplizementi machine universâl, come Turing stes l'à dît tal 1947:
- Si pòs mostrâ che a une singule machine di chel tipo si pòs fa fâ il lavôr di dutes. Si podares in fat doprâ come model di ogni âtre machine. Cheste machine speziâl a podares esi clamade machine unversâl.

