Clase de complejidad computacional de problemas resolubles por una Máquina de Turing determinista en tiempo polinomial.