-pushdown automata.

Yusi Lei Fu Song Wanwei Liu Min Zhang

Published in: Sci. China Inf. Sci. (2017)

Keyphrases

model checking
finite automata
cellular automata
finite state
tree automata
regular expressions
finite state machines
timed automata
lattice gas
formal language theory
probabilistic automata
turing machine
evolutionary algorithm
expert systems
data structure
search engine
machine learning
data sets