Redigerer Deterministisk endelig tilstandsmaskin

En '''deterministisk tilstandsmaskin''' ('''DFA'''), også kjent som '''[[Endelig tilstandsmaskin|endelig deterministisk akseptor]]''', '''deterministisk automat''' eller '''deterministisk tilstandsautomat''', er innen [[informasjonsteknologi]]en en [[Endelig tilstandsmaskin|tilstandsmaskin]] som aksepterer eller avviser [[Streng (informatikk)|strenger]] av symboler og bare produserer en unik beregning (eller eksekvering) av maskinen for hver innmatende streng.<ref name="Hopcroft 2001">[[#HMU|Hopcroft 2001]]:</ref> ''Deterministisk'' refererer til beregningens unikhet. I søken etter de enkleste modeller for å definere tilstandmaskiner, var [[Warren McCulloch]] og [[Walter Pitts]] blant de første forskere som introduserte et konsept som lignet på tilstandsmaskiner i 1943.<ref>[[#MP43|McCulloch and Pitts (1943)]]:</ref><ref>[[#RS59|Rabin and Scott (1959)]]:</ref>

==Referanser==
<references/>

[[Kategori:Endelig tilstandsmaskin]]