Turingmachine: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
Maiella (overleg | bijdragen)
Geen bewerkingssamenvatting
kGeen bewerkingssamenvatting
Regel 11:
Een Turingmachine bestaat uit twee onderdelen:
# Een band van oneindige lengte, onderverdeeld in oneindig veel vakjes. Op elk moment is echter slechts een eindig deel van deze band beschreven.
# Een apparaat met een lees/schrijfkop (een [[eindige toestandsautomaateindigetoestandsautomaat]] genaamd), dat van de band kan lezen en erop kan schrijven.
 
{| align=center
Regel 19:
|}
 
Het actieve gedeelte van de machine is de eindige toestandsautomaateindigetoestandsautomaat. Deze automaat bevindt zich altijd in één bepaalde toestand. Deze toestand is er een uit een eindige [[verzameling (wiskunde)|verzameling]] van toestanden en de automaat kan, volgens bepaalde regels, overgaan van de ene toestand in de volgende.
 
De toestandsautomaat herhaalt (mogelijk een oneindig aantal malen) de volgende cyclus: