FI:IA060 Parallel Grammars and Automata - Informace o předmětu

IA060 Parallel Grammars and Automata

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

• Aplikovaná informatika (program FI, N-AP)
• Bezpečnost informačních technologií (program FI, N-IN)
• Bioinformatika (program FI, N-AP)
• Informační systémy (program FI, N-IN)
• Informatika (program FI, N-IN)
• Paralelní a distribuované systémy (program FI, N-IN)
• Počítačová grafika (program FI, N-IN)
• Počítačové sítě a komunikace (program FI, N-IN)
• Počítačové systémy (program FI, N-IN)
• Programovatelné technické struktury (angl.) (program FI, N-IN)
• Programovatelné technické struktury (program FI, N-IN)
• Služby - výzkum, řízení a inovace (angl.) (program FI, N-AP)
• Služby - výzkum, řízení a inovace (program FI, N-AP)
• Teoretická informatika (program FI, N-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, N-SS) (2)
• Umělá inteligence a zpracování přirozeného jazyka (program FI, N-IN)
• Zpracování obrazu (program FI, N-AP)

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.

• Statistika zápisu (nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/jaro2010/IA060