V tomto předmětu se seznámíte se základními prostředky a metodami zpracování formálních jazyků (s důrazem na jazyky 2. třídy - popsatelné bezkontextovou gramatikou) a jejich využitím pro implementaci překladačů programovacích jazyků a příkazových interpretrů. Zároveň demonstruje některé metody formálního konstruování software - převodu formálního, matematicky analyzovatelného modelu na počítačový program.
- Teacher: Ježek Karel
- Teacher: Lipka Richard