Abstracting an operational semantics to finite automata.

Nadezhda Baklanova Wilmer Ricciotti Jan-Georg Smaus Martin Strecker

Published in: CoRR (2014)

Keyphrases

operational semantics
finite automata
regular expressions
formal semantics
grammatical inference
probabilistic automata
deterministic automata
mental states
tree automata
data model
hidden markov models
finite automaton
denotational semantics
activity diagrams
data sources
multi agent
machine learning
databases