Equational reasoning with context-free families of string diagrams.

Aleks Kissinger Vladimir Zamdzhiev

Published in: CoRR (2015)

Keyphrases

context free
context free grammars
grammatical inference
context dependent
context free languages
context sensitive
attribute grammars
regular expressions
finite state
graph grammars
pattern matching
inductive inference
grammar rules
database
production rules
xml schema
domain knowledge