Usualmente ¿Las funciones basadas en conjuntos numéricos utilizan el esquema general y las funciones basadas en lenguajes utilizan el primitivo (sea libre o no)?
Porque en el teórico definen:
Esquema de recursión primitiva
- ....
- definir f en los objetos obtenidos de aplicar cláusulas inductivas usando el valor de f en objetos inmediatamente anteriores
Esquema de recursión general
- ...
- definir f usando el valor de f obtenido para objetos estrictamente menores
Me da la impresión de que trabajando con una función (donde su dominio sea un lenguaje), no resulta intuitivo cuando un elemento es menor a otro. Pero si anterior.