Detail předmětu
Moderní teoretická informatika
FIT-TIDAk. rok: 2021/2022
Předmět diskutuje pokročilá témata teoretické informatiky. Zaměřuje se na nejmodernější výzkum v oblasti automatů, formálních jazyků, formálních modelů, vyčíslitelnosti, složitosti a překladu. Detailně jsou objasněny souvislosti mezi teoretickou informatikou a matematikou. Filosofické aspekty informatiky jsou rovněž vyloženy. Získání a porozumnění presentovaných poznatků je ověřeno zpracováním vlastní tvůrčí tématické práce studenta.
Okruhy otázek k SDZ:
- Normální formy obecných gramatik.
- Regulované gramatiky.
- Maticové gramatiky.
- Programované přepisovaní.
- Gramatiky s nahodilým kontextem.
- CD gramatické systémy.
- PC gramatické systémy.
- L systémy.
- Gramatiky s rozptýleným kontextem.
- Převodníky.
Jazyk výuky
Garant předmětu
Zajišťuje ústav
Výsledky učení předmětu
Prerekvizity
Učební cíle
Vymezení kontrolované výuky a způsob jejího provádění a formy nahrazování zameškané výuky
- Každý 20 bodů, z toho 15 písemná část a 5 ústní část (prezentace)
- Téma referátů musí být vztaženo k látce předmětu a schváleno garantem předmětu (Prof. Meduna).
- Referát nutno odevzdat do pondělí v týdnu, kdy bude prezentován. Odevzdání se provede elektronicky na email meduna@fit.vutbr.cz s předmětem "TID-referat". Pozor! Pokud bude referát odevzdán v úterý, automaticky ztráta 5 bodů. Pokud ještě později či vůbec, bude řešeno individuálně.
- Po prezentaci bude možno stávající verzi referátu vylepšit a znovu odevzdat. Tato verze pak bude hodnocena.
2. Ústní zkouška se skládá ze dvou otázek, každá za 30 bodů.
Doporučená literatura
Kopie přednášek
MEDUNA Alexander a TECHET Jiří. Scattered Context Grammars and their Applications. WIT Press, UK, 2010. ISBN 978-1-84564-426-0
MEDUNA Alexander a ZEMEK Petr. Regulated Grammars and Automata. New York: Springer US, 2014. ISBN 978-1-4939-0368-9
MEDUNA Alexander: Automata and Languages. London, Springer, 2000
mnoho nejnovějších článků, vědeckých zpráv a knih
Zařazení předmětu ve studijních plánech
- Program DIT doktorský 0 ročník, zimní semestr, povinně volitelný
- Program DIT doktorský 0 ročník, zimní semestr, povinně volitelný
- Program VTI-DR-4 doktorský
obor DVI4 , 0 ročník, zimní semestr, volitelný
- Program VTI-DR-4 doktorský
obor DVI4 , 0 ročník, zimní semestr, volitelný
- Program DIT-EN doktorský 0 ročník, zimní semestr, povinně volitelný
- Program DIT-EN doktorský 0 ročník, zimní semestr, povinně volitelný
- Program VTI-DR-4 doktorský
obor DVI4 , 0 ročník, zimní semestr, volitelný
- Program VTI-DR-4 doktorský
obor DVI4 , 0 ročník, zimní semestr, volitelný
- Program IT-DR-1H doktorský
obor DRH , 0 ročník, zimní semestr, volitelný
Typ (způsob) výuky
Přednáška
Vyučující / Lektor
Osnova
- Úvod; zopakování důležitého materiálu.
- Řízené formální modely: principy.
- Maticové gramatiky.
- Programované přepisovaní.
- Gramatiky s nahodilým kontextem.
- Levé verze řízených gramatik.
- Hierarchie jazykových tříd definovaných řízenými gramatikami.
- CD gramatické systémy.
- PC gramatické systémy.
- L systémy.
- Semiparalelní formální modelů; multi-gramatiky.
- Gramatiky s rozptýleným kontextem.
- Nové verze klasických automatů.
- Stávající trendy teoretické informatiky; shrnutí.
Projekt
Vyučující / Lektor
Osnova
Konzultace v kombinovaném studiu
Vyučující / Lektor