Informace o předmětu

IA006 Vybrané kapitoly z teorie automatů

Rozsah

2/1/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.
Vyučováno kontaktně

Vyučující

prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
Mgr. Juraj Major (cvičící)
prof. RNDr. Jan Strejček, Ph.D. (cvičící)
RNDr. Miriama Jánošová (pomocník)
RNDr. Martin Jonáš, Ph.D. (pomocník)
RNDr. David Klaška (pomocník)

Garance

prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky

Rozvrh

St 25. 9. až St 18. 12. St 10:00–11:50 A218

• Rozvrh seminárních/paralelních skupin:

IA006/01: Čt 26. 9. až Čt 19. 12. každý lichý čtvrtek 14:00–15:50 A318, J. Major

Předpoklady

Znalost problematiky v rozsahu předmětu IB005 - Formální jazyky a automaty a IB107 - Vyčíslitelnost a složitost

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.
Předmět si smí zapsat nejvýše 256 stud.
Momentální stav registrace a zápisu: zapsáno: 10/256, pouze zareg.: 0/256, pouze zareg. s předností (mateřské obory): 0/256

Mateřské obory/plány

předmět má 29 mateřských oborů, zobrazit

Cíle předmětu

Cílem je seznámit studenty s pokročilejšími partiemi teorie automatů, a to jak aplikacemi klasické teorie automatů a gramatik (metody syntaktické analýzy deterministických bezkontextových jazyků), problematikou použití automatů pro specifikaci procesů (bisimulační ekvivalence, vztah automatů a MSO logiky), tak i s automaty nad nekonečnými slovy a jejich použitím. Na konci tohoto kurzu bude student schopen předkládat odůvodněná rozhodnutí o modelech relevatních pro danou oblast a porozumět metodám a technikám jejich použití.

Výstupy z učení

Na konci tohoto kurzu bude student schopen demostrovat plné porozumění vybraných pokročilých partií z teorie automatů a předkládat odůvodněná rozhodnutí o modelech relevatních pro danou oblast a porozumět metodám a technikám jejich použití.

Osnova

• Deterministické bezkontextové jazyky (DCFL) a jejich syntaktická analýza.
• LL(k) gramatiky a jazyky; vlastnosti a analyzátory.
• LR(k) gramatiky a jazyky; vlastnosti a analyzátory.
• Vztahy mezi LL, LR a DCFL. (Ne)rozhodnutelné problémy z oblasti DCFL.
• Nekonečně stavové přechodové systémy a nedeterminismus - modelováníé procesů, bisimulace, vybrané rozhodnutelné problémy se vztahem k verifikaci procesů.
• Konečné automaty a MSO logika (monadická logika 2. řádu)
• Automaty nad nekonečnými slovy: nekonečná slova, regulární (racionální) množiny nekonečných slov.
• Automaty: deterministické a nedeterministické Büchiho automaty, Mullerovy Rabinovy a Streetovy automaty. McNaughtonova věta. Vzájemné vztahy.

Literatura

• CHYTIL, Michal. Automaty a gramatiky. Vyd. 1. Praha: SNTL - Nakladatelství technické literatury, 1984, 331 s. URL info
• KOZEN, Dexter C. Automata and computability. New York: Springer, 1997, xiii, 400. ISBN 0387949070. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xxiv, 873. ISBN 3540614869. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xx, 625. ISBN 3540614869. info
• SIPPU, Seppo a Eljas SOISALON-SOININEN. Parsing theory : volume 2 : LR(k)and LL(k) parsing. Berlin: Springer-Verlag, 1990, 417 s. ISBN 0-387-51732-4. info
• další odkazy na studijní literaturu jsou uvedeny na webové stránce předmětu.

Výukové metody

přednášky, cvičení, samostudium. Volitelné domácí úlohy.

Metody hodnocení

Během semestru jedna pisemná zkouška, jejíž výsledek se započítává do výsledného hodnocení s vahou 25%. Závěrečná zkouška je rovněž písemná; obě bez použití pomocných materiálů.

Navazující předměty

• IA040 Modální a temporální logiky procesů
• IA041 Teorie a specifikace procesů
• PA008 Překladače

Informace učitele

http://www.fi.muni.cz/usr/kretinsky/fja2.html

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

IA006 Vybrané kapitoly z teorie automatů

Rozsah

2/1/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.

Vyučující

prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
prof. RNDr. Jan Strejček, Ph.D. (cvičící)
RNDr. Miriama Jánošová (pomocník)
RNDr. Martin Jonáš, Ph.D. (pomocník)
RNDr. David Klaška (pomocník)
Mgr. Juraj Major (pomocník)

Garance

prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky

Rozvrh

St 10:00–11:50 A319

• Rozvrh seminárních/paralelních skupin:

IA006/01: St 27. 9. až St 6. 12. každou lichou středu 14:00–15:50 A217, J. Strejček

Předpoklady

Znalost problematiky v rozsahu předmětu IB005 - Formální jazyky a automaty a IB107 - Vyčíslitelnost a složitost

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.
Předmět si smí zapsat nejvýše 256 stud.
Momentální stav registrace a zápisu: zapsáno: 18/256, pouze zareg.: 0/256, pouze zareg. s předností (mateřské obory): 0/256

Mateřské obory/plány

předmět má 54 mateřských oborů, zobrazit

Cíle předmětu

Cílem je seznámit studenty s pokročilejšími partiemi teorie automatů, a to jak aplikacemi klasické teorie automatů a gramatik (metody syntaktické analýzy deterministických bezkontextových jazyků), problematikou použití automatů pro specifikaci procesů (bisimulační ekvivalence, vztah automatů a MSO logiky), tak i s automaty nad nekonečnými slovy a jejich použitím. Na konci tohoto kurzu bude student schopen předkládat odůvodněná rozhodnutí o modelech relevatních pro danou oblast a porozumět metodám a technikám jejich použití.

Výstupy z učení

Na konci tohoto kurzu bude student schopen demostrovat plné porozumění vybraných pokročilých partií z teorie automatů a předkládat odůvodněná rozhodnutí o modelech relevatních pro danou oblast a porozumět metodám a technikám jejich použití.

Osnova

• Deterministické bezkontextové jazyky (DCFL) a jejich syntaktická analýza.
• LL(k) gramatiky a jazyky; vlastnosti a analyzátory.
• LR(k) gramatiky a jazyky; vlastnosti a analyzátory.
• Vztahy mezi LL, LR a DCFL. (Ne)rozhodnutelné problémy z oblasti DCFL.
• Nekonečně stavové přechodové systémy a nedeterminismus - modelováníé procesů, bisimulace, vybrané rozhodnutelné problémy se vztahem k verifikaci procesů.
• Konečné automaty a MSO logika (monadická logika 2. řádu)
• Automaty nad nekonečnými slovy: nekonečná slova, regulární (racionální) množiny nekonečných slov.
• Automaty: deterministické a nedeterministické Büchiho automaty, Mullerovy Rabinovy a Streetovy automaty. McNaughtonova věta. Vzájemné vztahy.

Literatura

• CHYTIL, Michal. Automaty a gramatiky. Vyd. 1. Praha: SNTL - Nakladatelství technické literatury, 1984, 331 s. URL info
• KOZEN, Dexter C. Automata and computability. New York: Springer, 1997, xiii, 400. ISBN 0387949070. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xxiv, 873. ISBN 3540614869. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xx, 625. ISBN 3540614869. info
• SIPPU, Seppo a Eljas SOISALON-SOININEN. Parsing theory : volume 2 : LR(k)and LL(k) parsing. Berlin: Springer-Verlag, 1990, 417 s. ISBN 0-387-51732-4. info
• další odkazy na studijní literaturu jsou uvedeny na webové stránce předmětu.

Výukové metody

přednášky, cvičení, samostudium. Volitelné domácí úlohy.

Metody hodnocení

Během semestru jedna pisemná zkouška, jejíž výsledek se započítává do výsledného hodnocení s vahou 25%. Závěrečná zkouška je rovněž písemná; obě bez použití pomocných materiálů.

Navazující předměty

• IA040 Modální a temporální logiky procesů
• IA041 Teorie a specifikace procesů
• PA008 Překladače

Informace učitele

http://www.fi.muni.cz/usr/kretinsky/fja2.html

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

IA006 Vybrané kapitoly z teorie automatů

Rozsah

2/1/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.

Vyučující

prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
prof. RNDr. Jan Strejček, Ph.D. (cvičící)
RNDr. Miriama Jánošová (pomocník)
RNDr. David Klaška (pomocník)
Mgr. Juraj Major (pomocník)

Garance

prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky

Rozvrh

St 10:00–11:50 A320

• Rozvrh seminárních/paralelních skupin:

IA006/01: Čt 15. 9. až Čt 8. 12. každý lichý čtvrtek 14:00–15:50 A218, J. Strejček

Předpoklady

Znalost problematiky v rozsahu předmětu IB005 - Formální jazyky a automaty a IB107 - Vyčíslitelnost a složitost

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.
Předmět si smí zapsat nejvýše 256 stud.
Momentální stav registrace a zápisu: zapsáno: 6/256, pouze zareg.: 0/256, pouze zareg. s předností (mateřské obory): 0/256

Mateřské obory/plány

předmět má 54 mateřských oborů, zobrazit

Cíle předmětu

Cílem je seznámit studenty s pokročilejšími partiemi teorie automatů, a to jak aplikacemi klasické teorie automatů a gramatik (metody syntaktické analýzy deterministických bezkontextových jazyků), problematikou použití automatů pro specifikaci procesů (bisimulační ekvivalence, vztah automatů a MSO logiky), tak i s automaty nad nekonečnými slovy a jejich použitím. Na konci tohoto kurzu bude student schopen předkládat odůvodněná rozhodnutí o modelech relevatních pro danou oblast a porozumět metodám a technikám jejich použití.

Výstupy z učení

Na konci tohoto kurzu bude student schopen demostrovat plné porozumění vybraných pokročilých partií z teorie automatů a předkládat odůvodněná rozhodnutí o modelech relevatních pro danou oblast a porozumět metodám a technikám jejich použití.

Osnova

• Deterministické bezkontextové jazyky (DCFL) a jejich syntaktická analýza.
• LL(k) gramatiky a jazyky; vlastnosti a analyzátory.
• LR(k) gramatiky a jazyky; vlastnosti a analyzátory.
• Vztahy mezi LL, LR a DCFL. (Ne)rozhodnutelné problémy z oblasti DCFL.
• Nekonečně stavové přechodové systémy a nedeterminismus - modelováníé procesů, bisimulace, vybrané rozhodnutelné problémy se vztahem k verifikaci procesů.
• Konečné automaty a MSO logika (monadická logika 2. řádu)
• Automaty nad nekonečnými slovy: nekonečná slova, regulární (racionální) množiny nekonečných slov.
• Automaty: deterministické a nedeterministické Büchiho automaty, Mullerovy Rabinovy a Streetovy automaty. McNaughtonova věta. Vzájemné vztahy.

Literatura

• CHYTIL, Michal. Automaty a gramatiky. Vyd. 1. Praha: SNTL - Nakladatelství technické literatury, 1984, 331 s. URL info
• KOZEN, Dexter C. Automata and computability. New York: Springer, 1997, xiii, 400. ISBN 0387949070. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xxiv, 873. ISBN 3540614869. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xx, 625. ISBN 3540614869. info
• SIPPU, Seppo a Eljas SOISALON-SOININEN. Parsing theory : volume 2 : LR(k)and LL(k) parsing. Berlin: Springer-Verlag, 1990, 417 s. ISBN 0-387-51732-4. info
• další odkazy na studijní literaturu jsou uvedeny na webové stránce předmětu.

Výukové metody

přednášky, cvičení, samostudium. Volitelné domácí úlohy.

Metody hodnocení

Během semestru jedna pisemná zkouška, jejíž výsledek se započítává do výsledného hodnocení s vahou 25%. Závěrečná zkouška je rovněž písemná; obě bez použití pomocných materiálů.

Navazující předměty

