Monoids Described by Pushdown Automata.

Maryse Pelletier

Published in: IMYCS (1990)

Keyphrases

finite state
model checking
cellular automata
finite state machines
lattice gas
probabilistic automata
regular expressions
tree automata
timed automata
decision trees
finite state automata
support vector machine
databases
temporal logic
video sequences
similarity measure
computer vision
neural network