Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata.
Yong LiSven ScheweMoshe Y. VardiPublished in: CONCUR (2023)
Keyphrases
- cellular automata
- information gain
- regular expressions
- automata theoretic
- lattice gas
- probabilistic automata
- finite state
- finite state machines
- finite automata
- website
- formal language theory
- data sets
- case study
- timed automata
- finite state automata
- database
- feature selection
- linear complexity
- artificial intelligence
- tree automata
- social networks
- genetic algorithm
- data mining
- finite state automaton
- text categorization