Bisimilarity of Pushdown Automata is Nonelementary.
Michael BenediktStefan GöllerStefan KieferAndrzej S. MurawskiPublished in: LICS (2013)
Keyphrases
- finite state
- finite automata
- model checking
- cellular automata
- finite state machines
- lattice gas
- probabilistic automata
- regular expressions
- finite state automata
- multi agent
- feature selection
- computer vision
- genetic algorithm
- data mining
- tree automata
- databases
- e learning
- search algorithm
- machine learning
- neural network