Ikke-deterministisk endelig tilstandsmaskin
Denne artikkelen mangler kildehenvisninger, og opplysningene i den kan dermed være vanskelige å verifisere. Kildeløst materiale kan bli fjernet.
En ikke-deterministisk endelig tilstandsmaskin er innenfor automatteori en endelig tilstandsmaskin som ikke følger restriksjonene til en deterministisk endelig tilstandsmaskin:
- Hver enkelt av dens transisjoner blir unikt definert av dens kildetilstand og innmatings-symbol
- Lesing av et innmatings-symbol er påkrevet for hver tilstands transisjon
Denne artikkelen er en spire. Du kan hjelpe Wikipedia ved å utvide den.