Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes.

Wojciech Czerwinski Piotr Hofman Slawomir Lasota

Published in: CONCUR (2011)

Keyphrases

context free
context dependent
context sensitive
grammatical inference
graph grammars
inductive inference
context free grammars
context free languages
finite state
attribute grammars
parse tree
grammar rules
vector space
machine learning
high level
pattern matching