Veřejná přednáška v rámci habilitačního řízení - RNDr. Tomáš Masopust, Ph.D., DSc.
Název přednášky: " Expressivity and complexity of partially ordered automata "
Abstrakt: We discuss the expressivity of finite automata whose transition diagram
contains no nontrivial cycles, show their relationship to the Straubing-Therien
concatenation hierarchy, and discuss the complexity of related problems, including
universality, inclusion, and equivalence.
Link přednášky: https://is.muni.cz/go/o8s0k6