Login / Signup
-pushdown automata.
Manfred Droste
Sven Dziadek
Werner Kuich
Published in:
Inf. Comput. (2022)
Keyphrases
</>
cellular automata
model checking
finite state
regular expressions
finite automata
probabilistic automata
timed automata
tree automata
finite state machines
lattice gas
finite state automata
neural network
decision making
data streams
multiscale
metadata
database
formal language theory