Formal grammars formal grammar in nLab Introduction to Language Theory | Ray Toal, Loyola Marymount University Formal languages and automata. Encyclopedia of Mathematics https://opendsa-server.cs.vt.edu/OpenDSA/Books/PIFLAS22/html/index.html