Entonces, la máquina de Turing que decide formula_10 (que la llamaremos formula_14) es llamada el Verificador para formula_15 y formula_16 es llamado el Certificado de membresía de formula_17 en formula_15.