Automata and grammars : a collection of exercises and solutions - Šestáková, Eliška (České vysoké učení technické v Praze, 2018)