Login / Signup
Abstracting an Operational Semantics to Finite Automata.
Nadezhda Baklanova
Wilmer Ricciotti
Jan-Georg Smaus
Martin Strecker
Published in:
ICTERI (Revised Selected Papers) (2015)
Keyphrases
</>
finite automata
operational semantics
regular expressions
probabilistic automata
formal semantics
deterministic automata
grammatical inference
mental states
tree automata
data model
hidden markov models
denotational semantics
object oriented
pattern matching
semantic information
inductive inference