Detail předmětu
Teoretická informatika 1
TI1 Ak. rok 2003/2004 zimní semestr 6 kreditů
Význam a aplikace teorie formalních jazyků, operace nad jazyky, reprezentace jazyků, způsoby reprezentace formálních jazyků, gramatiky, Chomského klasifikace gramatik a formálních jazyků, jazyky přijímané konečnými automaty, vztah jazyků typu 3 a jazyků přijímaných konečnými automaty, regulární množiny a regulární výrazy, minimalizace konečného automatu, vlastnosti regulárních jazyků, bezkontextové gramatiky, problém syntaktické analýzy, transformace bezkontextových gramatik, zásobníkové automaty, ekvivalence jazyků typu 2 a jazyků přijímaných zásobníkovými automaty, vlastnosti bezkontextových jazyků, Petriho sítě.
Garant předmětu
Jazyk výuky
Zakončení
Rozsah
Zajišťuje ústav
Získané dovednosti, znalosti a kompetence z předmětu
Teoretické znalosti využívané v problémech konstrukce překladačů, modelování, formální specifikace, automatizace návrhu, verifikace a umělé inteligence.
Cíle předmětu
Osvojení základů teorie formálních jazyků využívaných v konstrukci překladačů a v modelování výpočetních systémů.
Průběžná kontrola studia
Bodové hodnocení výsledků půlsemestrální zkoušky a vypracovaného projektu.
Zařazení předmětu ve studijních plánech
- Program EI-BC-3, obor VTB, 1. ročník, volitelný
- Program EI-BC-3 (anglicky), obor VTB, 1. ročník, volitelný
- Program EI-MGR-3, obor VTN, 1. ročník, povinný
- Program EI-MGR-5, obor VTI, 1. ročník, povinný
- Program EI-MGR-5 (anglicky), obor VTI, 1. ročník, povinný