Iterated pushdown automata and sequences of rational numbers.

S. Fratani Géraud Sénizergues

Published in: Ann. Pure Appl. Log. (2006)

Keyphrases

hidden markov models
decision making
cellular automata
model checking
sequential patterns
finite state machines
regular expressions
finite state
finite automata
genetic algorithm
databases
multi agent
real numbers
test sequences
probabilistic automata