Učební text Formální jazyky a automaty I prezentuje základní pojmy a konstrukce teorie formálních jazyků (formální jazyky, gramatiky, konečné a zásobníkové automaty a Turingovy stroje). Jsou zde předvedeny aplikace gramatik a automatů při návrhu, popisu a analýze formálních jazyků, jakož i klasifikace problémů vzhledem k jejich rozhodnutelnosti. Text je určený zejména studentům předmětu FI:IB005 Formální jazyky a automaty I.