Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata.

Yong Li Sven Schewe Moshe Y. Vardi

Published in: CoRR (2023)

Keyphrases

cellular automata
finite automata
finite state
information gain
probabilistic automata
tree automata
automata theoretic
finite state machines
regular expressions
image processing
turing machine
neural network
lattice gas
expert systems
information systems
formal languages
timed automata
data sets