En deterministisk tilstandsmaskin (DFA), også kjent som endelig deterministisk akseptor, deterministisk automat eller deterministisk tilstandsautomat, er innen informasjonsteknologien en tilstandsmaskin som aksepterer eller avviser strenger av symboler og bare produserer en unik beregning (eller eksekvering) av maskinen for hver innmatende streng.Hopcroft 2001: 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.McCulloch and Pitts (1943):Rabin and Scott (1959):
Referanser
Kategori:Endelig tilstandsmaskin