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.