adjacency-matrix arithmetic-circuits automata finite-fields finite-state-machine functional-graphs graph graph-algorithms graph-grammars graph-matching graph-theory graph-transformation graph-visualizations graphs induction kotlin linear-algebra parsing