%expression: propose different displays of the automaton
Just like what automaton.display()
does, I would like to have a means to select the way the automaton is displayed. For instance, I could desire to see the info
output rather than the default rendering. I'm not sure about the second menu though, about the layout, but if you have an opportunity to factor something, take it.
It would probably make sense to offer the same feature with %automaton
, obviously.
Also, you are lacking some possible algorithms in the algo menu, e.g., zpc and its variant.