Bestemmer deterministisk bilaton -- figuren illustrerer en deterministisk endelig automaton ved å bruke et tilstandsdiagram. I automatatet er det tre tilstander: S, S og S (punkt grafisk ved sirkler). automatsen tar en endelig rekke nuller og 1s som inndata. For hver tilstand, er det en overgang pil som fører til en neste tilstand for både 0 og 1. Ved å lese et symbol, en DFA hopper deterministisk fra en tilstand til en annen ved å følge den overgangen pilen. For eksempel, hvis automatsen er for tiden i tilstand S og det gjeldende inndata- symbolet er 1, så er det determinant hopper til tilstand S. A DFA har en start-tilstand (punkt grafisk ved en pil som kommer fra ingensteds) hvor beregningsbevis begynner, og et sett av akseptere tilstander (bestemt ved en dobbel sirkel) som bidrar til å definere når en beregning er vellykket.
kan en dfa har mer enn én endelig tilstand