Adding Time to Pushdown Automata

Parosh Aziz Abdulla Mohamed Faouzi Atig Jari Stenman

Published in: QFM (2012)

Keyphrases

finite automata
cellular automata
model checking
databases
regular expressions
finite state
temporal logic
formal language theory
real time
probabilistic automata
finite state machines
multiscale
e learning
artificial intelligence
machine learning
data mining
neural network
data sets