#teoría de la computación
Artículos etiquetados con «teoría de la computación».
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.