Spring til indhold

Diskussion:Verifier

Sidens indhold er ikke tilgængeligt på andre sprog.
Fra Wikipedia, den frie encyklopædi

Det er en matematisk definition, som har relevans for Turingmaskiner.