Klasse fuer den Automaten LR(1) abgeleitet von LR(0)
Superkonstruktor
berechnet den Startzustand des LR(1)
Getter für die Grammatik des Automaten
Myhillsche Teilmengenkonstruktion des zugehörigen DEA
[Validate]