Revision dai 1 di Jug 2005 a lis 23:13 cambie Agnul (Discussion \| contribûts) 13 modifiche Nessun oggetto della modifica ← Difarence precedente		Revision dai 1 di Jug 2005 a lis 23:26 cambie anule Agnul (Discussion \| contribûts) 13 modifiche Nessun oggetto della modifica Prossime difarence →
Rie 1: {{Non standard}} 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, ~~specialmenti~~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.''

Machine di Turing: diferencis tra lis versions