Rekursionen auswerten und beweisen

Treppen, Pflasterungen und Wörter nach dem letzten Schritt zerlegen und mit vollständigen Zuständen sowie Anfangswerten berechnen.