On complementing unambiguous automata and graphs with many cliques and cocliques
We show that for any unambiguous finite automaton with n states there exists an unambiguous finite automaton with √n + 1 · 2n/2 states that recognizes the complement language. This builds and improves upon a similar result by Jirásek et al. (2018) [1]. Our improvement is based on a reduction to and...
Main Authors: | Indzhev, E, Kiefer, S |
---|---|
Format: | Journal article |
Sprog: | English |
Udgivet: |
Elsevier
2022
|
Lignende værker
-
Markov chains and unambiguous automata
af: Baier, C, et al.
Udgivet: (2023) -
Markov chains and unambiguous Büchi automata
af: Baier, C, et al.
Udgivet: (2016) -
Markov Chains and Unambiguous Büchi Automata
af: Kiefer, S, et al.
Udgivet: (2016) -
Lower bounds for unambiguous automata via communication complexity
af: Göös, M, et al.
Udgivet: (2022) -
Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques
af: Kiefer, S, et al.
Udgivet: (2019)