Kategorie:Theorie der Registermaschinen/Definitionen