Un lenguaje recursivo en la informática es aquel lenguaje que acepta cualquier letra o símbolo y se puede utilizar en una maquina de Turing y acepta cualquier numero de símbolos.
Su definicion viene de la palabra recursividad la cual en la informatica significa la propiedad que tiene un programa de solicitar su propia ejecucion en su desarollo.
Propiedades de las definiciones o algoritmos recursivos:
Un requisito importante para que sea correcto un algoritmo recursivo es que no genere una secuencia infinita de llamadas así mismo. Claro que cualquier algoritmo que genere tal secuencia no termina nunca. Una función recursiva f debe definirse en términos que no impliquen a f al menos en un argumento o grupo de argumentos. Debe existir una "salida" de la secuencia de llamadas recursivas.
Si en esta salida no puede calcularse ninguna función recursiva. Cualquier caso de definición recursiva o invocación de un algoritmo recursivo tiene que reducirse a la larga a alguna manipulación de uno o casos mas simples no recursivos.
No hay comentarios:
Publicar un comentario