Ao ler o artigo " Uma teoria aplicada à FPH ", você pode encontrar a seguinte passagem:
Considerando as teorias que caracterizam classes de complexidade computacional, existem três abordagens diferentes:
- em um, as funções que podem ser definidas na teoria estão "automaticamente" dentro de uma certa classe de complexidade. Nessa conta, a sintaxe deve ser restrita para garantir que alguém permaneça na classe apropriada. Isso resulta, em geral, no problema de que certas definições de funções não funcionam mais, mesmo se a função estiver na classe de complexidade em consideração.
- Em uma segunda conta, a lógica subjacente é restrita.
- Na terceira conta, não se restringe a sintaxe, permitindo, em geral, anotar “termos de função” para funções arbitrárias (recursivas parciais), nem a lógica, mas apenas para os termos de função que pertencem à classe de complexidade em consideração , pode-se provar que eles têm uma certa propriedade característica, geralmente a propriedade que eles são "provadamente totais". Enquanto os termos da função, de acordo com a estrutura sintática subjacente, podem ter um caráter computacional direto, ou seja, como termos , a lógica usada para provar a propriedade da característica pode muito bem ser clássica.
Minha pergunta diz respeito a referências que podem ser uma introdução às três abordagens acima mencionadas. Nesta passagem, vemos apenas caracterizações para abordagens, mas elas têm nomes geralmente aceitos?