7 relaciones: Augustów, Estados Unidos, Máquina de Post, Máquina de Turing, Nueva York, Polonia, Sistema formal.
Augustów
Augustów;, es una ciudad en el noreste de Polonia con 30.802 habitantes (2011).
¡Nuevo!!: Emil Leon Post y Augustów · Ver más »
Estados Unidos
«EUA», «US», «USA» y «United States» redirigen aquí.
¡Nuevo!!: Emil Leon Post y Estados Unidos · 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!!: Emil Leon Post y Máquina de Post · 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!!: Emil Leon Post y Máquina de Turing · Ver más »
Nueva York
Nueva York (New York), oficialmente New York City o por las siglas NYC, es la ciudad más poblada de los Estados Unidos y una de las más pobladas del mundo, con un área urbana de 24 millones de habitantes.
¡Nuevo!!: Emil Leon Post y Nueva York · Ver más »
Polonia
Polonia, oficialmente la República de Polonia (en polaco), es un país de Europa Central, uno de los veintisiete Estados soberanos que forman la Unión Europea, constituido en Estado democrático de derecho y cuya forma de gobierno es la república parlamentaria.
¡Nuevo!!: Emil Leon Post y Polonia · Ver más »
Sistema formal
Un sistema formal o sistema lógico es un sistema abstracto compuesto por un lenguaje formal, axiomas, reglas de inferencia y a veces una semántica formal, que se utiliza para deducir o demostrar teoremas y dar una definición rigurosa del concepto de demostración.
¡Nuevo!!: Emil Leon Post y Sistema formal · Ver más »