INFORMACE O KURSU IA006

AUTOMATY

Katedra teorie programování
Fakulta informatiky MU
Podzimní semestr 2016

Počet kreditu: 3 + f-ce ukončeni.

Doporučením pro zápis kursu IA006 je znalost problematiky odpovídající předmětům:


Syllabus přednášky

Metody syntakticke analyzy detCFL.

LL(k) gramatiky a jazyky, vlastnosti a analyzatory (definice LL(k) gramatiky, vlastnosti LL(1) a SLL(k) gramatik a jejich analyza, LL(k) analyza).

LR(k) gramatiky a jazyky, vlastnosti a analyzatory (definice LR(k) gramatiky, vlastnosti LR(0) a SLR(k) gramatik a jejich analyza, LR(k) analyza a analyza LALR(1) ).

Automaty a gramatiky jako nastroj pro konecnou reprezentaci (nekonecne stavovych) prechodovych systemu specifikace paralelnich a/nebo sekvencnich procesu, relace bisimulace, tridy procesu a jejich hierarchie.

Konecne automaty a MSO logika (Monadic Second Order Logic)

Konecne automaty nad nekonecnymi slovy. Typy akceptacnich podminek a jejich vzajemne vztahy, $\omega$-regularni jazyky a jejich vlastnosti.


Cas a misto konani

Rozvrh kursu IA006 (Automaty):

Vyucujuci

Prednasky

prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programovani FI MU
mojmir@fi.muni.cz
mistnost C 419, 4. podlazi, budova C, Botanicka 68a

Cviceni

doc. RNDr. Jiří Barnat, PhD.
Katedra teorie programovani FI MU
xbarnat@fi.muni.cz
mistnost A 409, 4. podlazi, budova A, Botanicka 68a
Mgr. Juraj Major
CVT FI MU
jmajor@mail.muni.cz
mistnost B315, 3. podlazi, budova B, Botanicka 68a
doc. RNDr. Jan Strejček, PhD.
Katedra teorie programovani FI MU
xstrejc@fi.muni.cz
mistnost C 414, 4. podlazi, budova C, Botanicka 68a

Konzultacni hodiny


Studijni materialy


Pozadavky na absolvovani predmetu

V prubehu semestru se kona 1 pisemna prace (dale ref.jako "vnitrosemetralni pisemka"). Dalsi pisemna prace ("zaverecna pisemna zkouska") se kona ve zkouskovem obdobi (předtermín po domluvě a dle kapacitních možností na FI). Maximalni mozny zapocitavany zisk z obou pisemnych praci je 100 bodu.

Za vnitrosemetralni pisemku lze ziskat 20 bodu. Body ziskane z teto prace se zapocitavaji do celkoveho hodnoceni predmetu (viz nize). Za zaverecnou pisemnou zkousku lze ziskat maximalne 80 bodu. Pouziti literatury a poznamek neni na pisemkach povoleno.

Hodnoceni:
Zkouška: A: alespon 87 b., B: alespon 79 b., C: alespon 71 b., D: alespon 63, E: alespon 55 b.
Zapocet: alespon 50 b.

Terminy pisemek

1.písemka (vnitrosemestrální): čtvrtek, 10.11.2016 od 17:00, posl. D1, D3.
Délka trvání - prozatímní odhad 100 minut; bude nutné se přihlásit přes IS.

Téma:
(A) vše o LL(1), SLL(k), LL(k) - nejen konstrukce analyzátorů, ale i definice a vlastnosti (včetně důkazů). LR(0) a SLR(k) - totéž, co ad LL(k);
(B) deterministické zásobníkové automaty a deterministické bezkontextové jazyky, vizte výše "Studijní materiály", skripta Automaty a formální jazyky I (skripta pro IB005 resp. IB102), podkapitola 3.4.

Závěrečné písemné zkoušky (leden/únor):
DETAILY a PŘIHLÁŠKY budou zveřejněny v ISu nejpozději 2 týdny před začátkem zkouškového období.

Last modified: Wednesday, 20-Sep-2017 09:42:11 CEST