The Formal Definition of Semantics by String Automata.
G. KampenJean-Loup BaerPublished in: Comput. Lang. (1976)
Keyphrases
- regular expressions
- formal semantics
- cellular automata
- finite automata
- finite state machines
- data structure
- logic programming
- string matching
- lattice gas
- database
- finite automaton
- formal languages
- edit distance
- finite state
- xml schema
- argumentation frameworks
- belief revision
- pattern matching
- fuzzy ontology
- distance measure
- neural network