#teoría de la computación
Artículos etiquetados con «teoría de la computación».
Premio Gödel: historia, criterios y ganadores en teoría de la computación
El Premio Gödel, otorgado por EATCS y ACM SIGACT desde 1993, reconoce artículos destacados en teoría de la computación con una dotación de 5...
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.
Autómata finito: definición, historia y aplicaciones en lingüística
Modelo computacional para reconocer lenguajes regulares. Historia desde Márkov hasta Unix, tipos deterministas y no deterministas, y aplicac...
Autómata con pila: definición formal, funcionamiento y aplicaciones en lingüística
Modelo matemático que reconoce lenguajes libres de contexto mediante memoria auxiliar tipo pila.
Lema del bombeo
Definición y aplicación del lema del bombeo en la teoría de lenguajes formales y autómatas.
Cálculo lambda: fundamentos, historia y aplicaciones en programación
El cálculo lambda es un sistema formal en lógica matemática diseñado para investigar la definición de función, la noción de aplicación de fu...
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.