Repository files navigation

A python library to manipulate formal grammar. In general, it can be used to better understand algorithms in a formal way.

If you use Pyformlang in your project, please cite our paper:

@InProceedings{pyformlang,author="Romero, Julien",title="Pyformlang: An Educational Library for Formal Language Manipulation",booktitle="SIGCSE",year="2021"doi = {https://doi.org/10.1145/3408877.3432464}}

pip3 install pyformlang

Most algorithms come from Introduction toAutomata Theory, Languages, and Computation(2nd edition) by John E. Hopcroft, Rajeev Motwani and Jeferey D. Ullman.

Indexed grammars come from the original paperIndex Grammars - An Extension of Context-free grammars by Alfred V. Aho.

On the implementation of Hopcroft minimization algorithm:Implementation of Hopcroft's Algorithm, Hang Zhou

Intersection CFG/Regex anda better written version

Please refer to the official documentation:pyformlang.readthedocs.io.

Rustformlang is a version of Pyformlang written in Rust for higher efficiency.