Login / Signup
On Parameterized One-Counter Automata.
Benedikt Bollig
Karin Quaas
Arnaud Sangnier
Published in:
CoRR (2016)
Keyphrases
</>
cellular automata
finite automata
probabilistic automata
finite state
lattice gas
high level
regular expressions
database
data sets
databases
search algorithm
expert systems
xml documents
tree automata