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...
मुख्य लेखकों: | Indzhev, E, Kiefer, S |
---|---|
स्वरूप: | Journal article |
भाषा: | English |
प्रकाशित: |
Elsevier
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) -
Lower bounds for unambiguous automata via communication complexity
द्वारा: Göös, M, और अन्य
प्रकाशित: (2022) -
Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques
द्वारा: Kiefer, S, और अन्य
प्रकाशित: (2019)