Nonsequential Automata Semantics for a Concurrent, Object-Based Language.
Paulo Blauth MenezesAmílcar SernadasJosé Félix CostaPublished in: Electron. Notes Theor. Comput. Sci. (1998)
Keyphrases
- formal languages
- logical language
- specification language
- logic programming language
- intended meaning
- definition language
- formal language
- formal language theory
- highly expressive
- formal semantics
- programming language
- operational semantics
- conceptual graphs
- model theoretic
- conditional logic
- denotational semantics
- cellular automata
- semantically equivalent
- natural language
- speech acts
- logic programming
- language learning
- dynamic logic
- description logics
- concurrent programming
- disjunctive logic programming
- situation calculus
- semantic information
- aggregate functions
- algebraic operations
- multiple inheritance
- predicate calculus
- closed world
- database query languages
- finite state automaton
- fixed point semantics
- process algebra
- action language
- proof theory
- turing machine
- regular languages
- finite automata
- finite state machines
- regular expressions
- deductive databases
- relational databases