Reversible Shrinking Two-Pushdown Automata.

Holger Bock Axelsen Martin Kutrib Andreas Malcher

Published in: J. Autom. Lang. Comb. (2022)

Keyphrases

cellular automata
markov chain
finite state
probabilistic automata
lattice gas
model checking
regular expressions
timed automata
finite automata
finite state machines
formal language theory
tree automata
temporal logic
turing machine
finite state automata
multiscale
information retrieval
real time