Historia de la Teoría de Autómatas y Lenguajes Formales" by PABLO ANDRES CARRENO LENIZ https://padlet.com/pablocarreno1/6tjuku4f8of4u3a9 Esta cronología presenta los eventos más significativos en el desarrollo de la Teoría de Autómatas y Lenguajes Formales, desde sus fundamentos teóricos hasta sus aplicaciones modernas. Exploraremos conceptos clave, teoremas importantes y las contribuciones de figuras destacadas en el campo. en-us 2024-06-12 19:30:54 UTC 2024-06-12 21:38:57 UTC hello@padlet.com 1936: Alan Turing y la Máquina de Turing pablocarreno1 https://padlet.com/pablocarreno1/6tjuku4f8of4u3a9/wish/3026153608 Alan Turing publica su trabajo "On Computable Numbers, with an Application to the Entscheidungsproblem", introduciendo el concepto de la Máquina de Turing, un modelo matemático que define una máquina abstracta capaz de realizar cálculos.

]]> 2024-06-12 19:43:44 UTC https://padlet.com/pablocarreno1/6tjuku4f8of4u3a9/wish/3026153608 pablocarreno1 https://padlet.com/pablocarreno1/6tjuku4f8of4u3a9/wish/3026155405 diagramas de una Máquina de Turing.

https://ccia.ugr.es/~rosa/tutormc/teoria/MAQUINATURING.html

]]> 2024-06-12 19:47:15 UTC https://padlet.com/pablocarreno1/6tjuku4f8of4u3a9/wish/3026155405 1943: Teoría de Autómatas Finito por Warren McCulloch y Walter Pitts pablocarreno1 https://padlet.com/pablocarreno1/6tjuku4f8of4u3a9/wish/3026159105 McCulloch y Pitts publican "A Logical Calculus of Ideas Immanent in Nervous Activity", describiendo redes neuronales y estableciendo bases para los autómatas finitos, un modelo simple de computación.

]]> 2024-06-12 19:54:24 UTC https://padlet.com/pablocarreno1/6tjuku4f8of4u3a9/wish/3026159105 1956: Creación del Autómata Celular por John von Neumann pablocarreno1 https://padlet.com/pablocarreno1/6tjuku4f8of4u3a9/wish/3026178573 John von Neumann introduce el concepto de autómatas celulares en su trabajo sobre auto-reproducción de sistemas, explorando cómo estructuras complejas pueden emerger de reglas simples.

]]> 2024-06-12 20:36:10 UTC https://padlet.com/pablocarreno1/6tjuku4f8of4u3a9/wish/3026178573 1959: Formalización de los Lenguajes Formales por Noam Chomsky pablocarreno1 https://padlet.com/pablocarreno1/6tjuku4f8of4u3a9/wish/3026181885 Noam Chomsky publica su teoría de los lenguajes formales y gramáticas, clasificando los lenguajes en una jerarquía que ahora se conoce como la Jerarquía de Chomsky.

]]> 2024-06-12 20:40:42 UTC https://padlet.com/pablocarreno1/6tjuku4f8of4u3a9/wish/3026181885 1967: Algoritmo CYK para Análisis Sintáctico pablocarreno1 https://padlet.com/pablocarreno1/6tjuku4f8of4u3a9/wish/3026193264 John Cocke, Daniel Younger y Tadeusz Kasami desarrollan el algoritmo CYK, un método eficiente para analizar y reconocer lenguajes contextuales.

]]> 2024-06-12 21:04:23 UTC https://padlet.com/pablocarreno1/6tjuku4f8of4u3a9/wish/3026193264 1971: Teorema de Myhill-Nerode pablocarreno1 https://padlet.com/pablocarreno1/6tjuku4f8of4u3a9/wish/3026194601 John Myhill y H. Nerode presentan un teorema fundamental que caracteriza los lenguajes regulares mediante la relación de indistinguibilidad, proporcionando un método para minimizar autómatas finitos.

]]> 2024-06-12 21:07:10 UTC https://padlet.com/pablocarreno1/6tjuku4f8of4u3a9/wish/3026194601 1978: Introducción de la Complejidad de Clases P y NP pablocarreno1 https://padlet.com/pablocarreno1/6tjuku4f8of4u3a9/wish/3026196153 Stephen Cook y Leonid Levin presentan formalmente las clases de complejidad P y NP, sentando las bases para una gran cantidad de investigaciones en teoría de la complejidad computacional.

]]> 2024-06-12 21:10:33 UTC https://padlet.com/pablocarreno1/6tjuku4f8of4u3a9/wish/3026196153 1980s-1990s: Aplicaciones de la Teoría de Autómatas en Compiladores pablocarreno1 https://padlet.com/pablocarreno1/6tjuku4f8of4u3a9/wish/3026198093 Durante estas décadas, los principios de la teoría de autómatas y lenguajes formales se aplican extensamente en el desarrollo de compiladores, optimizando la traducción de lenguajes de programación.

]]> 2024-06-12 21:14:51 UTC https://padlet.com/pablocarreno1/6tjuku4f8of4u3a9/wish/3026198093 2000s: Autómatas en Verificación Formal y Model Checking pablocarreno1 https://padlet.com/pablocarreno1/6tjuku4f8of4u3a9/wish/3026199484 La teoría de autómatas se utiliza en verificación formal y model checking para asegurar la corrección de sistemas complejos, como protocolos de comunicación y hardware.

]]> 2024-06-12 21:17:34 UTC https://padlet.com/pablocarreno1/6tjuku4f8of4u3a9/wish/3026199484 2020: Avances Recientes y Aplicaciones Modernas pablocarreno1 https://padlet.com/pablocarreno1/6tjuku4f8of4u3a9/wish/3026202402 Investigación actual en teoría de autómatas y lenguajes formales, incluyendo su aplicación en inteligencia artificial, biología computacional y más.

]]> 2024-06-12 21:24:27 UTC https://padlet.com/pablocarreno1/6tjuku4f8of4u3a9/wish/3026202402 que aprendí ? pablocarreno1 https://padlet.com/pablocarreno1/6tjuku4f8of4u3a9/wish/3026205137

Al estudiar la Teoría de Autómatas y Lenguajes Formales, aprendí lo siguiente:

modelo abstracto para la computación.

representar sistemas con un número finito de estados.

- Descubrí cómo se definen y reconocen patrones dentro de datos, cruciales para lenguajes de programación y compiladores.

Conocí algoritmos como CYK, que permiten analizar y validar estructuras de texto según reglas sintácticas.

Estudié teoremas para minimización de autómatas, mejorando la eficiencia de sistemas.

Teoría de la Complejidad

]]> 2024-06-12 21:31:38 UTC https://padlet.com/pablocarreno1/6tjuku4f8of4u3a9/wish/3026205137 Historia de la Teoría de Autómatas y Lenguajes Formales pablocarreno1 https://padlet.com/pablocarreno1/6tjuku4f8of4u3a9/wish/3026207773 escucha la version de audio , creada con fliki

https://app.fliki.ai/files/6669fec4eaa58ff59b705b3b

]]> 2024-06-12 21:38:57 UTC https://padlet.com/pablocarreno1/6tjuku4f8of4u3a9/wish/3026207773