• IA040 Modální a temporální logiky procesů
• IA041 Teorie a specifikace procesů
• PA008 Překladače

Informace učitele

http://www.fi.muni.cz/usr/kretinsky/fja2.html

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

IA006 Vybrané kapitoly z teorie automatů

Rozsah

2/1/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.

Vyučující

prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
prof. RNDr. Jan Strejček, Ph.D. (cvičící)
RNDr. Miriama Jánošová (pomocník)
RNDr. David Klaška (pomocník)
Mgr. Juraj Major (pomocník)

Garance

prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky

Rozvrh

St 15. 9. až St 8. 12. St 10:00–11:50 D1

• Rozvrh seminárních/paralelních skupin:

IA006/01: Čt 16. 9. až Čt 14. 10. každý lichý čtvrtek 14:00–15:50 A218; a Čt 4. 11. 14:00–15:50 A218, Čt 18. 11. 14:00–15:50 A218, Čt 2. 12. 14:00–15:50 A218, J. Strejček

Předpoklady

Znalost problematiky v rozsahu předmětu IB005 - Formální jazyky a automaty a IB107 - Vyčíslitelnost a složitost

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.
Předmět si smí zapsat nejvýše 256 stud.
Momentální stav registrace a zápisu: zapsáno: 3/256, pouze zareg.: 0/256, pouze zareg. s předností (mateřské obory): 0/256

Mateřské obory/plány

předmět má 53 mateřských oborů, zobrazit

Cíle předmětu

Cílem je seznámit studenty s pokročilejšími partiemi teorie automatů, a to jak aplikacemi klasické teorie automatů a gramatik (metody syntaktické analýzy deterministických bezkontextových jazyků), problematikou použití automatů pro specifikaci procesů (bisimulační ekvivalence, vztah automatů a MSO logiky), tak i s automaty nad nekonečnými slovy a jejich použitím. Na konci tohoto kurzu bude student schopen předkládat odůvodněná rozhodnutí o modelech relevatních pro danou oblast a porozumět metodám a technikám jejich použití.

Výstupy z učení

Na konci tohoto kurzu bude student schopen demostrovat plné porozumění vybraných pokročilých partií z teorie automatů a předkládat odůvodněná rozhodnutí o modelech relevatních pro danou oblast a porozumět metodám a technikám jejich použití.

Osnova

• Deterministické bezkontextové jazyky (DCFL) a jejich syntaktická analýza.
• LL(k) gramatiky a jazyky; vlastnosti a analyzátory.
• LR(k) gramatiky a jazyky; vlastnosti a analyzátory.
• Vztahy mezi LL, LR a DCFL. (Ne)rozhodnutelné problémy z oblasti DCFL.
• Nekonečně stavové přechodové systémy a nedeterminismus - modelováníé procesů, bisimulace, vybrané rozhodnutelné problémy se vztahem k verifikaci procesů.
• Konečné automaty a MSO logika (monadická logika 2. řádu)
• Automaty nad nekonečnými slovy: nekonečná slova, regulární (racionální) množiny nekonečných slov.
• Automaty: deterministické a nedeterministické Büchiho automaty, Mullerovy Rabinovy a Streetovy automaty. McNaughtonova věta. Vzájemné vztahy.

Literatura

• CHYTIL, Michal. Automaty a gramatiky. Vyd. 1. Praha: SNTL - Nakladatelství technické literatury, 1984, 331 s. URL info
• KOZEN, Dexter C. Automata and computability. New York: Springer, 1997, xiii, 400. ISBN 0387949070. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xxiv, 873. ISBN 3540614869. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xx, 625. ISBN 3540614869. info
• SIPPU, Seppo a Eljas SOISALON-SOININEN. Parsing theory : volume 2 : LR(k)and LL(k) parsing. Berlin: Springer-Verlag, 1990, 417 s. ISBN 0-387-51732-4. info
• další odkazy na studijní literaturu jsou uvedeny na webové stránce předmětu.

Výukové metody

přednášky, cvičení, samostudium. Volitelné domácí úlohy.

Metody hodnocení

Během semestru jedna pisemná zkouška, jejíž výsledek se započítává do výsledného hodnocení s vahou 25%. Závěrečná zkouška je rovněž písemná; obě bez použití pomocných materiálů.

Navazující předměty

• IA040 Modální a temporální logiky procesů
• IA041 Teorie a specifikace procesů
• PA008 Překladače

Informace učitele

http://www.fi.muni.cz/usr/kretinsky/fja2.html

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

IA006 Vybrané kapitoly z teorie automatů

Rozsah

2/1/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.

Vyučující

prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
Mgr. Juraj Major (cvičící)
prof. RNDr. Jan Strejček, Ph.D. (cvičící)
RNDr. Miriama Jánošová (pomocník)
RNDr. Martin Jonáš, Ph.D. (pomocník)
RNDr. David Klaška (pomocník)
Mgr. Tatiana Zbončáková (pomocník)

Garance

prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky

Rozvrh

St 10:00–11:50 D1

• Rozvrh seminárních/paralelních skupin:

IA006/02: každý sudý čtvrtek 14:00–15:50 A218, J. Major, J. Strejček

Předpoklady

Znalost problematiky v rozsahu předmětu IB005 - Formální jazyky a automaty a IB107 - Vyčíslitelnost a složitost

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.
Předmět si smí zapsat nejvýše 256 stud.
Momentální stav registrace a zápisu: zapsáno: 0/256, pouze zareg.: 0/256, pouze zareg. s předností (mateřské obory): 0/256

Mateřské obory/plány

předmět má 53 mateřských oborů, zobrazit

Cíle předmětu

Cílem je seznámit studenty s pokročilejšími partiemi teorie automatů, a to jak aplikacemi klasické teorie automatů a gramatik (metody syntaktické analýzy deterministických bezkontextových jazyků), problematikou použití automatů pro specifikaci procesů (bisimulační ekvivalence, vztah automatů a MSO logiky), tak i s automaty nad nekonečnými slovy a jejich použitím. Na konci tohoto kurzu bude student schopen předkládat odůvodněná rozhodnutí o modelech relevatních pro danou oblast a porozumět metodám a technikám jejich použití.

Výstupy z učení

Na konci tohoto kurzu bude student schopen demostrovat plné porozumění vybraných pokročilých partií z teorie automatů a předkládat odůvodněná rozhodnutí o modelech relevatních pro danou oblast a porozumět metodám a technikám jejich použití.

Osnova

• Deterministické bezkontextové jazyky (DCFL) a jejich syntaktická analýza.
• LL(k) gramatiky a jazyky; vlastnosti a analyzátory.
• LR(k) gramatiky a jazyky; vlastnosti a analyzátory.
• Vztahy mezi LL, LR a DCFL. (Ne)rozhodnutelné problémy z oblasti DCFL.
• Nekonečně stavové přechodové systémy a nedeterminismus - modelováníé procesů, bisimulace, vybrané rozhodnutelné problémy se vztahem k verifikaci procesů.
• Konečné automaty a MSO logika (monadická logika 2. řádu)
• Automaty nad nekonečnými slovy: nekonečná slova, regulární (racionální) množiny nekonečných slov.
• Automaty: deterministické a nedeterministické Büchiho automaty, Mullerovy Rabinovy a Streetovy automaty. McNaughtonova věta. Vzájemné vztahy.

Literatura

• CHYTIL, Michal. Automaty a gramatiky. Vyd. 1. Praha: SNTL - Nakladatelství technické literatury, 1984, 331 s. URL info
• KOZEN, Dexter C. Automata and computability. New York: Springer, 1997, xiii, 400. ISBN 0387949070. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xxiv, 873. ISBN 3540614869. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xx, 625. ISBN 3540614869. info
• SIPPU, Seppo a Eljas SOISALON-SOININEN. Parsing theory : volume 2 : LR(k)and LL(k) parsing. Berlin: Springer-Verlag, 1990, 417 s. ISBN 0-387-51732-4. info
• další odkazy na studijní literaturu jsou uvedeny na webové stránce předmětu.

Výukové metody

přednášky, cvičení, samostudium. Volitelné domácí úlohy.

Metody hodnocení

Během semestru jedna pisemná zkouška, jejíž výsledek se započítává do výsledného hodnocení s vahou 25%. Závěrečná zkouška je rovněž písemná; obě bez použití pomocných materiálů.

Navazující předměty

• IA040 Modální a temporální logiky procesů
• IA041 Teorie a specifikace procesů
• PA008 Překladače

Informace učitele

http://www.fi.muni.cz/usr/kretinsky/fja2.html

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

IA006 Vybrané kapitoly z teorie automatů

Rozsah

2/1/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.

Vyučující

prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
Mgr. Juraj Major (cvičící)
prof. RNDr. Jan Strejček, Ph.D. (cvičící)
RNDr. Miriama Jánošová (pomocník)
RNDr. David Klaška (pomocník)
Mgr. Jakub Lédl (pomocník)
Mgr. Tatiana Zbončáková (pomocník)

Garance

prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky

Rozvrh

St 10:00–11:50 D1

• Rozvrh seminárních/paralelních skupin:

IA006/02: každý lichý čtvrtek 8:00–9:50 B411, J. Strejček
IA006/04: každou lichou středu 14:00–15:50 A218, J. Strejček

Předpoklady

Znalost problematiky v rozsahu předmětu IB005 - Formální jazyky a automaty a IB107 - Vyčíslitelnost a složitost

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.
Předmět si smí zapsat nejvýše 256 stud.
Momentální stav registrace a zápisu: zapsáno: 1/256, pouze zareg.: 0/256, pouze zareg. s předností (mateřské obory): 0/256

Mateřské obory/plány

předmět má 53 mateřských oborů, zobrazit

Cíle předmětu

Cílem je seznámit studenty s pokročilejšími partiemi teorie automatů, a to jak aplikacemi klasické teorie automatů a gramatik (metody syntaktické analýzy deterministických bezkontextových jazyků), problematikou použití automatů pro specifikaci procesů (bisimulační ekvivalence, vztah automatů a MSO logiky), tak i s automaty nad nekonečnými slovy a jejich použitím. Na konci tohoto kurzu bude student schopen předkládat odůvodněná rozhodnutí o modelech relevatních pro danou oblast a porozumět metodám a technikám jejich použití.

Výstupy z učení

Na konci tohoto kurzu bude student schopen demostrovat plné porozumění vybraných pokročilých partií z teorie automatů a předkládat odůvodněná rozhodnutí o modelech relevatních pro danou oblast a porozumět metodám a technikám jejich použití.

Osnova

• Deterministické bezkontextové jazyky (DCFL) a jejich syntaktická analýza.
• LL(k) gramatiky a jazyky; vlastnosti a analyzátory.
• LR(k) gramatiky a jazyky; vlastnosti a analyzátory.
• Vztahy mezi LL, LR a DCFL. (Ne)rozhodnutelné problémy z oblasti DCFL.
• Nekonečně stavové přechodové systémy a nedeterminismus - modelováníé procesů, bisimulace, vybrané rozhodnutelné problémy se vztahem k verifikaci procesů.
• Konečné automaty a MSO logika (monadická logika 2. řádu)
• Automaty nad nekonečnými slovy: nekonečná slova, regulární (racionální) množiny nekonečných slov.
• Automaty: deterministické a nedeterministické Büchiho automaty, Mullerovy Rabinovy a Streetovy automaty. McNaughtonova věta. Vzájemné vztahy.

Literatura

• CHYTIL, Michal. Automaty a gramatiky. Vyd. 1. Praha: SNTL - Nakladatelství technické literatury, 1984, 331 s. URL info
• KOZEN, Dexter C. Automata and computability. New York: Springer, 1997, xiii, 400. ISBN 0387949070. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xxiv, 873. ISBN 3540614869. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xx, 625. ISBN 3540614869. info
• SIPPU, Seppo a Eljas SOISALON-SOININEN. Parsing theory : volume 2 : LR(k)and LL(k) parsing. Berlin: Springer-Verlag, 1990, 417 s. ISBN 0-387-51732-4. info
• další odkazy na studijní literaturu jsou uvedeny na webové stránce předmětu.

