Ableitbarkeit

Grammatiktests > Ableitbarkeit

LL(1)-Parser wie TETRA müssen normalerweise die Bedingung erfüllen, dass jede Produktion von der Startregel aus erreichbar ist.

In TETRA ist dieses Prinzip allerdings nur vermittelt gültig. TETRA's Familienkonzept erlaubt ausdrücklich das Vorhandensein von Produktionen in der TETRA-Verwaltung, die nicht sämtlich einer Startregel untergeordnet sind. Während der Ausführung eines TETRA-Programms oder der Codegenerierung ist diese Bedingung dennoch automatisch garantiert, da TETRA genau das Ensemble von Regeln zusammenstellt, die von einer momentanen Startregel ableitbar sind.

Diese Seite gehört zur TextTransformer Dokumentation