(Giró, Vásquez, Meloni, & Constable, 2015)

1. Síntesis

Para la realización de este libro se unieron 4 personas con conocimientos en computación; ellos inicialmente estudiaron ingeniería, pero durante este

proceso fueron recolectando información de sus clases y decidieron un día, al lograr su meta de ser profesionales plasmar los conocimientos que

adquirieron con el fin de ser ejemplo para las nuevas generaciones de estudiantes e incentivar a estos a crear o diseñar software para la resolución de

problemas.

El libro en un comienzo hace énfasis en las maquinas, habla sobre sus orígenes, precursores y adicional se plantea que la mayoría de estas, necesitan del

contacto con el medio exterior, es decir, siempre hay una relación maquina hombre.

El libro hace una descripción detallada de los lenguajes, gramáticas como preámbulo para exponer todo lo relacionado con las maquinas abstractas: los

tipos, usos y aplicaciones en la vida cotidiana.

(Gauidioso Vazquez & García Saiz, 2018)

2. Los autores crearon el libro para facilitar el estudio de la teoría de autómatas aquellas personas que por tiempo no pueden realizar sus estudios de

manera presencial, el primer lugar se hace un enfoque a la teoría de conjuntos, así como en conceptos propios del tema de las máquinas, en segunda
estancia se habla de los autómatas finitos: su definición, los elementos y su clasificación. Se destaca mucho el tema de lenguajes formales y por ultimo se

hace un estudio de la maquina de Turing.

Lo bueno de este libro es que después de observar y entender su contenido, plantea ejercicios sobre los temas tratados; esto ayuda a los estudiantes a

retarse y evaluar lo aprendido.

3. (Vázquez, Constable, Meloni, Jornet, & Arcidiácono, 2018)

Los autores con este articulo buscan que en la mayoría de carreras que se relacionan con el área de sistemas, los estudiantes además de tener claros los

conceptos teóricos también les sea fácil implementarlos en la vida cotidiana; muchas personas reciben horas extensas de clases teóricas pero las clases de

laboratorio son mínimas, por eso cuando se gradúan y deben defenderse en el mundo laboral les es complicado. Con este artículo se busca incentivar a los

jóvenes a investigar, crear nuevos proyectos y aplicar todos los conocimientos adquiridos.

Aclarado lo anterior, el artículo hace un resumen sobre los precursores, la definición, programación y los algoritmos usados por los compiladores.

Se plantea el hecho de corregir varias cosas en cuanto a la teoría tradicional de los autómatas, por ejemplo: redefinir el concepto de autómata finito con el

fin de quien lo estudie entienda con claridad todo lo que el tema propone.
1.

1906-1978 Kurt
Godel 1916-2001 Elwood
• Area aplicación: Shannon
1862-1943 David Matemática. 1960 Rabin y Scott
Hilbert • Area computación: • Area aplicación: Ingeniería
Circuitos digitales eléctrica, comunicación • Area aplicación:
• Area aplicación: • Aportes: Toda teoría • Area computación: Teoría Informática
Matemática matemática tiene de la comunicación, • Area computación:
1640 Blaise Pascal • Area computación: afirmaciones cuya verdad diseño de ordenadores, automáta de estados
Fórmula lógica es falsa o o falsedad no se pueden construcción de finitos
• Area: Matematica, verdaddera demostrar. Implementó compiladores • Aportes: modelo de
ingenieria mecanica. • Aportes:23 problemas centrales telefónicas con • Aportes:teoría de las compuador con una
• Aportes: primera máquina que necesitaban de contactores, reles y máquinas secuenciales y cantidad finita de
sumadora investigación matemática. temporizadores. autómatas finitos. memoria.

1848-1925 Gottlob 1872-1970 Bertrand 1912-1953 Alan 1928 Noam

Frege Russell Turing Chomsky
• Area • Area aplicación: • Area aplicación: • Area de aplicación:
aplicación:Matemática Matemática Matemática y Lenguaje y gramática
• Area computación: • Area computación: computabilidad. • Area de computación:
• Aportes: lógica simbólica, • Aportes: eL conjunto de • Area computación: Origen lenguajes de
concepto de predicado y todos los conjuntos que informática teórica. programación
cuantificadores universal y no pertenecen a si mismos • Aportes: Máquina de • Aportes: propone tres
existencial. no pueden pertenecer ni Turing que formalizó el modelos para la
dejar a pertenecer a si concepto de algoritmo y descripción de los
mismo. precursor máquina de lenguajes y desarrolla el
calcular autómatas. concepto de gramática
libre del contexto.

(Moral)
Bibliografía
Gauidioso Vazquez, E., & García Saiz, T. (2018). Introducción a la teoría de autómatas,gramáticas y lenguajes. Madrid, España: Ramón Areces.

Giró, J., Vásquez, J., Meloni, B., & Constable, L. (2015). Lenguajes formales y teoría de autómatas. Buenos Aires, Argentina: Ink.

Moral, S. (s.f.). Teoría de autómatas y lenguajes formales. Granada, España.

Vázquez, J. C., Constable, L. E., Meloni, B. E., Jornet, W. R., & Arcidiácono, M. J. (2018). Propuesta de Cambio en la Teoría de Autómatas para Mejorar su

Enseñanza en Ingeniería. Universidad Tecnológica Nacional .