Flip-pushdown automata with k pushdown reversals and E0L systems are incomparable.

Pavol Duris Marek Kosta

Published in: Inf. Process. Lett. (2014)

Keyphrases

model checking
finite state
finite state machines
information systems
search algorithm
cellular automata
mobile robot
complex systems
computer systems
management system
regular expressions
learning systems
distributed systems
database
control system
artificial neural networks
databases
data sets
real time