A automata drawing tool writen in Python. The demo picture is below: http://blog.sina.com.cn/s/blog_4ce016230100lreh.html