On the Power of Pushing or Stationary Moves for Input-Driven Pushdown Automata.

Martin Kutrib Andreas Malcher Matthias Wendlandt

Published in: CIAA (2022)

Keyphrases

non stationary
model checking
data driven
cellular automata
power consumption
input data
real time
neural network
finite state machines
finite state
power distribution
information retrieval
knowledge base
multiscale
lattice gas