Výukové metody

přednášky, cvičení, samostudium. Volitelné domácí úlohy.

Metody hodnocení

Během semestru jedna pisemná zkouška, jejíž výsledek se započítává do výsledného hodnocení s vahou 25%. Závěrečná zkouška je rovněž písemná; obě bez použití pomocných materiálů.

Navazující předměty

• IA040 Modální a temporální logiky procesů
• IA041 Teorie a specifikace procesů
• PA008 Překladače

Informace učitele

http://www.fi.muni.cz/usr/kretinsky/fja2.html

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

IA006 Vybrané kapitoly z teorie automatů

Rozsah

2/1/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.

Vyučující

prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
prof. RNDr. Jiří Barnat, Ph.D. (cvičící)
prof. RNDr. Jan Strejček, Ph.D. (cvičící)
Mgr. Juraj Major (cvičící)
RNDr. Martin Jonáš, Ph.D. (pomocník)
RNDr. David Klaška (pomocník)
Bc. Tomáš Lamser (pomocník)

Garance

prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky

Rozvrh

St 10:00–11:50 D1

• Rozvrh seminárních/paralelních skupin:

IA006/01: každý sudý čtvrtek 12:00–13:50 C511, J. Barnat
IA006/02: každý lichý čtvrtek 12:00–13:50 C511, J. Barnat
IA006/03: každý sudý čtvrtek 14:00–15:50 A320, J. Strejček
IA006/04: každý lichý čtvrtek 14:00–15:50 A320, J. Strejček
IA006/05: každý sudý čtvrtek 16:00–17:50 A320, J. Major
IA006/06: každý lichý čtvrtek 16:00–17:50 A320, J. Major

Předpoklady

Znalost problematiky v rozsahu předmětu IB005 - Formální jazyky a automaty a IB107 - Vyčíslitelnost a složitost

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.
Předmět si smí zapsat nejvýše 256 stud.
Momentální stav registrace a zápisu: zapsáno: 0/256, pouze zareg.: 0/256, pouze zareg. s předností (mateřské obory): 0/256

Mateřské obory/plány

předmět má 24 mateřských oborů, zobrazit

Cíle předmětu

Cílem je seznámit studenty s pokročilejšími partiemi teorie automatů, a to jak aplikacemi klasické teorie automatů a gramatik (metody syntaktické analýzy deterministických bezkontextových jazyků), problematikou použití automatů pro specifikaci procesů (bisimulační ekvivalence, vztah automatů a MSO logiky), tak i s automaty nad nekonečnými slovy a jejich použitím. Na konci tohoto kurzu bude student schopen předkládat odůvodněná rozhodnutí o modelech relevatních pro danou oblast a porozumět metodám a technikám jejich použití.

Výstupy z učení

Na konci tohoto kurzu bude student schopen demostrovat plné porozumění vybraných pokročilých partií z teorie automatů a předkládat odůvodněná rozhodnutí o modelech relevatních pro danou oblast a porozumět metodám a technikám jejich použití.

Osnova

• Deterministické bezkontextové jazyky (DCFL) a jejich syntaktická analýza.
• LL(k) gramatiky a jazyky; vlastnosti a analyzátory.
• LR(k) gramatiky a jazyky; vlastnosti a analyzátory.
• Vztahy mezi LL, LR a DCFL. (Ne)rozhodnutelné problémy z oblasti DCFL.
• Nekonečně stavové přechodové systémy a nedeterminismus - mopdelováníé procesů, bisimulace, vybrané rozhodnutelné problémy se vztahem k verifikaci procesů.
• Konečné automaty a MSO logika (monadická logika 2. řádu)
• Automaty nad nekonečnými slovy: nekonečná slova, regulární (racionální) množiny nekonečných slov.
• Automaty: deterministické a nedeterministické Buchiho automaty, Mullerovy Rabinovy a Streetovy automaty. McNaughtonova věta. Vzájemné vztahy.

Literatura

• CHYTIL, Michal. Automaty a gramatiky. Vyd. 1. Praha: SNTL - Nakladatelství technické literatury, 1984, 331 s. URL info
• KOZEN, Dexter C. Automata and computability. New York: Springer, 1997, xiii, 400. ISBN 0387949070. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xxiv, 873. ISBN 3540614869. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xx, 625. ISBN 3540614869. info
• SIPPU, Seppo a Eljas SOISALON-SOININEN. Parsing theory : volume 2 : LR(k)and LL(k) parsing. Berlin: Springer-Verlag, 1990, 417 s. ISBN 0-387-51732-4. info
• další odkazy na studijní literaturu jsou uvedeny na webové stránce předmětu.

Výukové metody

přednášky, cvičení, samostudium. Volitelné domácí úlohy.

Metody hodnocení

Během semestru jedna pisemná zkouška, jejíž výsledek se započítává do výsledného hodnocení s vahou 25%. Závěrečná zkouška je rovněž písemná; obě bez použití pomocných materiálů.

Navazující předměty

• IA040 Modální a temporální logiky procesů
• IA041 Teorie a specifikace procesů
• PA008 Překladače

Informace učitele

http://www.fi.muni.cz/usr/kretinsky/fja2.html

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

IA006 Vybrané kapitoly z teorie automatů

Rozsah

2/1/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.

Vyučující

prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
prof. RNDr. Jiří Barnat, Ph.D. (cvičící)
prof. RNDr. Jan Strejček, Ph.D. (cvičící)
doc. RNDr. Vojtěch Řehák, Ph.D. (pomocník)
Mgr. Juraj Major (cvičící)
RNDr. František Blahoudek, Ph.D. (pomocník)
RNDr. Martin Jonáš, Ph.D. (pomocník)
RNDr. David Klaška (pomocník)
Mgr. Ľuboš Korenčiak, Ph.D. (pomocník)
Bc. Tomáš Lamser (pomocník)
RNDr. Henrich Lauko, Ph.D. (pomocník)
RNDr. Vladimír Štill, Ph.D. (pomocník)
Mgr. Martina Vitovská (pomocník)

Garance

prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky

Rozvrh

St 10:00–11:50 D1

• Rozvrh seminárních/paralelních skupin:

IA006/01: každý sudý čtvrtek 8:00–9:50 B411, J. Barnat
IA006/02: každý lichý čtvrtek 8:00–9:50 B411, J. Barnat
IA006/03: každý sudý čtvrtek 10:00–11:50 B411, J. Strejček
IA006/04: každý lichý čtvrtek 10:00–11:50 B411, J. Strejček
IA006/05: každý sudý čtvrtek 12:00–13:50 B411, J. Major
IA006/06: každý lichý čtvrtek 12:00–13:50 B411, J. Major

Předpoklady

Znalost problematiky v rozsahu předmětu IB005 - Formální jazyky a automaty a IB107 - Vyčíslitelnost a složitost

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.
Předmět si smí zapsat nejvýše 256 stud.
Momentální stav registrace a zápisu: zapsáno: 0/256, pouze zareg.: 0/256, pouze zareg. s předností (mateřské obory): 0/256

Mateřské obory/plány

předmět má 24 mateřských oborů, zobrazit

Cíle předmětu

Cílem je seznámit studenty s pokročilejšími partiemi teorie automatů, a to jak aplikacemi klasické teorie automatů a gramatik (metody syntaktické analýzy deterministických bezkontextových jazyků), problematikou použití automatů pro specifikaci procesů (bisimulační ekvivalence, vztah automatů a MSO logiky), tak i s automaty nad nekonečnými slovy a jejich použitím. Na konci tohoto kurzu bude student schopen předkládat odůvodněná rozhodnutí o modelech relevatních pro danou oblast a porozumět metodám a technikám jejich použití.

Výstupy z učení

Na konci tohoto kurzu bude student schopen demostrovat plné porozumění vybraných pokročilých partií z teorie automatů a předkládat odůvodněná rozhodnutí o modelech relevatních pro danou oblast a porozumět metodám a technikám jejich použití.

Osnova

• Deterministické bezkontextové jazyky (DCFL) a jejich syntaktická analýza.
• LL(k) gramatiky a jazyky; vlastnosti a analyzátory.
• LR(k) gramatiky a jazyky; vlastnosti a analyzátory.
• Vztahy mezi LL, LR a DCFL. (Ne)rozhodnutelné problémy z oblasti DCFL.
• Nekonečně stavové přechodové systémy a nedeterminismus - mopdelováníé procesů, bisimulace, vybrané rozhodnutelné problémy se vztahem k verifikaci procesů.
• Konečné automaty a MSO logika (monadická logika 2. řádu)
• Automaty nad nekonečnými slovy: nekonečná slova, regulární (racionální) množiny nekonečných slov.
• Automaty: deterministické a nedeterministické Buchiho automaty, Mullerovy Rabinovy a Streetovy automaty. McNaughtonova věta. Vzájemné vztahy.

Literatura

• CHYTIL, Michal. Automaty a gramatiky. Vyd. 1. Praha: SNTL - Nakladatelství technické literatury, 1984, 331 s. URL info
• KOZEN, Dexter C. Automata and computability. New York: Springer, 1997, xiii, 400. ISBN 0387949070. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xxiv, 873. ISBN 3540614869. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xx, 625. ISBN 3540614869. info
• SIPPU, Seppo a Eljas SOISALON-SOININEN. Parsing theory : volume 2 : LR(k)and LL(k) parsing. Berlin: Springer-Verlag, 1990, 417 s. ISBN 0-387-51732-4. info
• další odkazy na studijní literaturu jsou uvedeny na webové stránce předmětu.

Výukové metody

přednášky, cvičení, samostudium. Volitelné domácí úlohy.

Metody hodnocení

Během semestru jedna pisemná zkouška, jejíž výsledek se započítává do výsledného hodnocení s vahou 25%. Závěrečná zkouška je rovněž písemná; obě bez použití pomocných materiálů.

Navazující předměty

• IA040 Modální a temporální logiky procesů
• IA041 Teorie a specifikace procesů
• PA008 Překladače

Informace učitele

http://www.fi.muni.cz/usr/kretinsky/fja2.html

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

IA006 Vybrané kapitoly z teorie automatů

Rozsah

2/1/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.

Vyučující

prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
prof. RNDr. Jiří Barnat, Ph.D. (náhr. zkoušející)
prof. RNDr. Jan Strejček, Ph.D. (náhr. zkoušející)
doc. RNDr. Vojtěch Řehák, Ph.D. (cvičící)
Mgr. Ľuboš Korenčiak, Ph.D. (cvičící)
RNDr. František Blahoudek, Ph.D. (pomocník)
RNDr. Martin Jonáš, Ph.D. (pomocník)
RNDr. Henrich Lauko, Ph.D. (pomocník)
RNDr. Vladimír Štill, Ph.D. (pomocník)
Mgr. Eva Tesařová (pomocník)

Garance

prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky

Rozvrh

St 10:00–11:50 D1

• Rozvrh seminárních/paralelních skupin:

IA006/01: každý sudý čtvrtek 12:00–13:50 C525, J. Barnat
IA006/02: každý lichý čtvrtek 12:00–13:50 C525, J. Barnat
IA006/03: každé liché pondělí 10:00–11:50 A318, V. Řehák
IA006/04: každé sudé pondělí 10:00–11:50 A318, V. Řehák
IA006/05: každou lichou středu 14:00–15:50 C511, J. Strejček
IA006/06: každou sudou středu 14:00–15:50 C511, V. Řehák

Předpoklady

Znalost problematiky v rozsahu předmětu IB005 - Formální jazyky a automaty a IB107 - Vyčíslitelnost a složitost

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.
Předmět si smí zapsat nejvýše 256 stud.
Momentální stav registrace a zápisu: zapsáno: 0/256, pouze zareg.: 0/256, pouze zareg. s předností (mateřské obory): 0/256

Mateřské obory/plány

předmět má 24 mateřských oborů, zobrazit

Cíle předmětu

