Silence is Golden: Branching Bisimilarity is Decidable for Context-Free Processes.
Hans HüttelPublished in: CAV (1991)
Keyphrases
- context free
- context sensitive
- grammatical inference
- context dependent
- context free languages
- context free grammars
- graph grammars
- attribute grammars
- grammar rules
- finite state
- inductive inference
- first order logic
- reinforcement learning
- machine learning
- text classification
- query language
- probabilistic context free grammars