15 relaciones: Cadena de caracteres, Ciencias de la computación, Conjunto recursivo, Decidibilidad, Jerarquía de Chomsky, Lógica, Lenguaje formal, Lenguaje recursivamente enumerable, Lenguaje regular, Lenguaje sensible al contexto, Matemáticas, Máquina de Turing, Modelo de computación, Palabra (matemáticas), Recursión.
Cadena de caracteres
En programación, una cadena de caracteres, palabras, ristra de caracteres o frase (string, en inglés) es una secuencia ordenada (de longitud arbitraria, aunque finita) de elementos que pertenecen a un cierto lenguaje formal o alfabeto análogas a una fórmula o a una oración.
¡Nuevo!!: Lenguaje recursivo y Cadena de caracteres · Ver más »
Ciencias de la computación
Las ciencias de la computación estudian los fundamentos teóricos de la información y el cómputo, junto con técnicas prácticas para la implementación y aplicación de estos fundamentos teóricos.
¡Nuevo!!: Lenguaje recursivo y Ciencias de la computación · Ver más »
Conjunto recursivo
En la teoría de la computabilidad, un conjunto de números naturales se llama computable, recursivo o decidible si hay un algoritmo que decide correctamente si un número pertenece o no al conjunto en tiempo finito.
¡Nuevo!!: Lenguaje recursivo y Conjunto recursivo · Ver más »
Decidibilidad
En metalógica, la decidibilidad es una propiedad de los sistemas formales cuando, para cualquier fórmula en el lenguaje del sistema, existe un método efectivo para determinar si esa fórmula pertenece o no al conjunto de las verdades del sistema.
¡Nuevo!!: Lenguaje recursivo y Decidibilidad · Ver más »
Jerarquía de Chomsky
En lingüística la jerarquía de Chomsky (ocasionalmente también llamada la jerarquía de Chomsky–Schützenberger) es una clasificación jerárquica de distintos tipos de gramáticas formales que generan lenguajes formales.
¡Nuevo!!: Lenguaje recursivo y Jerarquía de Chomsky · Ver más »
Lógica
La lógica es una rama de la filosofía de carácter interdisciplinario, entendida como la ciencia formal que estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción de verdad.
¡Nuevo!!: Lenguaje recursivo y Lógica · Ver más »
Lenguaje formal
En matemáticas, lógica y ciencias de la computación, un lenguaje formal es un lenguaje cuyos símbolos son primitivos y las reglas para unir esos símbolos están formalmente especificadas.
¡Nuevo!!: Lenguaje recursivo y Lenguaje formal · Ver más »
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.
¡Nuevo!!: Lenguaje recursivo y Lenguaje recursivamente enumerable · Ver más »
Lenguaje regular
En teoría de la computación y lingüística computacional, un lenguaje regular es un lenguaje formal que puede ser definido por una expresión regular, generado por una gramática regular, y reconocido por un autómata finito.
¡Nuevo!!: Lenguaje recursivo y Lenguaje regular · Ver más »
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.
¡Nuevo!!: Lenguaje recursivo y Lenguaje sensible al contexto · Ver más »
Matemáticas
Las matemáticas, o también la matemática, La palabra «matemáticas» no está en el Diccionario de la Real Academia Española.
¡Nuevo!!: Lenguaje recursivo y Matemáticas · Ver más »
Máquina de Turing
Una máquina de Turing es un dispositivo que manipula símbolos sobre una tira de cinta de acuerdo con una tabla de reglas.
¡Nuevo!!: Lenguaje recursivo y Máquina de Turing · Ver más »
Modelo de computación
En la teoría de la computabilidad y en la teoría de la complejidad computacional, un modelo de computación es la definición un conjunto de operaciones permitibles usadas en el cómputo y sus respectivos costos.
¡Nuevo!!: Lenguaje recursivo y Modelo de computación · Ver más »
Palabra (matemáticas)
En matemáticas, una palabra es una sucesión ordenada de elementos tomados de un conjunto fijo de símbolos denominado alfabeto.
¡Nuevo!!: Lenguaje recursivo y Palabra (matemáticas) · Ver más »
Recursión
La recursión o recursividad es la forma en la cual se especifica un proceso basado en su propia definición.
¡Nuevo!!: Lenguaje recursivo y Recursión · Ver más »