An Elementary Bisimulation Decision Procedure for Arbitrary Context-Free Processes.

Olaf Burkart Didier Caucal Bernhard Steffen

Published in: MFCS (1995)

Keyphrases

metadata
context free
context sensitive
context dependent
grammatical inference
finite state
context free grammars
context free languages
attribute grammars
inductive inference
decision problems
dynamic programming
graph grammars
natural language
co occurrence
grammar rules