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: Lipka Richard