Graphoid Automata, Frobenius PROPs, and Semiring Evaluation

Antonios Kalampakas

Graphoid automata evaluate graphs by composing relations between words of states. We examine the equations that make this evaluation independent of the chosen graph expression, and…