Added file for tree/graph automata