Concepto 1: Teoría de la computación
La teoría de la computación estudia los fundamentos matemáticos que definen lo que una máquina puede o no puede resolver.
Concepto 2: Alan Turing
Alan Turing introdujo la máquina universal, base de los modelos modernos de cómputo.
Concepto 3: Autómatas finitos
Un autómata finito es un modelo matemático con un número limitado de estados, usado para analizar lenguajes regulares.
Concepto 4: P vs NP
El problema P vs NP cuestiona si todo problema cuya solución puede verificarse rápidamente también puede resolverse rápidamente.
Concepto 5: Teorema de Church-Turing
El teorema de Church-Turing establece que cualquier problema computable puede resolverse con una máquina de Turing.
Concepto 6: Lenguajes formales
Un lenguaje formal es un conjunto de cadenas definido por reglas precisas de formación.
Concepto 7: Autómatas de pila
Los autómatas de pila permiten reconocer lenguajes libres de contexto gracias a su memoria tipo pila.
Concepto 8: Kurt Gödel
Kurt Gödel formuló los teoremas de incompletitud, que establecen límites al conocimiento matemático.
Concepto 9: Problemas NP-completos
Un problema NP-completo es uno de los más difíciles dentro de NP; resolver uno implica resolver todos.
Concepto 10: Teoría de autómatas
La teoría de autómatas estudia los modelos de cómputo y los lenguajes que pueden reconocer.
