Added definable rules to automaton and elements to GUI to define them.