Kategorie:Theorie der Registermaschinen/Beweise