Electronic Communications of the EASST Volume 39 ( 2011 ) Graph Computation Models Selected Revised Papers from the Third International Workshop on Graph Computation Models ( GCM 2010 ) Minimizing Finite Automata with Graph Programs