Eliška Šestáková Knihy
Učební text je koncipován především jako sbírka řešených příkladů z teorie formálních jazyků, gramatik a automatů. U jednotlivých úloh jsou spolu s řešením vždy uvedeny i hlavní myšlenky, které k danému řešení vedly. Autorka též vysvětluje použité formalismy a algoritmy a poukazuje na časté chyby studentů.