Fast equivalence-checking for normed context-free processes.

Wojciech Czerwinski Slawomir Lasota

Published in: FSTTCS (2010)

Keyphrases

context free
context sensitive
context dependent
grammatical inference
finite state
context free grammars
context free languages
inductive inference
grammar rules
attribute grammars
parse tree
vector space
graph grammars
artificial intelligence
computational model