Says, “Three or more 1’s and not ending in 01 nor composed of all 1’s.”
-.. figure:: attachment:omg.svg
- :alt: omg.svg
+.. figure:: omg.svg
+ :alt: State Machine Graph
- omg.svg
+ State Machine Graph
Start at ``a`` and follow the transition arrows according to their
labels. Accepting states have a double outline. (Graphic generated with