use rounded rectangles instead of ellipses
Using rounded rectangles (shape="box",style="rounded"
) instead of ellipses (shape="ellipse"
) for automata states would save some space in the output, especially with large or multi-line labels. I'm not sure if it makes sense to keep ellipses as an option.