Bisimulation Equivalence is Decidable for All Context-Free Processes

Søren Christensen Hans Hüttel Colin Stirling

Published in: Inf. Comput. (1995)

Keyphrases

context free
context dependent
context sensitive
grammatical inference
finite state
equivalence relation
datalog programs
attribute grammars
inductive inference
context free grammars
graph grammars
tree automata
parse tree
grammar rules
information retrieval
production system
state space
dynamic programming