Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Congruence Relations for B\"uchi Automata   We revisit here congruence relations for B\"uchi automata, which play a
central role in the automata-based verification. The size of the classical
congruence relation is in $3^{\mathcal{O}(n^2)}$, where $n$ is the number of
states of a given B\"uchi automaton $\mathcal{A}$. Here we present improved
congruence relations that can be exponentially coarser than the classical one.
We further give asymptotically optimal congruence relations of size
$2^{\mathcal{O}(n \log n)}$. Based on these optimal congruence relations, we
obtain an optimal translation from B\"uchi automata to a family of
deterministic finite automata (FDFW) that accepts the complementary language.
To the best of our knowledge, our construction is the first direct and optimal
translation from B\"uchi automata to FDFWs.

11
The categories of this paper are: hep-lat
2
The categories of this paper are: math
18
The categories of this paper are: econ
16
The categories of this paper are: stat
22
The categories of this paper are: chao-dyn
15
The categories of this paper are: nucl-ex
25
The categories of this paper are: patt-sol
30
The categories of this paper are: q-alg
26
The categories of this paper are: bayes-an
4
The categories of this paper are: cond-mat
28
The categories of this paper are: alg-geom
10
The categories of this paper are: q-bio
0
The categories of this paper are: hep-ph
13
The categories of this paper are: quant-ph
37
The categories of this paper are: supr-con
24
The categories of this paper are: dg-ga