Diskussion:Verifier

Fra Wikipedia, den frie encyklopædi

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

organisation