Předmět Weighted Finite Automata (DBLOK5)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu DBLOK5 - Weighted Finite Automata, Fakulta informatiky, Masarykova univerzita (MU).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
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.
Požadavky
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.
Garant
prof. RNDr. Antonín Kučera, Ph.D.
Vyučující
prof. RNDr. Antonín Kučera, Ph.D.