Deciding semantic finiteness of pushdown processes and first-order grammars w.r.t. bisimulation equivalence.
Petr JancarPublished in: J. Comput. Syst. Sci. (2020)
Keyphrases
- natural language
- equivalence relation
- semantic information
- natural language processing
- higher order
- semantic analysis
- decision diagrams
- context free
- semantic web
- context free grammars
- semantic knowledge
- process model
- domain ontology
- model checking
- computational models
- semantic network
- semantic features
- logic programs
- domain specific
- high level