Wat is Turing -volledigheid?

Turing -volledigheid is wanneer een programmeertaal de functies van een Turing -machine kan uitvoeren.Dit is een concept voor een zeer basale mechanische computer, soms beschreven als de eenvoudigste machine die als een computer kan worden beschouwd.Vrijwel alle programmeertalen die vandaag in gebruik zijn, en in theorie hebben de computers die ze uitvoeren, hebben de volledigheid van de volledigheid.

Het concept van Turing -volledigheid komt van Alan Turing, een Britse computerwetenschapper wiens werk was ontcijferd door gecodeerde berichten tijdens de Tweede Wereldoorlog.Een van zijn werk aan computergebruik was de ontwikkeling van een filosofie van wat een computer daadwerkelijk zou kunnen doen.Dit omvatte het concept dat computers gewoon werken door algoritmen uit te voeren.Dat wil zeggen dat ze een vaste set regels volgen om gegevens te verwerken en op hun beurt problemen op te lossen.Dit betekent dat een computer niet denkt of beslissingen neemt zoals een persoon.anderen noemden het later de Turing -machine.De machine zou een tape -haspel verwerken die terug of naar voren kon bewegen en een lijn van symbolen bevatte.Op elk moment kan de machine één symbool verwerken en, indien nodig, wijzigen.Voor de doeleinden van het concept kon de haspel van tape oneindig lang zijn, wat betekent dat het geheugen van de computer niet inherent beperkt was.Dit is een analogie voor het idee dat zodra een computer een reeks instructies heeft om te volgen, de hoeveelheid gegevens waaraan deze instructies kan worden toegepast, alleen fysieke limieten kan worden onderworpen. Ir ironisch genoeg hebben de meeste computers tegenwoordig geen turing -volledigheid.Dit komt omdat ze beperkingen hebben op de beschikbare opslagruimte en dus de gegevens die ze kunnen verwerken.Ze hebben ook fysieke beperkingen, met name dat ze uiteindelijk zullen verslijten.Het is eigenlijk de programmeertaal die de volledigheid van Turing heeft.Daarom is een computer met een dergelijk programma geen Turing -computer, maar kan worden gebruikt om er een te simuleren.

Turing -volledigheid moet niet worden verward met de Turing -test.Dit was een experiment dat is ontworpen door Turing om te zien of computers in natuurlijke taal kunnen praten.Het principe van de test is dat als een mens het verschil niet kan zien tussen een gesprek met alleen tekst met de computer en een andere mens, de computer de test doorstaat.Hoewel sommige computers de test hebben doorstaan wanneer het bereik van gespreksonderwerpen beperkt is, heeft niemand dit gedaan in een onbeperkt gesprek.