Bisimulation Equivalence is Decidable for all Context-Free Processes.

Søren Christensen Hans Hüttel Colin Stirling

Published in: CONCUR (1992)

Keyphrases

context free
context sensitive
context dependent
grammatical inference
finite state
context free grammars
inductive inference
attribute grammars
datalog programs
graph grammars
equivalence relation
language model
first order logic
grammar rules
artificial intelligence
structured data