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...
Үндсэн зохиолчид: | Göös, M, Kiefer, S, Yuan, W |
---|---|
Формат: | Conference item |
Хэл сонгох: | English |
Хэвлэсэн: |
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
2022
|
Ижил төстэй зүйлс
Ижил төстэй зүйлс
-
Markov chains and unambiguous automata
-н: Baier, C, зэрэг
Хэвлэсэн: (2023) -
Markov chains and unambiguous Büchi automata
-н: Baier, C, зэрэг
Хэвлэсэн: (2016) -
Markov Chains and Unambiguous Büchi Automata
-н: Kiefer, S, зэрэг
Хэвлэсэн: (2016) -
On complementing unambiguous automata and graphs with many cliques and cocliques
-н: Indzhev, E, зэрэг
Хэвлэсэн: (2022) -
Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques
-н: Kiefer, S, зэрэг
Хэвлэсэн: (2019)