Turingmachine: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
Geen bewerkingssamenvatting
Regel 110:
Om te beginnen was het turingmodel een inspiratie voor de [[wiskunde|wiskundige]] [[John von Neumann]], die naar een manier zocht om de eerste [[computer]]s bruikbaar te maken. Naar aanleiding van Turings machine ontwikkelde hij de [[Von Neumann-cyclus]], een cyclus van handelingen die het mogelijk maakt een elektronisch apparaat precies te laten doen wat een turingmachine doet.
 
Daarnaast is de turingmachine het begin van een tak van [[wiskunde]] en [[informatica]] die vanuit formele specificaties van een probleem een programma afleidt dat het probleem oplost. Deze oplossingsstrategie (ontwikkeld door [[Tony Hoare]], [[Edsger Dijkstra]] en anderen) gebruikt [[predicatencalculus]] om de stappen uit te rekenen die nodig zijn om een turingautomaat van de ene toestand naar een volgende te krijgen (maar niet om direct de stappen uit te rekenen die van de begintoestand tot de accepterende toestand leiden – dat probleem is niet Turingturing-oplosbaar).
 
==Zie ook==