IA060 Parallel Grammars and Automata

Fakulta informatiky
jaro 2010
Rozsah
2/0. 3 kr. (plus ukončení). Doporučované ukončení: k. Jiná možná ukončení: zk, z.
Vyučující
prof. RNDr. Branislav Rovan, Ph.D. (přednášející), prof. RNDr. Mojmír Křetínský, CSc. (zástupce)
Garance
prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Branislav Rovan, Ph.D.
Rozvrh
každé sudé úterý 14:00–17:50 B411
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á 18 mateřských oborů, zobrazit
Cíle předmětu
Cílem přednášky je prezentovat vybrané přístupy k modelování paralelismu pomocí gramatik a automatů. Na konci tohoto kurzu bude student schopen porozumět a vysvětlit přístup z pohledu teorie jazyků k modelování paralelismu, vyhodnocovat a používat složitostní aspekty sekvenčních a paralelních modelů.
Osnova
  • L-systémy, paralelne komunikujúce gramatiky a alternujúce automaty.
Literatura
  • Handbook of formal languages. Vol. 1 Word, language, grammar. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer, 1997, xvii, 873. ISBN 3-540-60420-0. info
  • Handbook of formal languages. background and application. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer, 1997, xxii, 528. ISBN 3540614869. info
  • Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer, 1997, xiv, 625. ISBN 3540614869. info
Výukové metody
přednášky, diskuse a domácí úkoly
Metody hodnocení
Závěrečná písemná zkouška.
Vyučovací jazyk
Angličtina
Další komentáře
Studijní materiály
Předmět je vyučován jednou za dva roky.
Předmět je zařazen také v obdobích jaro 2004, jaro 2008.
  • Statistika zápisu (nejnovější)
  • Permalink: https://is.muni.cz/predmet/fi/jaro2010/IA060