Cílem je seznámit studenty s pokročilejšími partiemi teorie automatů, a to jak aplikacemi klasické teorie automatů a gramatik (metody syntaktické analýzy deterministických bezkontextových jazyků), problematikou použití automatů pro specifikaci procesů (bisimulační ekvivalence, vztah automatů a MSO logiky), tak i s automaty nad nekonečnými slovy a jejich použitím. Na konci tohoto kurzu bude student schopen předkládat odůvodněná rozhodnutí o modelech relevatních pro danou oblast a porozumět metodám a technikám jejich použití.

Osnova

• Deterministické bezkontextové jazyky (DCFL) a jejich syntaktická analýza.
• LL(k) gramatiky a jazyky; vlastnosti a analyzátory.
• LR(k) gramatiky a jazyky; vlastnosti a analyzátory.
• Vztahy mezi LL, LR a DCFL. (Ne)rozhodnutelné problémy z oblasti DCFL.
• Nekonečně stavové přechodové systémy a nedeterminismus - mopdelováníé procesů, bisimulace, vybrané rozhodnutelné problémy se vztahem k verifikaci procesů.
• Konečné automaty a MSO logika (monadická logika 2. řádu)
• Automaty nad nekonečnými slovy: nekonečná slova, regulární (racionální) množiny nekonečných slov.
• Automaty: deterministické a nedeterministické Buchiho automaty, Mullerovy Rabinovy a Streetovy automaty. McNaughtonova věta. Vzájemné vztahy.

Literatura

• CHYTIL, Michal. Automaty a gramatiky. Vyd. 1. Praha: SNTL - Nakladatelství technické literatury, 1984, 331 s. URL info
• KOZEN, Dexter C. Automata and computability. New York: Springer, 1997, xiii, 400. ISBN 0387949070. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xxiv, 873. ISBN 3540614869. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xx, 625. ISBN 3540614869. info
• SIPPU, Seppo a Eljas SOISALON-SOININEN. Parsing theory : volume 2 : LR(k)and LL(k) parsing. Berlin: Springer-Verlag, 1990, 417 s. ISBN 0-387-51732-4. info
• další odkazy na studijní literaturu jsou uvedeny na webové stránce předmětu.

Výukové metody

přednášky, cvičení, samostudium. Volitelné domácí úlohy.

Metody hodnocení

Během semestru jedna pisemná zkouška, jejíž výsledek se započítává do výsledného hodnocení s vahou 25%. Závěrečná zkouška je rovněž písemná; obě bez použití pomocných materiálů.

Navazující předměty

• IA040 Modální a temporální logiky procesů
• IA041 Teorie a specifikace procesů
• PA008 Překladače

Informace učitele

http://www.fi.muni.cz/usr/kretinsky/fja2.html

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

IA006 Vybrané kapitoly z teorie automatů

Rozsah

2/1. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.

Vyučující

prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
prof. RNDr. Jiří Barnat, Ph.D. (náhr. zkoušející)
prof. RNDr. Jan Strejček, Ph.D. (náhr. zkoušející)
doc. RNDr. Vojtěch Řehák, Ph.D. (cvičící)
Mgr. Ľuboš Korenčiak, Ph.D. (cvičící)
RNDr. František Blahoudek, Ph.D. (pomocník)
Mgr. Bc. Tomáš Janík (pomocník)
RNDr. Martin Jonáš, Ph.D. (pomocník)
Mgr. Eva Tesařová (pomocník)

Garance

prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky

Rozvrh

Čt 16:00–17:50 D1

• Rozvrh seminárních/paralelních skupin:

IA006/T01: Po 9:40–11:15 105, St 23. 9. až Út 22. 12. St 14:40–16:15 117, T. Janík, Nepřihlašuje se. Určeno pro studenty se zdravotním postižením.
IA006/01: každý sudý čtvrtek 10:00–11:50 C511, J. Barnat
IA006/02: každý lichý čtvrtek 10:00–11:50 C511, J. Barnat
IA006/03: každé sudé pondělí 8:00–9:50 C511, V. Řehák
IA006/04: každé liché pondělí 8:00–9:50 C511, V. Řehák
IA006/05: každou sudou středu 12:00–13:50 B410, V. Řehák
IA006/06: každou lichou středu 12:00–13:50 B410, V. Řehák
IA006/07: každou sudou středu 10:00–11:50 B204, J. Strejček
IA006/08: každou lichou středu 10:00–11:50 B204, J. Strejček

Předpoklady

Znalost problematiky v rozsahu předmětu IB005 - Formální jazyky a automaty a IB107 - Vyčíslitelnost a složitost

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.
Předmět si smí zapsat nejvýše 256 stud.
Momentální stav registrace a zápisu: zapsáno: 0/256, pouze zareg.: 0/256, pouze zareg. s předností (mateřské obory): 0/256

Mateřské obory/plány

předmět má 24 mateřských oborů, zobrazit

Cíle předmětu

Cílem je seznámit studenty s pokročilejšími partiemi teorie automatů, a to jak aplikacemi klasické teorie automatů a gramatik (metody syntaktické analýzy deterministických bezkontextových jazyků), problematikou použití automatů pro specifikaci procesů (bisimulační ekvivalence, vztah automatů a MSO logiky), tak i s automaty nad nekonečnými slovy a jejich použitím. Na konci tohoto kurzu bude student schopen předkládat odůvodněná rozhodnutí o modelech relevatních pro danou oblast a porozumět metodám a technikám jejich použití.

Osnova

• Deterministické bezkontextové jazyky (DCFL) a jejich syntaktická analýza.
• LL(k) gramatiky a jazyky; vlastnosti a analyzátory.
• LR(k) gramatiky a jazyky; vlastnosti a analyzátory.
• Vztahy mezi LL, LR a DCFL. (Ne)rozhodnutelné problémy z oblasti DCFL.
• Nekonečně stavové přechodové systémy a nedeterminismus - mopdelováníé procesů, bisimulace, vybrané rozhodnutelné problémy se vztahem k verifikaci procesů.
• Konečné automaty a MSO logika (monadická logika 2. řádu)
• Automaty nad nekonečnými slovy: nekonečná slova, regulární (racionální) množiny nekonečných slov.
• Automaty: deterministické a nedeterministické Buchiho automaty, Mullerovy Rabinovy a Streetovy automaty. McNaughtonova věta. Vzájemné vztahy.

Literatura

• CHYTIL, Michal. Automaty a gramatiky. Vyd. 1. Praha: SNTL - Nakladatelství technické literatury, 1984, 331 s. URL info
• KOZEN, Dexter C. Automata and computability. New York: Springer, 1997, xiii, 400. ISBN 0387949070. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xxiv, 873. ISBN 3540614869. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xx, 625. ISBN 3540614869. info
• SIPPU, Seppo a Eljas SOISALON-SOININEN. Parsing theory : volume 2 : LR(k)and LL(k) parsing. Berlin: Springer-Verlag, 1990, 417 s. ISBN 0-387-51732-4. info
• další odkazy na studijní literaturu jsou uvedeny na webové stránce předmětu.

Výukové metody

přednášky, cvičení, samostudium. Volitelné domácí úlohy.

Metody hodnocení

Během semestru jedna pisemná zkouška, jejíž výsledek se započítává do výsledného hodnocení s vahou 25%. Závěrečná zkouška je rovněž písemná; obě bez použití pomocných materiálů.

Navazující předměty

• IA040 Modální a temporální logiky procesů
• IA041 Teorie a specifikace procesů
• PA008 Překladače

Informace učitele

http://www.fi.muni.cz/usr/kretinsky/fja2.html

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

IA006 Vybrané kapitoly z teorie automatů

Rozsah

2/1. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.

Vyučující

prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
prof. RNDr. Jiří Barnat, Ph.D. (náhr. zkoušející)
prof. RNDr. Jan Strejček, Ph.D. (náhr. zkoušející)
doc. RNDr. Vojtěch Řehák, Ph.D. (cvičící)
doc. RNDr. Tomáš Brázdil, Ph.D. (cvičící)
Mgr. Karolína Malá (cvičící)
RNDr. František Blahoudek, Ph.D. (pomocník)
Mgr. Bc. Tomáš Janík (pomocník)
doc. RNDr. Petr Novotný, Ph.D. (pomocník)

Garance

prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky

Rozvrh

Čt 10:00–11:50 D1

• Rozvrh seminárních/paralelních skupin:

IA006/01: každý sudý čtvrtek 12:00–13:50 A218, J. Barnat
IA006/02: každý lichý čtvrtek 12:00–13:50 A218, J. Barnat
IA006/03: každé sudé pondělí 8:00–9:50 B410, T. Brázdil
IA006/04: každé liché pondělí 8:00–9:50 B410, T. Brázdil
IA006/05: každé sudé pondělí 12:00–13:50 C511, K. Malá
IA006/06: každé liché pondělí 12:00–13:50 C511, K. Malá
IA006/07: každé sudé pondělí 10:00–11:50 C525, V. Řehák
IA006/08: každé liché pondělí 10:00–11:50 C525, V. Řehák
IA006/09: každou sudou středu 14:00–15:50 A217, J. Strejček
IA006/10: každou lichou středu 14:00–15:50 A217, J. Strejček

Předpoklady

Znalost problematiky v rozsahu předmětu IB005 - Formální jazyky a automaty a IB107 - Vyčíslitelnost a složitost

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.
Předmět si smí zapsat nejvýše 256 stud.
Momentální stav registrace a zápisu: zapsáno: 0/256, pouze zareg.: 0/256, pouze zareg. s předností (mateřské obory): 0/256

Mateřské obory/plány

předmět má 23 mateřských oborů, zobrazit

Cíle předmětu

Cílem je seznámit studenty s pokročilejšími partiemi teorie automatů, a to jak aplikacemi klasické teorie automatů a gramatik (metody syntaktické analýzy deterministických bezkontextových jazyků), problematikou použití automatů pro specifikaci procesů (bisimulační ekvivalence, vztah automatů a MSO logiky), tak i s automaty nad nekonečnými slovy a jejich použitím. Na konci tohoto kurzu bude student schopen předkládat odůvodněná rozhodnutí o modelech relevatních pro danou oblast a porozumět metodám a technikám jejich použití.

Osnova

• Deterministické bezkontextové jazyky (DCFL) a jejich syntaktická analýza.
• LL(k) gramatiky a jazyky; vlastnosti a analyzátory.
• LR(k) gramatiky a jazyky; vlastnosti a analyzátory.
• Vztahy mezi LL, LR a DCFL. (Ne)rozhodnutelné problémy z oblasti DCFL.
• Nekonečně stavové přechodové systémy a nedeterminismus - mopdelováníé procesů, bisimulace, vybrané rozhodnutelné problémy se vztahem k verifikaci procesů.
• Konečné automaty a MSO logika (monadická logika 2. řádu)
• Automaty nad nekonečnými slovy: nekonečná slova, regulární (racionální) množiny nekonečných slov.
• Automaty: deterministické a nedeterministické Buchiho automaty, Mullerovy Rabinovy a Streetovy automaty. McNaughtonova věta. Vzájemné vztahy.

Literatura

• CHYTIL, Michal. Automaty a gramatiky. Vyd. 1. Praha: SNTL - Nakladatelství technické literatury, 1984, 331 s. URL info
• KOZEN, Dexter C. Automata and computability. New York: Springer, 1997, xiii, 400. ISBN 0387949070. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xxiv, 873. ISBN 3540614869. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xx, 625. ISBN 3540614869. info
• SIPPU, Seppo a Eljas SOISALON-SOININEN. Parsing theory : volume 2 : LR(k)and LL(k) parsing. Berlin: Springer-Verlag, 1990, 417 s. ISBN 0-387-51732-4. info
• další odkazy na studijní literaturu jsou uvedeny na webové stránce předmětu.

Výukové metody

přednášky, cvičení, samostudium. Volitelné domácí úlohy.

Metody hodnocení

Během semestru jedna pisemná zkouška, jejíž výsledek se započítává do výsledného hodnocení s vahou 25%. Závěrečná zkouška je rovněž písemná; obě bez použití pomocných materiálů.

Navazující předměty

