I060 Paralelní gramatiky a automaty

Fakulta informatiky
léto 1998
Rozsah
2/0. 3 kr. Doporučované ukončení: zk. Jiná možná ukončení: k, z.
Vyučující
prof. RNDr. Branislav Rovan, Ph.D. (přednášející)
Garance
Kontaktní osoba: prof. RNDr. Branislav Rovan, Ph.D.
Předpoklady
I005 FJA I && I012 Složitost
Je nutné absolvovat I005 Formální jazyky a automaty I a I012 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
Osnova
  • Cielom prednášky je prezentovať vybrané prístupy k modelovaniu paralelizmu pomocou gramatík a automatov.
  • Popri jazykovo-teoretických otázkach bude v prednáške položený dôraz na zložitostné aspekty a porovnávanie sekvenčných a paralelných modelov. Medzi skúmanými modelmi budú napr. L-systémy, paralelne komunikujúce gramatiky a alternujúce automaty.
Předmět je zařazen také v obdobích jaro 2000, jaro 2002.