Machine di Turing: diferencis tra lis versions

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 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.