• IA040 Modální a temporální logiky procesů
• IA041 Teorie a specifikace procesů
• PA008 Překladače

Informace učitele

http://www.fi.muni.cz/usr/kretinsky/fja2.html

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

IA006 Vybrané kapitoly z teorie automatů

Rozsah

2/1. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.

Vyučující

prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
prof. RNDr. Jiří Barnat, Ph.D. (náhr. zkoušející)
prof. RNDr. Jan Strejček, Ph.D. (náhr. zkoušející)
doc. RNDr. Vojtěch Řehák, Ph.D. (cvičící)
RNDr. František Blahoudek, Ph.D. (cvičící)
doc. RNDr. Tomáš Brázdil, Ph.D. (cvičící)
Mgr. Matúš Abaffy (pomocník)
Mgr. Vojtěch Havel (pomocník)
Mgr. Bc. Tomáš Janík (pomocník)
RNDr. David Klaška (pomocník)
doc. RNDr. Petr Novotný, Ph.D. (pomocník)
RNDr. Mária Svoreňová, Ph.D. (pomocník)
Mgr. Marek Tomáštík (pomocník)

Garance

prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky

Rozvrh

Po 16:00–17:50 D1

• Rozvrh seminárních/paralelních skupin:

IA006/T01: Po 13:00–14:55 Učebna S9 (55), Út 17. 9. až Pá 20. 12. Út 8:00–9:55 Učebna S9 (55), F. Blahoudek, T. Janík, Nepřihlašuje se. Určeno pro studenty se zdravotním postižením.
IA006/01: každý lichý čtvrtek 10:00–11:50 B411, J. Barnat
IA006/02: každý sudý čtvrtek 10:00–11:50 B411, J. Barnat
IA006/03: každý lichý čtvrtek 8:00–9:50 G101, F. Blahoudek
IA006/04: každý sudý čtvrtek 8:00–9:50 G101, F. Blahoudek
IA006/05: každé liché pondělí 10:00–11:50 G331, T. Brázdil
IA006/06: každé sudé pondělí 10:00–11:50 G331, T. Brázdil
IA006/07: každé liché úterý 8:00–9:50 C416, V. Řehák
IA006/08: každé sudé úterý 8:00–9:50 C416, V. Řehák
IA006/09: každou lichou středu 10:00–11:50 B411, J. Strejček
IA006/10: každou sudou středu 10:00–11:50 B411, J. Strejček

Předpoklady

Znalost problematiky v rozsahu předmětu IB005 - Formální jazyky a automaty a IB107 - Vyčíslitelnost a složitost

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.
Předmět si smí zapsat nejvýše 256 stud.
Momentální stav registrace a zápisu: zapsáno: 0/256, pouze zareg.: 0/256, pouze zareg. s předností (mateřské obory): 0/256

Mateřské obory/plány

předmět má 23 mateřských oborů, zobrazit

Cíle předmětu

Cílem je seznámit studenty s pokročilejšími partiemi teorie automatů, a to jak aplikacemi klasické teorie automatů a gramatik (metody syntaktické analýzy deterministických bezkontextových jazyků), problematikou použití automatů pro specifikaci procesů (bisimulační ekvivalence, vztah automatů a MSO logiky), tak i s automaty nad nekonečnými slovy a jejich použitím. Na konci tohoto kurzu bude student schopen předkládat odůvodněná rozhodnutí o modelech relevatních pro danou oblast a porozumět metodám a technikám jejich použití.

Osnova

• Deterministické bezkontextové jazyky (DCFL) a jejich syntaktická analýza.
• LL(k) gramatiky a jazyky; vlastnosti a analyzátory.
• LR(k) gramatiky a jazyky; vlastnosti a analyzátory.
• Vztahy mezi LL, LR a DCFL. (Ne)rozhodnutelné problémy z oblasti DCFL.
• Nekonečně stavové přechodové systémy a nedeterminismus - mopdelováníé procesů, bisimulace, vybrané rozhodnutelné problémy se vztahem k verifikaci procesů.
• Konečné automaty a MSO logika (monadická logika 2. řádu)
• Automaty nad nekonečnými slovy: nekonečná slova, regulární (racionální) množiny nekonečných slov.
• Automaty: deterministické a nedeterministické Buchiho automaty, Mullerovy Rabinovy a Streetovy automaty. McNaughtonova věta. Vzájemné vztahy.

Literatura

• CHYTIL, Michal. Automaty a gramatiky. Vyd. 1. Praha: SNTL - Nakladatelství technické literatury, 1984, 331 s. URL info
• KOZEN, Dexter C. Automata and computability. New York: Springer, 1997, xiii, 400. ISBN 0387949070. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xxiv, 873. ISBN 3540614869. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xx, 625. ISBN 3540614869. info
• SIPPU, Seppo a Eljas SOISALON-SOININEN. Parsing theory : volume 2 : LR(k)and LL(k) parsing. Berlin: Springer-Verlag, 1990, 417 s. ISBN 0-387-51732-4. info
• další odkazy na studijní literaturu jsou uvedeny na webové stránce předmětu.

Výukové metody

přednášky, cvičení, samostudium. Volitelné domácí úlohy.

Metody hodnocení

Během semestru jedna pisemná zkouška, jejíž výsledek se započítává do výsledného hodnocení s vahou 25%. Závěrečná zkouška je rovněž písemná; obě bez použití pomocných materiálů.

Navazující předměty

• IA040 Modální a temporální logiky procesů
• IA041 Teorie a specifikace procesů
• PA008 Překladače

Informace učitele

http://www.fi.muni.cz/usr/kretinsky/fja2.html

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

IA006 Vybrané kapitoly z teorie automatů

Rozsah

2/1. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.

Vyučující

prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
prof. RNDr. Jiří Barnat, Ph.D. (cvičící)
prof. RNDr. Jan Strejček, Ph.D. (cvičící)
doc. RNDr. Vojtěch Řehák, Ph.D. (cvičící)
doc. RNDr. Tomáš Brázdil, Ph.D. (cvičící)
RNDr. Jan Krčál, Ph.D. (cvičící)
doc. RNDr. Petr Novotný, Ph.D. (cvičící)
doc. Mgr. Jan Obdržálek, PhD. (cvičící)
RNDr. Nikola Beneš, Ph.D. (pomocník)
Mgr. Bc. Tomáš Janík (pomocník)
RNDr. Mária Svoreňová, Ph.D. (pomocník)
RNDr. Jana Tůmová, Ph.D. (pomocník)

Garance

prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky

Rozvrh

St 14:00–15:50 D1

• Rozvrh seminárních/paralelních skupin:

IA006/01: každou sudou středu 16:00–17:50 G101, J. Strejček
IA006/02: každou lichou středu 16:00–17:50 G101, J. Strejček
IA006/03: každý sudý čtvrtek 10:00–11:50 G126, T. Brázdil
IA006/04: každý lichý čtvrtek 10:00–11:50 G126, T. Brázdil
IA006/05: každý sudý čtvrtek 12:00–13:50 B410, J. Barnat
IA006/06: každý lichý čtvrtek 12:00–13:50 B410, J. Barnat
IA006/07: každý sudý čtvrtek 14:00–15:50 G124, V. Řehák
IA006/08: každý lichý čtvrtek 14:00–15:50 G124, V. Řehák
IA006/09: každý sudý čtvrtek 12:00–13:50 G126, J. Obdržálek
IA006/10: každý lichý čtvrtek 12:00–13:50 G126, J. Obdržálek
IA006/T01A: Čt 20. 9. až Pá 21. 12. Čt 14:00–15:55 Učebna S3 (37), J. Krčál, P. Novotný
IA006/T01AA: Po 9:00–10:55 Učebna S3 (37), J. Krčál, P. Novotný

Předpoklady

Znalost problematiky v rozsahu předmětu IB005 - Formální jazyky a automaty a IB107 - Vyčíslitelnost a složitost

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.
Předmět si smí zapsat nejvýše 256 stud.
Momentální stav registrace a zápisu: zapsáno: 0/256, pouze zareg.: 0/256, pouze zareg. s předností (mateřské obory): 0/256

Mateřské obory/plány

předmět má 23 mateřských oborů, zobrazit

Cíle předmětu

Cílem je seznámit studenty s pokročilejšími partiemi teorie automatů, a to jak aplikacemi klasické teorie automatů a gramatik (metody syntaktické analýzy deterministických bezkontextových jazyků), problematikou použití automatů pro specifikaci procesů (bisimulační ekvivalence, vztah automatů a MSO logiky), tak i s automaty nad nekonečnými slovy a jejich použitím. Na konci tohoto kurzu bude student schopen předkládat odůvodněná rozhodnutí o modelech relevatních pro danou oblast a porozumět metodám a technikám jejich použití.

Osnova

• Deterministické bezkontextové jazyky (DCFL) a jejich syntaktická analýza.
• LL(k) gramatiky a jazyky; vlastnosti a analyzátory.
• LR(k) gramatiky a jazyky; vlastnosti a analyzátory.
• Vztahy mezi LL, LR a DCFL. (Ne)rozhodnutelné problémy z oblasti DCFL.
• Přechodové systémy a nedeterminismus - bisimulace, vybrané rozhodnutelné problémy se vztahem k verifikaci procesů.
• Konečné automaty a MSO logika (monadická logika 2. řádu)
• Automaty nad nekonečnými slovy: nekonečná slova, regulární (racionální) množiny nekonečných slov.
• Automaty: deterministické a nedeterministické Buchiho automaty, Mullerovy Rabinovy a Streetovy automaty. McNaughtonova věta. Vzájemné vztahy.

Literatura

• CHYTIL, Michal. Automaty a gramatiky. Vyd. 1. Praha: SNTL - Nakladatelství technické literatury, 1984, 331 s. URL info
• KOZEN, Dexter C. Automata and computability. New York: Springer, 1997, xiii, 400. ISBN 0387949070. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xxiv, 873. ISBN 3540614869. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xx, 625. ISBN 3540614869. info
• SIPPU, Seppo a Eljas SOISALON-SOININEN. Parsing theory : volume 2 : LR(k)and LL(k) parsing. Berlin: Springer-Verlag, 1990, 417 s. ISBN 0-387-51732-4. info
• další odkazy na studijní literaturu jsou uvedeny na webové stránce předmětu.

Výukové metody

přednášky, cvičení, samostudium. Volitelné domácí úlohy.

Metody hodnocení

Během semestru jedna pisemná zkouška, jejíž výsledek se započítává do výsledného hodnocení s vahou 25%. Závěrečná zkouška je rovněž písemná; obě bez použití pomocných materiálů.

Navazující předměty

• IA040 Modální a temporální logiky procesů
• IA041 Teorie a specifikace procesů
• PA008 Překladače

Informace učitele

http://www.fi.muni.cz/usr/kretinsky/fja2.html

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

IA006 Vybrané kapitoly z teorie automatů

Rozsah

2/1. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.

Vyučující

prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
prof. RNDr. Jiří Barnat, Ph.D. (cvičící)
prof. RNDr. Jan Strejček, Ph.D. (cvičící)
doc. RNDr. Vojtěch Řehák, Ph.D. (cvičící)
RNDr. Nikola Beneš, Ph.D. (cvičící)
doc. RNDr. Milan Češka, Ph.D. (cvičící)
RNDr. Jana Tůmová, Ph.D. (pomocník)
Mgr. Filip Štefaňák (cvičící)
Mgr. Bc. Tomáš Janík (pomocník)

Garance

prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.

Rozvrh

St 14:00–15:50 D1

• Rozvrh seminárních/paralelních skupin:

IA006/01: každý sudý čtvrtek 10:00–11:50 G123, J. Barnat
IA006/02: každý lichý čtvrtek 10:00–11:50 G123, J. Barnat
IA006/03: každé sudé úterý 12:00–13:50 B410, V. Řehák
IA006/04: každé liché úterý 12:00–13:50 B410, V. Řehák
IA006/05: každý sudý čtvrtek 16:00–17:50 G125, N. Beneš, M. Češka
IA006/06: každý lichý čtvrtek 16:00–17:50 G125, N. Beneš, M. Češka
IA006/07: každý sudý čtvrtek 14:00–15:50 B204, J. Strejček
IA006/08: každý lichý čtvrtek 14:00–15:50 B204, J. Strejček
IA006/09: každý sudý pátek 12:00–13:50 B204, F. Štefaňák
IA006/10: každý lichý pátek 12:00–13:50 B204, F. Štefaňák

