Bisimulation equivalence and regularity for real-time one-counter automata.

Stanislav Böhm Stefan Göller Petr Jancar

Published in: J. Comput. Syst. Sci. (2014)

Keyphrases

real time
equivalence relation
data sets
control system
low cost
cellular automata
case study
expert systems
high speed
vision system
markov chain
regular expressions
moving target
finite state
finite automata