There is a known method for creating program code using the graph method. The program is represented by vertices (states) interconnected by directed arcs. Arcs contain transition conditions and ...