#Máquina de Turing
Artículos etiquetados con «Máquina de Turing».
Lenguaje recursivo
Definición, propiedades y clasificación de los lenguajes recursivos en teoría de la computación y lenguajes formales.
Lenguaje recursivamente enumerable
Definición, propiedades de cierre y clasificación en la Jerarquía de Chomsky de los lenguajes tipo-0.
Informática teórica
Rama de la ciencia de la computación que estudia los fundamentos matemáticos y lógicos de la información y los procesos computacionales.