Equational Reasoning with Context-Free Families of String Diagrams.

Aleks Kissinger Vladimir Zamdzhiev

Published in: ICGT (2015)

Keyphrases

context free
context free grammars
grammatical inference
context free languages
context sensitive
context dependent
regular expressions
attribute grammars
finite state
grammar rules
inductive inference
pattern matching
production rules
graph grammars
parse tree
high level
knowledge based systems
low level