Al leer el documento " Una teoría aplicativa para FPH " puede encontrar el siguiente pasaje:
Considerando las teorías que caracterizan las clases de complejidad computacional, existen tres enfoques diferentes:
- en uno, las funciones que se pueden definir dentro de la teoría son "automáticamente" dentro de una cierta clase de complejidad. En tal cuenta, la sintaxis tiene que restringirse para garantizar que uno permanezca en la clase apropiada. Esto resulta, en general, en el problema de que ciertas definiciones de funciones ya no funcionan, incluso si la función está en la clase de complejidad en consideración.
- En una segunda cuenta, la lógica subyacente está restringida.
- En la tercera cuenta, uno no restringe la sintaxis, permitiendo, en general, escribir "términos de función" para funciones arbitrarias (parciales recursivas), ni la lógica, sino solo para aquellos términos de función que pertenecen a la clase de complejidad en consideración , se puede demostrar que tienen una determinada propiedad característica, por lo general, la propiedad de que son "demostrablemente totales". Si bien los términos de función, de acuerdo con el marco sintáctico subyacente, pueden tener un carácter computacional directo, es decir, como términos , la lógica que se utiliza para demostrar la propiedad característica puede ser clásica.
Mi pregunta se refiere a referencias que pueden ser una introducción a los tres enfoques mencionados anteriormente. En este pasaje solo vemos caracterizaciones para enfoques, pero ¿tienen estos nombres generalmente aceptados?