Context-Free Grammars and Languages

Tobias Nipkow 📧, Markus Gschoßmann 📧, Felix Krayer 📧, Fabian Lehr 📧, Bruno Philipp 📧, August Martin Stimpfle, Kaan Taskin 📧 and Akihisa Yamada 📧

May 21, 2025

Abstract

This is a basic library of definitions and results about context-free grammars and languages. It includes context-free grammars and languages, parse trees, Chomsky normal form, pumping lemmas and the relationship of right-linear grammars to finite automata.

License

BSD License

Topics

Session Context_Free_Grammar