Tight Bounds for the Determinisation and Complementation of Generalised Büchi Automata.
Sven ScheweThomas VarghesePublished in: ATVA (2012)
Keyphrases
- tight bounds
- upper bound
- cellular automata
- probabilistic automata
- regular expressions
- finite automata
- finite state
- information gain
- finite automaton
- tree automata
- finite state machines
- formal language theory
- lattice gas
- data sets
- artificial neural networks
- turing machine
- objective function
- case study
- decision trees
- finite state automaton
- data mining