thumb|300px| The automaton described by this state diagram starts in state S1, and changes states following the arrows marked 0 or 1 according to the input symbols as they arrive. The double circle marks S1 as an accepting state. Since all paths from S1 to itself contain an even number of arrows marked 0, this automaton accepts strings containing even numbers of 0s.
THumB|300pX| THe aUtomatOn deScribed by tHis StAte diAgRam StARtS iN stATe s1, aNd chaNGES StAtes fOlLowiNg The aRRows marKeD 0 Or 1 accOrdINg to the inPut symBoLs AS theY ARRive. tHe dOuble CIrcLe marks s1 as an ACcepting state. SiNce aLl paThs From S1 to itselF conTain An even numbER Of Arrows mArkEd 0, this AUtOmaTOn aCcepTs strinGS coNtainiNg evEN NumbERs oF 0S.