Předpoklady

Znalost problematiky v rozsahu předmětu IB005 - Formální jazyky a automaty a IB107 - Vyčíslitelnost a složitost

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.
Předmět si smí zapsat nejvýše 256 stud.
Momentální stav registrace a zápisu: zapsáno: 0/256, pouze zareg.: 0/256, pouze zareg. s předností (mateřské obory): 0/256

Mateřské obory/plány

předmět má 24 mateřských oborů, zobrazit

Cíle předmětu

Cílem je seznámit studenty s pokročilejšími partiemi teorie automatů, a to jak aplikacemi klasické teorie automatů a gramatik (metody syntaktické analýzy deterministických bezkontextových jazyků), problematikou použití automatů pro specifikaci procesů (bisimulační ekvivalence), tak i s automaty nad nekonečnými slovy a jejich použitím. Na konci tohoto kurzu bude student schopen předkládat odůvodněná rozhodnutí o modelech relevatních pro danou oblast a porozumět metodám a technikám jejich použití.

Osnova

• Deterministické bezkontextové jazyky (DCFL) a jejich syntaktická analýza.
• LL(k) gramatiky a jazyky; vlastnosti a analyzátory.
• LR(k) gramatiky a jazyky; vlastnosti a analyzátory.
• Vztahy mezi LL, LR a DCFL. (Ne)rozhodnutelné problémy z oblasti DCFL.
• Přechodové systémy a nedeterminismus - bisimulace, vybrané rozhodnutelné problémy se vztahem k verifikaci procesů.
• Automaty nad nekonečnými slovy: nekonečná slova, regulární (racionální) množiny nekonečných slov.
• Automaty: deterministické a nedeterministické Buchiho automaty, Mullerovy Rabinovy a Streetovy automaty. McNaughtonova věta. Vzájemné vztahy.

Literatura

• CHYTIL, Michal. Automaty a gramatiky. Vyd. 1. Praha: SNTL - Nakladatelství technické literatury, 1984, 331 s. URL info
• KOZEN, Dexter C. Automata and computability. New York: Springer, 1997, xiii, 400. ISBN 0387949070. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xxiv, 873. ISBN 3540614869. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xx, 625. ISBN 3540614869. info
• SIPPU, Seppo a Eljas SOISALON-SOININEN. Parsing theory : volume 2 : LR(k)and LL(k) parsing. Berlin: Springer-Verlag, 1990, 417 s. ISBN 0-387-51732-4. info
• další odkazy na studijní literaturu jsou uvedeny na webové stránce předmětu.

Výukové metody

přednášky, cvičení, samostudium. Volitelné domácí úlohy.

Metody hodnocení

Během semestru jedna pisemná zkouška, jejíž výsledek se započítává do výsledného hodnocení s vahou 25%. Závěrečná zkouška je rovněž písemná; obě bez použití pomocných materiálů.

Navazující předměty

• IA040 Modální a temporální logiky procesů
• IA041 Teorie a specifikace procesů
• PA008 Překladače

Informace učitele

http://www.fi.muni.cz/usr/kretinsky/fja2.html

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

IA006 Vybrané kapitoly z teorie automatů

Rozsah

2/1. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.

Vyučující

prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
prof. RNDr. Jiří Barnat, Ph.D. (cvičící)
prof. RNDr. Jan Strejček, Ph.D. (cvičící)
doc. RNDr. Vojtěch Řehák, Ph.D. (cvičící)
RNDr. Nikola Beneš, Ph.D. (pomocník)
doc. RNDr. Milan Češka, Ph.D. (cvičící)
RNDr. Jana Tůmová, Ph.D. (pomocník)
RNDr. Václav Brožek, Ph.D. (pomocník)

Garance

prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.

Rozvrh

St 12:00–13:50 D1

• Rozvrh seminárních/paralelních skupin:

IA006/01: každý sudý čtvrtek 10:00–11:50 B204, J. Barnat
IA006/02: každý lichý čtvrtek 10:00–11:50 B204, J. Barnat
IA006/03: každý sudý čtvrtek 12:00–13:50 B011, J. Barnat
IA006/04: každý lichý čtvrtek 12:00–13:50 B011, J. Barnat
IA006/05: každý sudý čtvrtek 16:00–17:50 B011, J. Strejček
IA006/06: každý lichý čtvrtek 16:00–17:50 B011, J. Strejček
IA006/07: každou sudou středu 14:00–15:50 B410, V. Řehák
IA006/08: každou lichou středu 14:00–15:50 B410, V. Řehák
IA006/09: každé sudé úterý 16:00–17:50 B410, M. Češka
IA006/10: každé liché úterý 16:00–17:50 B410, M. Češka

Předpoklady

Znalost problematiky v rozsahu předmětu IB005 - Formální jazyky a automaty a IB107 - Vyčíslitelnost a složitost

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.
Předmět si smí zapsat nejvýše 256 stud.
Momentální stav registrace a zápisu: zapsáno: 0/256, pouze zareg.: 0/256, pouze zareg. s předností (mateřské obory): 0/256

Mateřské obory/plány

předmět má 23 mateřských oborů, zobrazit

Cíle předmětu

Cílem je seznámit studenty s pokročilejšími partiemi teorie automatů, a to jak aplikacemi klasické teorie automatů a gramatik (metody syntaktické analýzy deterministických bezkontextových jazyků), problematikou použití automatů pro specifikaci procesů (bisimulační ekvivalence), tak i s automaty nad nekonečnými slovy a jejich použitím. Na konci tohoto kurzu bude student schopen předkládat odůvodněná rozhodnutí o modelech relevatních pro danou oblast a porozumět metodám a technikám jejich použití.

Osnova

• Deterministické bezkontextové jazyky (DCFL) a jejich syntaktická analýza.
• LL(k) gramatiky a jazyky; vlastnosti a analyzátory.
• LR(k) gramatiky a jazyky; vlastnosti a analyzátory.
• Vztahy mezi LL, LR a DCFL. (Ne)rozhodnutelné problémy z oblasti DCFL.
• Přechodové systémy a nedeterminismus - bisimulace, vybrané rozhodnutelné problémy se vztahem k verifikaci procesů.
• Automaty nad nekonečnými slovy: nekonečná slova, regulární (racionální) množiny nekonečných slov.
• Automaty: deterministické a nedeterministické Buchiho automaty, Mullerovy Rabinovy a Streetovy automaty. McNaughtonova věta. Vzájemné vztahy.

Literatura

• CHYTIL, Michal. Automaty a gramatiky. Vyd. 1. Praha: SNTL - Nakladatelství technické literatury, 1984, 331 s. URL info
• KOZEN, Dexter C. Automata and computability. New York: Springer, 1997, xiii, 400. ISBN 0387949070. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xxiv, 873. ISBN 3540614869. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xx, 625. ISBN 3540614869. info
• SIPPU, Seppo a Eljas SOISALON-SOININEN. Parsing theory : volume 2 : LR(k)and LL(k) parsing. Berlin: Springer-Verlag, 1990, 417 s. ISBN 0-387-51732-4. info
• další odkazy na studijní literaturu jsou uvedeny na webové stránce předmětu.

Výukové metody

přednášky, cvičení, samostudium. Volitelné domácí úlohy.

Metody hodnocení

Během semestru jedna pisemná zkouška, jejíž výsledek se započítává do výsledného hodnocení s vahou 25%. Závěrečná zkouška je rovněž písemná; obě bez použití pomocných materiálů.

Navazující předměty

• IA040 Modální a temporální logiky procesů
• IA041 Teorie a specifikace procesů
• PA008 Překladače

Informace učitele

http://www.fi.muni.cz/usr/kretinsky/fja2.html

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

IA006 Vybrané kapitoly z teorie automatů

Rozsah

2/1. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.

Vyučující

prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
prof. RNDr. Jiří Barnat, Ph.D. (cvičící)
prof. RNDr. Jan Strejček, Ph.D. (cvičící)
doc. RNDr. Vojtěch Řehák, Ph.D. (cvičící)
RNDr. Nikola Beneš, Ph.D. (pomocník)
doc. RNDr. Milan Češka, Ph.D. (pomocník)
RNDr. Jana Tůmová, Ph.D. (pomocník)

Garance

prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.

Rozvrh

St 10:00–11:50 D1

• Rozvrh seminárních/paralelních skupin:

IA006/01: každý lichý čtvrtek 10:00–11:50 B007, J. Barnat
IA006/02: každý sudý čtvrtek 10:00–11:50 B007, J. Barnat
IA006/03: každý lichý čtvrtek 12:00–13:50 B007, J. Barnat
IA006/04: každý sudý čtvrtek 12:00–13:50 B007, J. Barnat
IA006/05: každou lichou středu 14:00–15:50 B410, J. Strejček
IA006/06: každou sudou středu 14:00–15:50 B410, J. Strejček
IA006/07: každý lichý pátek 8:00–9:50 C511, V. Řehák
IA006/08: každý sudý pátek 8:00–9:50 C511, V. Řehák

Předpoklady

Znalost problematiky v rozsahu předmětu IB005 - Formální jazyky a automaty a IB107 - Vyčíslitelnost a složitost

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.
Předmět si smí zapsat nejvýše 256 stud.
Momentální stav registrace a zápisu: zapsáno: 0/256, pouze zareg.: 0/256, pouze zareg. s předností (mateřské obory): 0/256

Mateřské obory/plány

předmět má 23 mateřských oborů, zobrazit

Cíle předmětu

Cílem je seznámit studenty s pokročilejšími partiemi teorie automatů, a to jak aplikacemi klasické teorie automatů a gramatik (metody syntaktické analýzy deterministických bezkontextových jazyků), problematikou použití automatů pro specifikaci procesů (bisimulační ekvivalence), tak i s automaty nad nekonečnými slovy a jejich použitím. Na konci tohoto kurzu bude student schopen předkládat odůvodněná rozhodnutí o modelech relevatních pro danou oblast a porozumět metodám a technikám jejich použití.

Osnova

• Deterministické bezkontextové jazyky (DCFL) a jejich syntaktická analýza.
• LL(k) gramatiky a jazyky; vlastnosti a analyzátory.
• LR(k) gramatiky a jazyky; vlastnosti a analyzátory.
• Vztahy mezi LL, LR a DCFL. (Ne)rozhodnutelné problémy z oblasti DCFL.
• Přechodové systémy a nedeterminismus - bisimulace, vybrané rozhodnutelné problémy se vztahem k verifikaci procesů.
• Automaty nad nekonečnými slovy: nekonečná slova, regulární (racionální) množiny nekonečných slov.
• Automaty: deterministické a nedeterministické Buchiho automaty, Mullerovy Rabinovy a Streetovy automaty. McNaughtonova věta. Vzájemné vztahy.

Literatura

• CHYTIL, Michal. Automaty a gramatiky. Vyd. 1. Praha: SNTL - Nakladatelství technické literatury, 1984, 331 s. URL info
• KOZEN, Dexter C. Automata and computability. New York: Springer, 1997, xiii, 400. ISBN 0387949070. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xxiv, 873. ISBN 3540614869. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xx, 625. ISBN 3540614869. info
• SIPPU, Seppo a Eljas SOISALON-SOININEN. Parsing theory : volume 2 : LR(k)and LL(k) parsing. Berlin: Springer-Verlag, 1990, 417 s. ISBN 0-387-51732-4. info
• další odkazy na studijní literaturu jsou uvedeny na webové stránce předmětu.

Výukové metody

přednášky, cvičení, samostudium. Volitelné domácí úlohy.

Metody hodnocení

