Nondeterministisk Turingmaskine

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.

ProgrammeringStub
Denne artikel om datalogi eller et datalogi-relateret emne er kun påbegyndt. Hvis du ved mere om emnet, kan du hjælpe Wikipedia ved at udvide den.