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