Ervaar berekening via de minimale onderdelen: een tape, een lees-/schrijfkop, een toestand en overgangsregels.
Machinaal vertaald vanuit het Engelse origineel. Open Engels origineel
Een Turingmachine is een abstracte machine die berekening definieert met alleen een tape, een head, een state en regels. Hier bouwen we niet het binnenste van een CPU na; in plaats daarvan maken we het mogelijk om met de hand te volgen hoe één instructie wordt afgerond, en in welke leesvolgorde. Het eerste doel is niet om een antwoord te produceren, maar om de Tape, Head, State en Rule Table te leren lezen als wijzend naar hetzelfde moment.
De basisopbouw van een Turingmachine is Stanford Encyclopedia of Philosophy: Turing wordt ook uiteengezet als de relatie tussen tape, head, state en instructietabel.
Zodra je een Preset en invoer hebt gekozen, vergelijk je de centrale head, de huidige state en de gemarkeerde rij van de Rule Table. Druk nog niet op Step — kijk eerst waar deze ene instructie begint.
De volgorde om naar te kijken is niet “het geheel” maar “de huidige cel.” Hier grijp je de kleine belofte dat een lange berekening stap voor stap vordert vanuit slechts eindige states en lokale symbolen.
Beweegt naar het rechtereinde van een binair getal, verwerkt de overdracht en telt er 1 bij op.
Wat is de volgorde van de ene instructie die deze ervaring uiteenrafelt en volgt?