Regex:
Transition Table
State Diagram for