En (), også kjent som , eller , 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. 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.