Beispiel Dokumentenbearbeitung

Zusammenfassung

Attributierte Grammatiken und Compiler-Compiler wurden für den Einsatz im Compilerbau entwickelt, sind aber auch über diesen begrenzten Anwendungsbereich hinaus nützlich. Wir demonstrieren das im Bereich der wissenschaftlichen Textverarbeitung, indem wir einen Werkzeugsatz für die graphische Aufbereitung von Texten und mathematischen Formeln schaffen. Konkret geht es um Umsetzung einer kleinen LAT_EX -artigen Dokumentenbeschreibungssprache, genannt „miniDoc“, in die Seitenbeschreibungssprache Postscript¹. Verschiedene Attributierungen der Grammatik von „miniDoc“ ergeben Werkzeuge, die u.a. folgendes leisten:

• Eingabetexte auf „Konsistenz“ prüfen;

• Theoreme automatisch numerieren und symbolische Bezüge auflösen;

• Formeln in graphische „Fahrbefehle“ umsetzen.