AUTOMATA AND FORMAL LANGUAGES

Machines. Operations on machines and languages. Grammars. Non-deterministic machines. 

Discrete Mathematics – Formal Languages and Automata, by A. Pitts, 2014, University of Cambridge.

Discrete Mathematics – Formal Languages and Automata, by A. Pitts, I. Leslie, 2017, University of Cambridge.

Discrete Mathematics – Formal Languages and Automata, by F. Stajano, 2022, University of Cambridge.