Předmět seznamuje studenty ze základy teorie automatů a formálních jazyků v míře potřebné k pochopení funkce a návrhu překladačů programovacích jazyků a operačních systémů. Předmět dále umožňuje pochopení moderních monografií a článků z teoretické i praktické informatiky a je stavěn tak, aby jej mohli absolvovat lidé, kteří nejsou školenými matematiky.
- Učitel: Václav Zada