Un sistema de prueba interactivo en el cual provers siga una estrategia fija, es decir, uno no afectado por los mensajes del verificador. Estrategia de el prover para una instancia determinada x de un problema de decisión puede ser representado por un finito oracle lengua B _x, que constituye una prueba de la respuesta correcta para x.