Robot_and_Maze

B-machine specification for a Robot starting a maze until it exists the maze.
This also includes the state graph and history graph as .dot files. And screen shots of the animator and different states.