Během semestru jedna pisemná zkouška, jejíž výsledek se započítává do výsledného hodnocení s vahou 25%. Závěrečná zkouška je rovněž písemná; obě bez použití pomocných materiálů.

Navazující předměty

• IA040 Modální a temporální logiky procesů
• IA041 Teorie a specifikace procesů
• PA008 Překladače

Informace učitele

http://www.fi.muni.cz/usr/kretinsky/fja2.html

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

IA006 Vybrané kapitoly z teorie automatů

Rozsah

2/1. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.

Vyučující

prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
prof. RNDr. Jiří Barnat, Ph.D. (cvičící)
prof. RNDr. Jan Strejček, Ph.D. (cvičící)
RNDr. Václav Brožek, Ph.D. (pomocník)
doc. RNDr. Milan Češka, Ph.D. (pomocník)
RNDr. Vojtěch Forejt, Ph.D., LL.B. (Hons) (pomocník)
RNDr. Jana Tůmová, Ph.D. (pomocník)

Garance

prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.

Rozvrh

St 10:00–11:50 D1

• Rozvrh seminárních/paralelních skupin:

IA006/01: každý sudý čtvrtek 10:00–11:50 B204, J. Barnat
IA006/02: každý lichý čtvrtek 10:00–11:50 B204, J. Barnat
IA006/03: každý sudý čtvrtek 12:00–13:50 B011, J. Barnat
IA006/04: každý lichý čtvrtek 12:00–13:50 B011, J. Barnat
IA006/05: každé sudé úterý 10:00–11:50 B204, J. Strejček
IA006/06: každé liché úterý 10:00–11:50 B204, J. Strejček

Předpoklady

Znalost problematiky v rozsahu předmětu IB005 - Formální jazyky a automaty a IB107 - Vyčíslitelnost a složitost

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

předmět má 19 mateřských oborů, zobrazit

Cíle předmětu

Cílem je seznámit studenty s pokročilejšími partiemi teorie automatů, a to jak aplikacemi klasické teorie automatů a gramatik (metody syntaktické analýzy deterministických bezkontextových jazyků), problematikou nedeterminismu v kontextu použití automatů pro specifikaci procesů (bisimulační ekvivalence), tak i s automaty nad nekonečnými slovy a jejich použitím.

Osnova

• Deterministické bezkontextové jazyky (DCFL) a jejich syntaktická analýza.
• LL(k) gramatiky a jazyky; vlastnosti a analyzátory.
• LR(k) gramatiky a jazyky; vlastnosti a analyzátory.
• Vztahy mezi LL, LR a DCFL. (Ne)rozhodnutelné problémy z oblasti DCFL.
• Přechodové systémy a nedeterminismus - bisimulace, vybrané rozhodnutelné problémy se vztahem k verifikaci procesů.
• Automaty nad nekonečnými slovy: nekonečná slova, regulární (racionální) množiny nekonečných slov.
• Automaty: deterministické a nedeterministické Buchiho automaty, Mullerovy Rabinovy a Streetovy automaty. McNaughtonova věta. Vzájemné vztahy.

Literatura

• CHYTIL, Michal. Automaty a gramatiky. Vyd. 1. Praha: SNTL - Nakladatelství technické literatury, 1984, 331 s. URL info
• KOZEN, Dexter C. Automata and computability. New York: Springer, 1997, xiii, 400. ISBN 0387949070. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xxiv, 873. ISBN 3540614869. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xx, 625. ISBN 3540614869. info
• SIPPU, Seppo a Eljas SOISALON-SOININEN. Parsing theory : volume 2 : LR(k)and LL(k) parsing. Berlin: Springer-Verlag, 1990, 417 s. ISBN 0-387-51732-4. info
• další odkazy na studijní literaturu jsou uvedeny na webové stránce předmětu.

Metody hodnocení

Během semestru jedna pisemná zkouška, jejíž výsledek se započítává do výsledného hodnocení s vahou 30%. Závěrečná zkouška je rovněž písemná; obě bez použití pomocných materiálů.

Navazující předměty

• IA040 Modální a temporální logiky procesů
• IA041 Teorie a specifikace procesů
• PA008 Překladače

Informace učitele

http://www.fi.muni.cz/usr/kretinsky/fja2.html

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

IA006 Vybrané kapitoly z teorie automatů

Rozsah

2/1. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.

Vyučující

prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
prof. RNDr. Jiří Barnat, Ph.D. (cvičící)

Garance

prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.

Rozvrh

Po 16:00–17:50 D2, St 12:00–13:50 D2

• Rozvrh seminárních/paralelních skupin:

IA006/01: každý lichý čtvrtek 10:00–11:50 B003, J. Barnat
IA006/02: každý sudý čtvrtek 10:00–11:50 B003, J. Barnat
IA006/03: každý lichý čtvrtek 12:00–13:50 B003, J. Barnat
IA006/04: každý sudý čtvrtek 12:00–13:50 B003, J. Barnat

Předpoklady

Znalost problematiky v rozsahu předmětu IB005 - Formální jazyky a automaty a IB107 - Vyčíslitelnost a složitost

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

předmět má 19 mateřských oborů, zobrazit

Cíle předmětu

Cílem je seznámit studenty s pokročilejšími partiemi teorie automatů, a to jak aplikacemi klasické teorie automatů a gramatik (metody syntaktické analýzy deterministických bezkontextových jazyků), problematikou nedeterminismu v kontextu použití automatů pro specifikaci procesů (bisimulační ekvivalence), tak i s automaty nad nekonečnými slovy a jejich použitím.

Osnova

• Deterministické bezkontextové jazyky (DCFL) a jejich syntaktická analýza.
• LL(k) gramatiky a jazyky; vlastnosti a analyzátory.
• LR(k) gramatiky a jazyky; vlastnosti a analyzátory.
• Vztahy mezi LL, LR a DCFL.
• (Ne)rozhodnutelné problémy z oblasti DCFL.
• Přechodové systémy a nedeterminismus - bisimulace, vybrané rozhodnutelné problémy se vztahem k verifikaci procesů.
• Automaty nad nekonečnými slovy: nekonečná slova, regulární (racionální) množiny nekonečných slov.
• Automaty: deterministické a nedeterministické Buchiho automaty, Mullerovy Rabinovy a Streetovy automaty. McNaughtonova věta. Vzájemné vztahy.

Literatura

• KOZEN, Dexter C. Automata and computability. New York: Springer, 1997, xiii, 400. ISBN 0387949070. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xx, 625. ISBN 3540614869. info
• Handbook of formal languages. background and application. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xxii, 528. ISBN 3540614869. info
• SIPPU, Seppo a Eljas SOISALON-SOININEN. Parsing theory : volume 2 : LR(k)and LL(k) parsing. Berlin: Springer-Verlag, 1990, 417 s. ISBN 0-387-51732-4. info
• CHYTIL, Michal. Automaty a gramatiky. Vyd. 1. Praha: SNTL - Nakladatelství technické literatury, 1984, 331 s. URL info

Metody hodnocení

Během semestru jedna pisemná zkouška, jejíž výsledek se započítává do výsledného hodnocení s vahou cca 45%. Závěrečná zkouška je rovněž písemná; obě bez použití pomocných materiálů.

Navazující předměty

• IA040 Modální a temporální logiky procesů
• IA041 Teorie a specifikace procesů
• PA008 Překladače

Informace učitele

http://www.fi.muni.cz/usr/kretinsky/fja2.html

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

IA006 Vybrané kapitoly z teorie automatů

Rozsah

2/1. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.

Vyučující

prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
prof. RNDr. Jiří Barnat, Ph.D. (cvičící)

Garance

prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.

Rozvrh

St 8:00–9:50 D1, St 12:00–13:50 D2

• Rozvrh seminárních/paralelních skupin:

IA006/01: každý sudý čtvrtek 12:00–13:50 B410, J. Barnat
IA006/02: každý lichý čtvrtek 12:00–13:50 B410, J. Barnat
IA006/03: každý sudý čtvrtek 14:00–15:50 B011, J. Barnat

Předpoklady

! I006 FJA II
Znalost problematiky v rozsahu předmětu IB005 - Formální jazyky a automaty a IB107 - Vyčíslitelnost a složitost

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

předmět má 6 mateřských oborů, zobrazit

Cíle předmětu

Cílem je seznámit studenty s pokročilejšími partiemi teorie automatů, a to jak aplikacemi klasické teorie automatů a gramatik (metody syntaktické analýzy deterministických bezkontextových jazyků), problematikou nedeterminismu v kontextu použití automatů pro specifikaci procesů (bisimulační ekvivalence), tak i s automaty nad nekonečnými slovy a jejich použitím.

Osnova

• Deterministické bezkontextové jazyky (DCFL) a jejich syntaktická analýza.
• LL(k) gramatiky a jazyky; vlastnosti a analyzátory.
• LR(k) gramatiky a jazyky; vlastnosti a analyzátory.
• Vztahy mezi LL, LR a DCFL.
• (Ne)rozhodnutelné problémy z oblasti DCFL.
• Přechodové systémy a nedeterminismus - bisimulace, vybrané rozhodnutelné problémy se vztahem k verifikaci procesů.
• Automaty nad nekonečnými slovy: nekonečná slova, regulární (racionální) množiny nekonečných slov.
• Automaty: deterministické a nedeterministické Buchiho automaty, Mullerovy Rabinovy a Streetovy automaty. McNaughtonova věta. Vzájemné vztahy.

Literatura

• KOZEN, Dexter C. Automata and computability. New York: Springer, 1997, xiii, 400. ISBN 0387949070. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xx, 625. ISBN 3540614869. info
• Handbook of formal languages. background and application. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xxii, 528. ISBN 3540614869. info
• SIPPU, Seppo a Eljas SOISALON-SOININEN. Parsing theory : volume 2 : LR(k)and LL(k) parsing. Berlin: Springer-Verlag, 1990, 417 s. ISBN 0-387-51732-4. info
• CHYTIL, Michal. Automaty a gramatiky. Vyd. 1. Praha: SNTL - Nakladatelství technické literatury, 1984, 331 s. URL info

Metody hodnocení

Během semestru jedna pisemná zkouška, jejíž výsledek se započítává do výsledného hodnocení s vahou cca 45%. Závěrečná zkouška je rovněž písemná; obě bez použití pomocných materiálů.

Navazující předměty

• IA040 Modální a temporální logiky procesů
• IA041 Teorie a specifikace procesů
• PA008 Překladače

Informace učitele

http://www.fi.muni.cz/usr/kretinsky/fja2.html

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

IA006 Vybrané kapitoly z teorie automatů

Rozsah

2/1. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.

Vyučující

prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
prof. RNDr. Jiří Barnat, Ph.D. (cvičící)

Garance

prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.

Rozvrh

St 9:00–11:50 D1

• Rozvrh seminárních/paralelních skupin:

IA006/01: každý sudý čtvrtek 16:00–17:50 B007, J. Barnat
IA006/02: každý lichý čtvrtek 16:00–17:50 B007, J. Barnat
IA006/03: každou sudou středu 12:00–13:50 B007, J. Barnat

Předpoklady

! I006 FJA II
Znalost problematiky v rozsahu předmětu IB005 - Formální jazyky a automaty a IB107 - Vyčíslitelnost a složitost

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

předmět má 6 mateřských oborů, zobrazit

Cíle předmětu

Cílem je seznámit studenty s pokročilejšími partiemi teorie automatů, a to jak aplikacemi klasické teorie automatů a gramatik (metody syntaktické analýzy deterministických bezkontextových jazyků), problematikou nedeterminismu v kontextu použití automatů pro specifikaci procesů (bisimulační ekvivalence), tak i s automaty nad nekonečnými slovy a jejich použitím.

Osnova

