Detail předmětu

Teoretická informatika 1

TI1 Ak. rok 2003/2004 zimní semestr 6 kreditů

Aktuální akademický rok

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ě.

Podrobněji ...

Garant předmětu

Češka Milan, prof. RNDr., CSc.

Jazyk výuky

česky

Zakončení

zkouška

Rozsah

Zajišťuje ústav

Ústav inteligentních systémů (UITS)

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

Nahoru