Watson-Crick pushdown automata.

Kingshuk Chatterjee Kumar Sankar Ray

Published in: Kybernetika (2017)

Keyphrases

model checking
finite state
cellular automata
timed automata
probabilistic automata
finite state machines
lattice gas
finite automata
regular expressions
context free
turing machine
finite state automata
database
mobile robot
support vector
multimedia
neural network
data sets