Autómatas y teoría de lenguajes formales: Detrás de las expresiones regulares y la jerarquía de Chomsky
Categorías
70 páginas
Ciencias de la computación
El cálculo lambda (Lambda Calculus) y los orígenes de la programación funcional: De la teoría de Alonzo Church a Lisp y Haskell
El panorama completo del problema «P vs NP» y las clases de complejidad computacional: explicación del Problema del Milenio y su importancia en la programación
Máquina de Turing y teoría de la computabilidad: El experimento mental de Alan Turing y el problema de la parada
El juego de la vida de Conway: Un autómata celular donde surge la complejidad de la vida a partir de reglas simples
El Teorema de los Cuatro Colores (Four Color Theorem) - ¿Se puede colorear cualquier mapa con 4 colores?
El Problema de la Parada (Halting Problem): El programa definitivo que jamás se podrá crear
Teoremas de la incompletitud de Gödel: La demostración matemática de las "verdades que nunca podrán ser demostradas"
Algoritmo de detección de ciclos de Floyd (El algoritmo de la liebre y la tortuga)
Límites de la factorización de números primos y explicación de la notación Big O (O) de la complejidad temporal
