Abstracting an Operational Semantics to Finite Automata.
Nadezhda BaklanovaWilmer RicciottiJan-Georg SmausMartin StreckerPublished in: ICTERI (2015)
Keyphrases
- finite automata
- operational semantics
- grammatical inference
- deterministic automata
- regular expressions
- formal semantics
- probabilistic automata
- denotational semantics
- data model
- activity diagrams
- mental states
- tree automata
- finite automaton
- agent programming
- machine learning
- hidden markov models
- expert systems
- database systems
- databases