• Deterministické bezkontextové jazyky (DCFL) a jejich syntaktická analýza.
• LL(k) gramatiky a jazyky; vlastnosti a analyzátory.
• LR(k) gramatiky a jazyky; vlastnosti a analyzátory.
• Vztahy mezi LL, LR a DCFL.
• (Ne)rozhodnutelné problémy z oblasti DCFL.
• Přechodové systémy a nedeterminismus - bisimulace, vybrané rozhodnutelné problémy se vztahem k verifikaci procesů.
• Automaty nad nekonečnými slovy: nekonečná slova, regulární (racionální) množiny nekonečných slov.
• Automaty: deterministické a nedeterministické Buchiho automaty, Mullerovy Rabinovy a Streetovy automaty. McNaughtonova věta. Vzájemné vztahy.

Literatura

• KOZEN, Dexter C. Automata and computability. New York: Springer, 1997, xiii, 400. ISBN 0387949070. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xx, 625. ISBN 3540614869. info
• Handbook of formal languages. background and application. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xxii, 528. ISBN 3540614869. info
• SIPPU, Seppo a Eljas SOISALON-SOININEN. Parsing theory : volume 2 : LR(k)and LL(k) parsing. Berlin: Springer-Verlag, 1990, 417 s. ISBN 0-387-51732-4. info
• CHYTIL, Michal. Automaty a gramatiky. Vyd. 1. Praha: SNTL - Nakladatelství technické literatury, 1984, 331 s. URL info

Metody hodnocení

Během semestru jedna pisemná zkouška, jejíž výsledek se započítává do výsledného hodnocení s vahou cca 45%. Závěrečná zkouška je rovněž písemná; obě bez použití pomocných materiálů.

Navazující předměty

• IA040 Modální a temporální logiky procesů
• IA041 Teorie a specifikace procesů
• PA008 Překladače

Informace učitele

http://www.fi.muni.cz/usr/kretinsky/fja2.html

Další komentáře

Předmět je vyučován každoročně.

IA006 Vybrané kapitoly z teorie automatů

Rozsah

2/1. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.

Vyučující

prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
prof. RNDr. Jiří Barnat, Ph.D. (cvičící)

Garance

prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.

Rozvrh

Po 12:00–14:50 D2

• Rozvrh seminárních/paralelních skupin:

IA006/01: každý sudý čtvrtek 14:00–15:50 B003
IA006/02: každý sudý čtvrtek 16:00–17:50 B003

Předpoklady

! I006 FJA II
Znalost problematiky v rozsahu předmětu IB005 - Formální jazyky a automaty a IB107 - Vyčíslitelnost a složitost

Omezení zápisu do předmětu

Předmět je určen pouze studentům mateřských oborů.

Mateřské obory/plány

předmět má 6 mateřských oborů, zobrazit

Cíle předmětu

Cílem je seznámit studenty s pokročilejšími partiemi teorie automatů, a to jak aplikacemi klasické teorie automatů a gramatik (metody syntaktické analýzy deterministických bezkontextových jazyků), problematikou nedeterminismu v kontextu použití automatů pro specifikaci procesů (bisimulační ekvivalence), tak i s automaty nad nekonečnými slovy a jejich použitím.

Osnova

• Deterministické bezkontextové jazyky (DCFL) a jejich syntaktická analýza.
• LL(k) gramatiky a jazyky; vlastnosti a analyzátory.
• LR(k) gramatiky a jazyky; vlastnosti a analyzátory.
• Vztahy mezi LL, LR a DCFL.
• (Ne)rozhodnutelné problémy z oblasti DCFL.
• Přechodové systémy a nedeterminismus - bisimulace, vybrané rozhodnutelné problémy se vztahem k verifikaci procesů.
• Automaty nad nekonečnými slovy: nekonečná slova, regulární (racionální) množiny nekonečných slov.
• Automaty: deterministické a nedeterministické Buchiho automaty, Mullerovy Rabinovy a Streetovy automaty. McNaughtonova věta. Vzájemné vztahy.

Literatura

• KOZEN, Dexter C. Automata and computability. New York: Springer, 1997, xiii, 400. ISBN 0387949070. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xx, 625. ISBN 3540614869. info
• Handbook of formal languages. background and application. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xxii, 528. ISBN 3540614869. info
• SIPPU, Seppo a Eljas SOISALON-SOININEN. Parsing theory : volume 2 : LR(k)and LL(k) parsing. Berlin: Springer-Verlag, 1990, 417 s. ISBN 0-387-51732-4. info
• CHYTIL, Michal. Automaty a gramatiky. Vyd. 1. Praha: SNTL - Nakladatelství technické literatury, 1984, 331 s. URL info

Metody hodnocení

Během semestru jedna pisemná zkouška, jejíž výsledek se započítává do výsledného hodnocení s vahou cca 45%. Závěrečná zkouška je rovněž písemná; obě bez použití pomocných materiálů.

Navazující předměty

• IA040 Modální a temporální logiky procesů
• IA041 Teorie a specifikace procesů
• PA008 Překladače

Informace učitele

http://www.fi.muni.cz/usr/kretinsky/fja2.html

Další komentáře

Předmět je vyučován každoročně.

IA006 Vybrané kapitoly z teorie automatů

Rozsah

2/1. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.

Vyučující

prof. RNDr. Mojmír Křetínský, CSc. (přednášející), prof. RNDr. Ivana Černá, CSc. (zástupce)
prof. RNDr. Jiří Barnat, Ph.D. (cvičící)

Garance

prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.

Rozvrh

Čt 14:00–15:50 B410

• Rozvrh seminárních/paralelních skupin:

IA006/01: každý lichý čtvrtek 16:00–17:50 B411 a každý sudý čtvrtek 16:00–17:50 B411, J. Barnat
IA006/02: Rozvrh nebyl do ISu vložen. J. Barnat

Předpoklady

! I006 FJA II
Znalost problematiky v rozsahu předmětu IB005 - Formální jazyky a automaty a IB107 - Vyčíslitelnost a složitost

Omezení zápisu do předmětu

Předmět je určen pouze studentům mateřských oborů.

Mateřské obory/plány

• Aplikovaná informatika (program FI, N-AP)
• Informatika (program FI, M-IN)
• Informatika (program FI, N-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-SS)

Cíle předmětu

Cílem je seznámit studenty s pokročilejšími partiemi teorie automatů, a to jak aplikacemi klasické teorie automatů a gramatik (metody syntaktické analýzy deterministických bezkontextových jazyků), problematikou nedeterminismu v kontextu použití automatů pro specifikaci procesů (bisimulační ekvivalence), tak i s automaty nad nekonečnými slovy a jejich použitím.

Osnova

• Deterministické bezkontextové jazyky (DCFL) a jejich syntaktická analýza.
• LL(k) gramatiky a jazyky; vlastnosti a analyzátory.
• LR(k) gramatiky a jazyky; vlastnosti a analyzátory.
• Vztahy mezi LL, LR a DCFL.
• (Ne)rozhodnutelné problémy z oblasti DCFL.
• Přechodové systémy a nedeterminismus - bisimulace, vybrané rozhodnutelné problémy se vztahem k verifikaci procesů.
• Automaty nad nekonečnými slovy: nekonečná slova, regulární (racionální) množiny nekonečných slov.
• Automaty: deterministické a nedeterministické Buchiho automaty, Mullerovy Rabinovy a Streetovy automaty. McNaughtonova věta. Vzájemné vztahy.

Literatura

• KOZEN, Dexter C. Automata and computability. New York: Springer, 1997, xiii, 400. ISBN 0387949070. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xx, 625. ISBN 3540614869. info
• Handbook of formal languages. background and application. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xxii, 528. ISBN 3540614869. info
• SIPPU, Seppo a Eljas SOISALON-SOININEN. Parsing theory : volume 2 : LR(k)and LL(k) parsing. Berlin: Springer-Verlag, 1990, 417 s. ISBN 0-387-51732-4. info
• CHYTIL, Michal. Automaty a gramatiky. Vyd. 1. Praha: SNTL - Nakladatelství technické literatury, 1984, 331 s. URL info

Metody hodnocení

Během semestru jedna pisemná zkouška, jejíž výsledek se započítává do výsledného hodnocení s vahou cca 45%. Závěrečná zkouška je rovněž písemná; obě bez použití pomocných materiálů.

Navazující předměty

• IA040 Modální a temporální logiky procesů
• IA041 Teorie a specifikace procesů
• PA008 Překladače

Informace učitele

http://www.fi.muni.cz/usr/kretinsky/fja2.html

Další komentáře

Předmět je vyučován každoročně.

IA006 Vybrané kapitoly z teorie automatů

Rozsah

2/1. 3 kr. (plus ukončení). Ukončení: zk.

Vyučující

prof. RNDr. Mojmír Křetínský, CSc. (přednášející), prof. RNDr. Ivana Černá, CSc. (zástupce)
prof. RNDr. Ivana Černá, CSc. (cvičící)
prof. RNDr. Jiří Barnat, Ph.D. (cvičící), prof. RNDr. Ivana Černá, CSc. (zástupce)
doc. RNDr. Vojtěch Řehák, Ph.D. (cvičící), prof. RNDr. Ivana Černá, CSc. (zástupce)

Garance

prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.

Rozvrh

St 15:00–17:50 D2

• Rozvrh seminárních/paralelních skupin:

IA006/01: každý lichý čtvrtek 14:00–15:50 B003, J. Barnat
IA006/02: každý sudý čtvrtek 14:00–15:50 B003, J. Barnat
IA006/03: každý lichý pátek 8:00–9:50 B011, V. Řehák
IA006/04: každý sudý pátek 8:00–9:50 B011, V. Řehák
IA006/Nza1p: Rozvrh nebyl do ISu vložen. M. Křetínský

Předpoklady

! I006 FJA II
Znalost problematiky v rozsahu předmětu IB005 - Formální jazyky a automaty a IB107 - Vyčíslitelnost a složitost

Omezení zápisu do předmětu

Předmět je určen pouze studentům mateřských oborů.

Mateřské obory/plány

předmět má 6 mateřských oborů, zobrazit

Cíle předmětu

Cílem je seznámit studenty s pokročilejšími partiemi teorie automatů, a to jak aplikacemi klasické teorie automatů a gramatik (metody syntaktické analýzy deterministických bezkontextových jazyků), problematikou nedeterminismu v kontextu použití automatů pro specifikaci procesů (bisimulační ekvivalence), tak i s automaty nad nekonečnými slovy a jejich použitím.

Osnova

• Deterministické bezkontextové jazyky (DCFL) a jejich syntaktická analýza.
• LL(k) gramatiky a jazyky; vlastnosti a analyzátory.
• LR(k) gramatiky a jazyky; vlastnosti a analyzátory.
• Vztahy mezi LL, LR a DCFL.
• (Ne)rozhodnutelné problémy z oblasti DCFL.
• Přechodové systémy a nedeterminismus - bisimulace, vybrané rozhodnutelné problémy se vztahem k verifikaci procesů.
• Automaty nad nekonečnými slovy: nekonečná slova, regulární (racionální) množiny nekonečných slov.
• Automaty: deterministické a nedeterministické Buchiho automaty, Mullerovy Rabinovy a Streetovy automaty. McNaughtonova věta. Vzájemné vztahy.

Literatura

• KOZEN, Dexter C. Automata and computability. New York: Springer, 1997, xiii, 400. ISBN 0387949070. info
• Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xx, 625. ISBN 3540614869. info
• Handbook of formal languages. background and application. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997, xxii, 528. ISBN 3540614869. info
• SIPPU, Seppo a Eljas SOISALON-SOININEN. Parsing theory : volume 2 : LR(k)and LL(k) parsing. Berlin: Springer-Verlag, 1990, 417 s. ISBN 0-387-51732-4. info
• CHYTIL, Michal. Automaty a gramatiky. Vyd. 1. Praha: SNTL - Nakladatelství technické literatury, 1984, 331 s. URL info

Metody hodnocení

Během semestru jedna pisemná zkouška. Závěrečná zkouška je rovněž písemná; obě bez použití materiálů.

Navazující předměty

• IA040 Modální a temporální logiky procesů
• IA041 Teorie a specifikace procesů
• PA008 Překladače

Informace učitele

http://www.fi.muni.cz/usr/kretinsky/fja2.html

Další komentáře

Předmět je vyučován každoročně.

• Statistika zápisu (nejnovější)