Åpne hovedmenyen

Ikke-deterministisk endelig tilstandsmaskin

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
informatikkstubbDenne informatikkrelaterte artikkelen er foreløpig kort eller mangelfull, og du kan hjelpe Wikipedia ved å utvide den.