Forklaring: cirkler illustrerer tilstande, hvor dobbelt-cirkler betyder accepterende. Faste pile er overgange mellem tilstandene; prikkede pile er løkker og bruges her for om- og mellemkvæd.
Labels oven på pilene er pt. fortløbende nummerering – brug dem som referencer, når I henviser til diagrammet.