Extended symbolic finite automata and transducers.

Loris D'Antoni Margus Veanes

Published in: Formal Methods Syst. Des. (2015)

Keyphrases

finite automata
deterministic automata
grammatical inference
probabilistic automata
regular expressions
tree automata
regular languages
high level
hidden markov models
artificial intelligence
data integration
object oriented
symbolic representation