Kategorie:Theorie der Registermaschinen/Fakten