Lenguaje recursivo

Lenguaje recursivo

Un lenguaje recursivo en matemáticas, lógica e informática, es un tipo de lenguaje formal que también es llamado recursivo, decidible o Turing-decidible. Se caracterizan porque para cada uno de ellos existe una máquina de Turing que aceptará cualquier palabra del lenguaje y parará siempre.


Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Lenguaje sensible al contexto — En las ciencias de la computación, un lenguaje sensible al contexto es un [[lenguaje formal] que puede ser definido por gramáticas sensibles al contexto. Es uno de los cuatro tipos de gramáticas en la jerarquía de Chomsky, siendo esta gramática… …   Wikipedia Español

  • Lenguaje de programación B — Saltar a navegación, búsqueda B Paradigma: imperativo (procedural) Apareció en: 1969 Diseñado por: Kenneth L. Thompson, Dennis M. Ritchie Tipo de dato: lenguaje sin tipos …   Wikipedia Español

  • Lenguaje recursivamente enumerable — En matemáticas, lógica e informática, un lenguaje recursivamente enumerable es un tipo de lenguaje formal que es también llamado parcialmente decidible o Turing computable. Son conocidos como lenguajes tipo 0 en la Jerarquía de Chomsky.… …   Wikipedia Español

  • Particionamiento recursivo — Saltar a navegación, búsqueda El particionamiento recursivo es una técnica estadística de análisis multivariante. Su objetivo es el de construir árboles de decisión que modelen la influencia de una serie de variables explicativas sobre la… …   Wikipedia Español

  • B (lenguaje de programación) — B Información general Paradigma imperativo (procedural) Apareció en 1969 Diseñado por Kenneth L. Thompson, Dennis M. Ritchie …   Wikipedia Español

  • Logo (lenguaje de programación) — Logo [[Archivo: Gráfico hecho con la tortuga de Logo. |220px]] Información general …   Wikipedia Español

  • Clase de complejidad — En teoría de la complejidad computacional, una clase de complejidad es un conjunto de problemas de decisión de complejidad relacionada. Una clase de complejidad tiene una definición de la forma: el conjunto de los problemas de decisión que pueden …   Wikipedia Español

  • Decidibilidad — Saltar a navegación, búsqueda En lógica, el término decidible se refiere a la existencia de un método efectivo para determinar si un objeto es miembro de un conjunto de fórmulas. Un sistema lógico o teoría es decidible sintácticamente si el… …   Wikipedia Español

  • Lisp — Información general Paradigma multiparadigma: orientado a objetos, funcional, declarativo Apareció en 1958 Diseñado por John McCarthy …   Wikipedia Español

  • Grandes sistemas de Burroughs — Los grandes sistemas de Burroughs fueron los más grandes de tres series de computadores mainframes de Burroughs Corporation. Fundada en los años 1880, Burroughs era la más vieja entidad continuamente operando en el área de la computación, pero… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”