While working on homework for my Theory of Computation class, I found myself in the need for a tool that would allow me to generate Finite State Machine diagrams.  I tried Keynote and Power Point, and while they were both good, they weren't great.  I was wondering if I should just draw them by hand, when I remembered that OmniGraffle would be perfect for this.