Auto layout of graphs

[Lexseal]

When we convert NFA to DFA, we create a lot of new states and the graph can get messy. Packages such as JFLAP have many automatic layout algorithms to spread out the states so that they are more legible.

Now, we want to do something similar users can take advantage of when designing their state diagrams.