Computabilidad Computabilidad Un autómata con pila o autómata a pila es un modelo matemático de un sistema que recibe una cadena constituida por símbolos de un alfabeto y determina si esa cadena pertenece al lenguaje que el autómata reconoce. El lenguaje que reconoce un autómata a pila pertenece al grupo de los lenguajes de contexto libre en la clasificación de la Jerarquía de Chomsky. ...Wikipedia "Autómata con pila"
Un autómata finito o máquina de estado finito es un modelo matemático de un sistema que recibe una cadena constituida por símbolos de un alfabeto y determina si esa cadena pertenece al lenguaje que el autómata reconoce. ...Wikipedia "Autómata finito"
Una cadena de Markov, que recibe su nombre del matemático ruso Andrei Markov, es una serie de eventos, en la cual la probabilidad de que ocurra un evento determinado depende del evento inmediatamente anterior. En efecto, las cadenas de este tipo no tienen memoria. Solamente «recuerdan» el evento actual y éste es el único que condiciona las posibilidades de los eventos futuros. Esta independencia de los eventos anteriores engloba a las cadenas de Markov con los sistemas sin memoria, como tirar una moneda al aire o un dado. ...Wikipedia "Cadena de Markov"
El cálculo lambda es un sistema formal diseñado para investigar la definición de función, la noción de aplicación de funciones y la recursión. Fue introducido por Alonzo Church y Stephen Kleene en la década de 1930; Church usó el cálculo lambda en 1936 para resolver el Entscheidungsproblem. Puede ser usado para definir de manera limpia y precisa qué es una " función computable". ...Wikipedia "Cálculo lambda"
En teoría de la computabilidad, un conjunto se denomina recursivamente enumerable (r. e.) si existe una función computable g(x) que esté definida únicamente para aquellos números naturales que pertenecen a B: ...Wikipedia "Conjunto recursivamente enumerable"
En teoría de la computabilidad, un conjunto B es recursivo (recursivo primitivo) cuando su función característica es computable total o lo que es lo mismo, es una función recursiva primitiva. Esto significa que la función característica, la cual es un predicado, toma valor 1 (cierto) para todos los elementos del conjunto y 0 (falso) para el resto. ...Wikipedia "Conjunto recursivo"
El Entscheidungsproblem (en castellano: problema de decisión) fue el reto en lógica simbólica de encontrar un algoritmo general que decidiera si una fórmula del cálculo de primer orden es un teorema. En 1936, de manera independiente, Alonzo Church y Alan Turing demostraron ambos que es imposible escribir tal algoritmo. Como consecuencia, es también imposible decidir con un algoritmo si una frase cualquiera de la aritmética es cierta o falsa. ...Wikipedia "Entscheidungsproblem"
La función de Ackermann, utilizada en la teoría de la computación, es una función recursiva que toma dos números naturales como argumentos y devuelve un número natural. ...Wikipedia "Función de Ackermann"
En lógica matemática y computación, las funciones recursivas o también conocidas como funciones recursivas-μ son una clase de funciones de los números naturales en los números naturales que son «computables» en un sentido intuitivo. De hecho, en teoría de la computabilidad se demuestra que las funciones recursivas son precisamente las funciones que pueden ser calculadas con el formalismo de cómputo más general conocido como lo son las máquinas de Turing. Las funciones recursivas están relacionadas con las funciones primitivas recursivas y su definición inductiva se construye en base a la de las funciones primitivas recursivas. No toda función recursiva es primitiva recursiva. El ejemplo más conocido es la función de Ackermann. ...Wikipedia "Función recursiva"
En lingüística la jerarquía de Chomsky es una clasificación jerárquica de distintos tipos de gramáticas formales que generan lenguajes formales. Esta jerarquía fue descrita por Noam Chomsky en 1956. ...Wikipedia "Jerarquía de Chomsky"
En Teoría de la computación y Teoría de la recursión, una máquina de Post, bautizada así en honor de Emil Leon Post, es una autómata determinísta con una cola. No hay cinta de lectura separada. ...Wikipedia "Máquina de Post"
El Problema de Correspondencia de Post es un problema de decisión indecidible que fue propuesto por Emil Post. Por ser más sencillo que el Problema de parada y que el Entscheidungsproblem, resulta útil para realizar pruebas de indecibilidad. ...Wikipedia "Problema de correspondencia de Post"
En Teoría de la computabilidad, la recursión primitiva permite definir una clase de funciones que forman un importante paso en la formalización de la noción de computabilidad. Se definen usando como principales operaciones la recursión y composición de funciones y forman un subconjunto estricto de las funciones recursivas, que son precisamente las funciones computables. Las funciones recursivas se definen agregándole a la recursión primitiva el operador de búsqueda no acotada que permite definir funciones parciales. ...Wikipedia "Recursión primitiva"
En teoría de la computabilidad, sean A y B dos conjuntos cualesquiera; decimos que A es reducible a B y escribimos A ≤ B, si existe una función computable total, o lo que es el equivalente, una función recursiva primitiva tal que: ...Wikipedia "Reducción de conjuntos"
Are you ready for shortopedia?
La Teoría de la computabilidad es la parte de la computación que estudia los problemas de decisión que pueden ser resueltos con un algoritmo o equivalentemente con una máquina de Turing. La teoría de la computabilidad se interesa a cuatro preguntas: ...Wikipedia "Teoría de la computabilidad"
Tesis de Church: "(Church-Turing) A function of positive integers is effectively calculable only if recursive." ...Wikipedia "Tesis de Church-Turing"
En la teoría de computadoras reales e imaginarias, de los lenguajes de programación y de otros sistemas lógicos, un sistema Turing completo es aquel que tiene un poder computacional equivalente a la máquina universal de Turing. En otras palabras, el sistema y la máquina universal de Turing pueden emularse entre sí. ...Wikipedia "Turing completo"
This article is licensed under the GNU Free Documentation License.
It uses material from the Wikipedia . Direct links to the original articles are in the text.
If you use exact copy or modified of this article you should preserve above paragraph and put also : It uses material from
the Shortopedia article about "Computabilidad".
| MAIN PAGE | MAIN INDEX | CONTACT US |