Diskussion:Verifier

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

Tilbage til siden »Verifier«.