Dát studentům důkladné znalosti o prostředcích a metodách zpracování formálních jazyků a jejich využití při implrmentaci programovacích jazyků, editorů, příkazových interpretů apod. Seznámit studenty s formálními metodami konstruování software.
- Teacher: Brada Přemysl
- Teacher: Ježek Karel
- Teacher: Lipka Richard