En nondeterministisk Turingmaskine er en variant af en standard Turingmaskine. Overføringsfunktionen er defineret anderledes, så der tages højde for, at en given tilstand giver flere mulige nye tilstande.
![]() | Spire Denne artikel om datalogi eller et datalogi-relateret emne er en spire som bør udbygges. Du er velkommen til at hjælpe Wikipedia ved at udvide den. |