¡Más rápido que el navegador!
60 relaciones: Alan Turing, Alfabeto, Algoritmo, Alonzo Church, Arista (teoría de grafos), Autómata con pila, Autómata finito, Cadena de caracteres, Cambio de estado, Cálculo lambda, Cúbit, Ciencias de la computación, Computadora, Conjunto de instrucciones, Conjunto finito, Correspondencia matemática, David Hilbert, Dispositivo de almacenamiento de datos, Emil Leon Post, Entrada, Entscheidungsproblem, Escritura, Estado (informática), Estado físico, Función de transición, Función parcial, Grafo, Grafo dirigido, Jerarquía de Chomsky, Juego de la vida, Lógica, Lectura (educación), Lenguaje formal, London Mathematical Society, Matemáticas, Máquina abstracta, Máquina de Post, Máquina de Turing alternante, Máquina de Turing universal, Memoria de acceso aleatorio, Memoria de trabajo, Modelo computacional, NP (clase de complejidad), P (clase de complejidad), Periférico de salida, Problema de la parada, Problema indecidible, Proceedings of the London Mathematical Society, Programa informático, Registro de estado, ..., Sistema binario, Sistema combinacional, Sistema operativo, Stephen Kleene, Teoría de autómatas, Teoría de la complejidad computacional, Tesis de Church-Turing, Tupla, Unidad central de procesamiento, Wikcionario. Expandir índice (10 más) »
Alan Turing
Alan Mathison Turing (Paddington, Londres; 23 de junio de 1912-Wilmslow, Cheshire; 7 de junio de 1954) fue un matemático, lógico, informático teórico, criptógrafo, filósofo y biólogo teórico británico.
¡Nuevo!!: Máquina de Turing y Alan Turing · Ver más »
Alfabeto
Un alfabeto o sistema de escritura alfabético es un sistema de escritura formado por signos que en general representan fonemas, es decir, sonidos identificables en una lengua determinada; estos signos, llamados letras, se escriben en secuencias lineales de orden equivalente a las de los sonidos en la lengua oral.
¡Nuevo!!: Máquina de Turing y Alfabeto · Ver más »
Algoritmo
En matemáticas, lógica, ciencias de la computación y disciplinas relacionadas, un algoritmo (probablemente del latín tardío algorithmus, y este del árabe clásico ḥisābu lḡubār, que significa «cálculo mediante cifras arábigas») es un conjunto de instrucciones o reglas definidas y no-ambiguas, ordenadas y finitas que permite, típicamente, solucionar un problema, realizar un cómputo, procesar datos y llevar a cabo otras tareas o actividades.
¡Nuevo!!: Máquina de Turing y Algoritmo · Ver más »
Alonzo Church
Alonzo Church (14 de junio de 1903 - 11 de agosto de 1995), matemático y lógico estadounidense creador de la base de la computación teórica.
¡Nuevo!!: Máquina de Turing y Alonzo Church · Ver más »
Arista (teoría de grafos)
En teoría de grafos, una arista o línea corresponde a una relación entre dos vértices de un grafo.
¡Nuevo!!: Máquina de Turing y Arista (teoría de grafos) · Ver más »
Autómata con pila
Un autómata con pila, autómata a pila o autómata de 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.
¡Nuevo!!: Máquina de Turing y Autómata con pila · Ver más »
Autómata finito
Un autómata finito (AF) o máquina de estado finito es un modelo computacional que realiza cómputos en forma automática sobre una entrada para producir una salida.
¡Nuevo!!: Máquina de Turing y Autómata finito · Ver más »
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!!: Máquina de Turing y Cadena de caracteres · Ver más »
Cambio de estado
En física y química se denomina cambio de estado a la evolución de la materia entre varios estados de agregación sin que ocurra un cambio en su composición.
¡Nuevo!!: Máquina de Turing y Cambio de estado · Ver más »
Cálculo lambda
En lógica matemática, 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.
¡Nuevo!!: Máquina de Turing y Cálculo lambda · Ver más »
Cúbit
Un cúbit o bit cuántico (del inglés quantum bit o qubit) es un sistema cuántico con dos estados propios y que puede ser manipulado arbitrariamente.
¡Nuevo!!: Máquina de Turing y Cúbit · 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!!: Máquina de Turing y Ciencias de la computación · Ver más »
Computadora
Computadora, computador u ordenador es una máquina electrónica digital programable que ejecuta una serie de comandos para procesar los datos de entrada, obteniendo convenientemente información que posteriormente se envía a las unidades de salida.
¡Nuevo!!: Máquina de Turing y Computadora · Ver más »
Conjunto de instrucciones
Un conjunto de instrucciones, repertorio de instrucciones, juego de instrucciones o ISA (del inglés instruction set architecture, «arquitectura del conjunto de instrucciones») es una especificación que detalla las instrucciones que una unidad central de procesamiento puede entender y ejecutar, o el conjunto de todos los comandos implementados por un diseño particular de una CPU.
¡Nuevo!!: Máquina de Turing y Conjunto de instrucciones · Ver más »
Conjunto finito
En matemáticas, un conjunto finito es un conjunto que tiene un número finito de elementos.
¡Nuevo!!: Máquina de Turing y Conjunto finito · Ver más »
Correspondencia matemática
Dados dos conjuntos: X e Y, y una función f, que determina alguna relación binaria entre algún elemento de X con algún elemento de Y, diremos que esa función: f, define una correspondencia entre X e Y, que representaremos: cuando al menos un elemento de X está relacionado con al menos un elemento de Y.
¡Nuevo!!: Máquina de Turing y Correspondencia matemática · Ver más »
David Hilbert
David Hilbert (Königsberg, Prusia Oriental; 23 de enero de 1862-Gotinga, Alemania; 14 de febrero de 1943) fue un matemático alemán, reconocido como uno de los más influyentes del y principios del XX.
¡Nuevo!!: Máquina de Turing y David Hilbert · Ver más »
Dispositivo de almacenamiento de datos
Un dispositivo de almacenamiento de datos es un conjunto de componentes electrónicos habilitados para leer o grabar datos en el soporte de almacenamiento de datos de forma temporal o permanente.
¡Nuevo!!: Máquina de Turing y Dispositivo de almacenamiento de datos · Ver más »
Emil Leon Post
Emil Leon Post (11 de febrero de 1897 en Augustów - 21 de abril de 1954 en Nueva York) fue un matemático estadounidense.
¡Nuevo!!: Máquina de Turing y Emil Leon Post · Ver más »
Entrada
En teoría de la información, el término entrada se refiere a la entrar recibida en un mensaje, o bien al proceso de recibirla.
¡Nuevo!!: Máquina de Turing y Entrada · Ver más »
Entscheidungsproblem
En ciencias de la computación y matemáticas, el Entscheidungsproblem (en español: problema de decisión) fue el reto en lógica simbólica de encontrar un algoritmo general que decidiese si una fórmula del cálculo de primer orden es un teorema.
¡Nuevo!!: Máquina de Turing y Entscheidungsproblem · Ver más »
Escritura
La escritura es un sistema de representación gráfica de un idioma, por medio de signos trazados o grabados sobre un soporte.
¡Nuevo!!: Máquina de Turing y Escritura · Ver más »
Estado (informática)
En Ciencias de la computación y en Teoría de autómatas, un estado es una configuración única de información en un programa o máquina.
¡Nuevo!!: Máquina de Turing y Estado (informática) · Ver más »
Estado físico
Un estado físico es cada una de las situaciones o formas físicamente distinguibles mediante la medición de alguna(s) propiedad(es) que puede adoptar un sistema físico en su evolución temporal.
¡Nuevo!!: Máquina de Turing y Estado físico · Ver más »
Función de transición
En matemática, una función de transición puede referirse a.
¡Nuevo!!: Máquina de Turing y Función de transición · Ver más »
Función parcial
Las funciones se pueden clasificar en función de su conjunto de partida (o dominio).
¡Nuevo!!: Máquina de Turing y Función parcial · Ver más »
Grafo
En matemáticas y ciencias de la computación, un grafo (del griego grafos: dibujo, imagen) es un conjunto de objetos llamados vértices o nodos unidos por enlaces llamados aristas o arcos, que permiten representar relaciones binarias entre elementos de un conjunto.
¡Nuevo!!: Máquina de Turing y Grafo · Ver más »
Grafo dirigido
Un grafo dirigido o digrafo es un tipo de grafo en el cual las aristas tienen un sentido definido, a diferencia del grafo no dirigido, en el cual las aristas son relaciones simétricas y no apuntan en ningún sentido.
¡Nuevo!!: Máquina de Turing y Grafo dirigido · 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!!: Máquina de Turing y Jerarquía de Chomsky · Ver más »
Juego de la vida
El Juego de la vida es un autómata celular diseñado por el matemático británico John Horton Conway en 1970.
¡Nuevo!!: Máquina de Turing y Juego de la vida · 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!!: Máquina de Turing y Lógica · Ver más »
Lectura (educación)
La lectura es la interpretación (por parte de una persona, el lector/la lectora) del significado de algún tipo de información o ideas almacenadas en un soporte (véase palabra y texto) y transmitidas mediante algún tipo de código (usualmente un lenguaje, que puede ser visual o táctil; por ejemplo, el sistema braille) o de otros que pueden no estar basados en el lenguaje, tales como la notación o los pictogramas.
¡Nuevo!!: Máquina de Turing y Lectura (educación) · 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!!: Máquina de Turing y Lenguaje formal · Ver más »
London Mathematical Society
Sociedad Londinense de Matemáticas en inglés: London Mathematical Society, también conocida por su acrónimo LMS es una de las sociedades científicas del Reino Unido para las matemáticas; las otras son la Royal Statistical Society (RSS) y el Instituto de Matemáticas y sus Aplicaciones (IMA).
¡Nuevo!!: Máquina de Turing y London Mathematical Society · 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!!: Máquina de Turing y Matemáticas · Ver más »
Máquina abstracta
Una máquina abstracta, también llamada un computador abstracto, es un modelo teórico de un sistema computador de hardware o software usado en la teoría de autómatas.
¡Nuevo!!: Máquina de Turing y Máquina abstracta · Ver más »
Máquina de Post
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 un autómata determinista con una cola.
¡Nuevo!!: Máquina de Turing y Máquina de Post · Ver más »
Máquina de Turing alternante
En la teoría de la complejidad computacional, una máquina de Turing alternante (ATM) es una máquina de Turing no determinista (NTM) con una regla para la aceptación de cómputos que generaliza las reglas usadas en la definición de las clases de complejidad NP y co-NP.
¡Nuevo!!: Máquina de Turing y Máquina de Turing alternante · Ver más »
Máquina de Turing universal
En ciencias de la computación, una máquina universal de Turing (UTM) es una máquina de Turing que puede simular una máquina de Turing arbitraria en la entrada arbitraria.
¡Nuevo!!: Máquina de Turing y Máquina de Turing universal · Ver más »
Memoria de acceso aleatorio
La memoria de acceso aleatorio (Random Access Memory, RAM) es una memoria de almacenaje a corto plazo.
¡Nuevo!!: Máquina de Turing y Memoria de acceso aleatorio · Ver más »
Memoria de trabajo
En psicología cognitiva la memoria de trabajo es un constructo teórico que se refiere a las estructuras y procesos usados para el almacenamiento temporal de información (memoria a corto plazo) y la elaboración de la información.
¡Nuevo!!: Máquina de Turing y Memoria de trabajo · Ver más »
Modelo computacional
Un modelo computacional es un modelo matemático en las ciencias de la computación que requiere extensos recursos computacionales para estudiar el comportamiento de un sistema complejo por medio de la simulación por computadora.
¡Nuevo!!: Máquina de Turing y Modelo computacional · Ver más »
NP (clase de complejidad)
En teoría de la complejidad computacional, NP es el acrónimo en inglés de nondeterministic polynomial time ("tiempo polinomial no determinista").
¡Nuevo!!: Máquina de Turing y NP (clase de complejidad) · Ver más »
P (clase de complejidad)
En computación, cuando el tiempo de ejecución de un algoritmo (mediante el cual se obtiene una solución al problema) es menor o igual que un cierto valor calculado a partir del número de variables implicadas (generalmente variables de entrada) usando una fórmula polinómica, se dice que dicho problema se puede resolver en un tiempo polinómico o polinomial P. La tesis de Cobham postula que la clase P es la que tiene los problemas tratables más grandes, es decir, los problemas de gran tamaño que se pueden calcular de forma eficiente con un ordenador.
¡Nuevo!!: Máquina de Turing y P (clase de complejidad) · Ver más »
Periférico de salida
Los dispositivos de salida son aquellos periféricos que se adosan a un ordenador y cuya finalidad es comunicar información al usuario.
¡Nuevo!!: Máquina de Turing y Periférico de salida · Ver más »
Problema de la parada
El problema de la parada o problema de la detención para máquinas de Turing consiste en lo siguiente: dada una Máquina de Turing M y una palabra w, determinar si M terminará en un número finito de pasos cuando es ejecutada usando w como dato de entrada.
¡Nuevo!!: Máquina de Turing y Problema de la parada · Ver más »
Problema indecidible
En teoría de la computabilidad y en teoría de la complejidad computacional, un problema indecidible es un problema de decisión para el cual es imposible construir un algoritmo que siempre conduzca a una respuesta de sí o no correcta.
¡Nuevo!!: Máquina de Turing y Problema indecidible · Ver más »
Proceedings of the London Mathematical Society
Proceedings of the London Mathematical Society es una revista científica de revisión por pares especializada en matemática.
¡Nuevo!!: Máquina de Turing y Proceedings of the London Mathematical Society · Ver más »
Programa informático
Un programa informático o programa de computadora es una secuencia de instrucciones u órdenes basadas en un lenguaje de programación que una computadora interpreta para resolver un problema o una función especifica.
¡Nuevo!!: Máquina de Turing y Programa informático · Ver más »
Registro de estado
Se conoce como registro de estado a los registros de memoria en los que se deja constancia de algunas condiciones que se dieron en la última operación realizada y que podrán ser tenidas en cuenta en operaciones posteriores.
¡Nuevo!!: Máquina de Turing y Registro de estado · Ver más »
Sistema binario
El sistema binario, también llamado sistema diádico en ciencias de la computación, es un sistema de numeración en el que los números son representados utilizando únicamente dos cifras: 0 (cero) y 1 (uno).
¡Nuevo!!: Máquina de Turing y Sistema binario · Ver más »
Sistema combinacional
Se denomina sistema combinacional o lógica combinacional a todo sistema lógico en el que sus salidas son función exclusiva del valor de sus entradas en un momento dado, sin que intervengan en ningún caso estados anteriores de las entradas o de las salidas.
¡Nuevo!!: Máquina de Turing y Sistema combinacional · Ver más »
Sistema operativo
Un sistema operativo (SO) es el conjunto de programas de un sistema informático que gestiona los recursos del hardware y provee servicios a los programas de aplicación de software.
¡Nuevo!!: Máquina de Turing y Sistema operativo · Ver más »
Stephen Kleene
Stephen Cole Kleene (Hartford, Connecticut; 5 de enero de 1909-Madison, Wisconsin; 25 de enero de 1994) fue un lógico y matemático estadounidense.
¡Nuevo!!: Máquina de Turing y Stephen Kleene · Ver más »
Teoría de autómatas
La teoría de autómatas es una rama de la teoría de la computación que estudia las máquinas abstractas y los problemas que éstas son capaces de resolver.
¡Nuevo!!: Máquina de Turing y Teoría de autómatas · Ver más »
Teoría de la complejidad computacional
La teoría de la complejidad computacional o teoría de la complejidad informática es una rama de la teoría de la computación que se centra en la clasificación de los problemas computacionales de acuerdo con su dificultad inherente, y en la relación entre dichas clases de complejidad.
¡Nuevo!!: Máquina de Turing y Teoría de la complejidad computacional · Ver más »
Tesis de Church-Turing
En teoría de la computabilidad, la tesis de Church-Turing formula hipotéticamente la equivalencia entre los conceptos de función computable y máquina de Turing, que expresado en lenguaje corriente vendría a ser "todo algoritmo es equivalente a una máquina de Turing".
¡Nuevo!!: Máquina de Turing y Tesis de Church-Turing · Ver más »
Tupla
En matemáticas, una tupla o upla es una lista (secuencia) ordenada y finita de elementos.
¡Nuevo!!: Máquina de Turing y Tupla · Ver más »
Unidad central de procesamiento
La unidad central de procesamiento (conocida por las siglas CPU, del inglés Central Processing Unit) o procesador es un componente del hardware dentro de un ordenador, teléfonos inteligentes, y otros dispositivos programables.
¡Nuevo!!: Máquina de Turing y Unidad central de procesamiento · Ver más »
Wikcionario
El Wikcionario (contracción de wiki y diccionario; en inglés, Wiktionary) es un proyecto de diccionario libre de la Fundación Wikimedia, que contiene definiciones, traducciones, etimologías, sinónimos y pronunciaciones de palabras en múltiples idiomas.
¡Nuevo!!: Máquina de Turing y Wikcionario · Ver más »
Redirecciona aquí:
Computador universal, Maquina de Turing, Maquina de Turing determinista, Maquina universal de Turing, Máquina de Turing determinista.
