The current automata implementation is suboptimal. Editing the graph is not convenient. Are there better solutions to this?
The current automata implementation is suboptimal. Editing the graph is not convenient. Are there better solutions to this?