DBLOK5 Weighted Finite Automata

Fakulta informatiky
podzim 2014
Rozsah
2/0. 1 kr. (plus ukončení). Ukončení: k.
Vyučující
Werner Kuich (přednášející), prof. RNDr. Antonín Kučera, Ph.D. (zástupce)
Garance
prof. RNDr. Antonín Kučera, Ph.D.
Fakulta informatiky
Dodavatelské pracoviště: Fakulta informatiky
Rozvrh
Čt 23. 10. 14:00–15:50 B517, Pá 24. 10. 12:00–13:50 B410, Čt 20. 11. 14:00–15:50 B517, Pá 21. 11. 12:00–13:50 B410, Čt 11. 12. 14:00–15:50 B517, Pá 12. 12. 12:00–13:50 B410
Předpoklady
The lecture is selfcontained, i.e., it contains all definitions and results needed. The handling of finite automata is mathematically oriented (especially the proofs) and so mathematical maturity is needed. Knowledge of classical automata theory concerning finite automata is helpful.
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á 8 mateřských oborů, zobrazit
Osnova
  • Introduction into semiring theory, especially into the theory of Conway semirings; a Kleene Theorem on weighted finite automata over Conway semirings; the complexity of computing the star of a matrix and the all-pairs shortest distance problem for directed graphs. Conway semiring-semimodule pairs and quemirings; weighted Büchi automata (infinite words) over quemirings and a Kleene Theorem.
Literatura
  • Zoltan Esik, Werner Kuich: Modern Automata Theory, Chapter 1, Chapter 5, Sections 5.1 – 5.4. This electronic book can be downloaded from dmg.tuwien.ac.at/kuich.
Vyučovací jazyk
Angličtina
Další komentáře
Předmět je vyučován jednorázově.
  • Statistika zápisu (nejnovější)
  • Permalink: https://is.muni.cz/predmet/fi/podzim2014/DBLOK5