Lower bounds for unambiguous automata via communication complexity
We use results from communication complexity, both new and old ones, to prove lower bounds for unambiguous finite automata (UFAs). We show three results. 1. Complement: There is a language L recognised by an n-state UFA such that the complement language L requires NFAs with n Ω(log ˜ n) states. This...
Egile Nagusiak: | Göös, M, Kiefer, S, Yuan, W |
---|---|
Formatua: | Conference item |
Hizkuntza: | English |
Argitaratua: |
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
2022
|
Antzeko izenburuak
-
Markov chains and unambiguous automata
nork: Baier, C, et al.
Argitaratua: (2023) -
Markov chains and unambiguous Büchi automata
nork: Baier, C, et al.
Argitaratua: (2016) -
Markov Chains and Unambiguous Büchi Automata
nork: Kiefer, S, et al.
Argitaratua: (2016) -
On complementing unambiguous automata and graphs with many cliques and cocliques
nork: Indzhev, E, et al.
Argitaratua: (2022) -
Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques
nork: Kiefer, S, et al.
Argitaratua: (2019)