Forward Bisimulations for Nondeterministic Symbolic Finite Automata.

Loris D'Antoni Margus Veanes

Published in: TACAS (1) (2017)

Keyphrases

finite automata
deterministic automata
grammatical inference
probabilistic automata
regular expressions
tree automata
finite automaton
hidden markov models
symbolic representation
expert systems
low level
wordnet
pattern matching