LR-Items

• benutze größeres Kelleralphabet, damit man bereits am top-of-stack erkennt, welche Regeln anwendbar sind.
• ein solches Kellerzeichen ist eine Menge von Items,
• ein Item hat die Form (T$\to$u ^. v)

  mit der Bedeutung: u haben wir schon gesehen; wenn noch v kommt, dann können wir alles durch T ersetzen.

• Items mit möglichen Übergängen bilden endlichen Automaten.

  (groß $\Rightarrow$ Werkzeuge)