Deciding Weak Bisimilarity of Normed Context-Free Processes Using Tableau.

Xinxin Liu Haiyan Chen

Published in: ICTAC (2007)

Keyphrases

context free
context sensitive
context dependent
grammatical inference
finite state
context free languages
context free grammars
graph grammars
attribute grammars
search engine
inductive inference
vector space
parse tree
markov decision processes