¿Dos tipos de lenguajes?

Se reflexiona sobre porque existen dos tipos de lenguajes

Ambigüedad

Se presenta el concepto de ambigüedad

ER como gramática no ambigua

Ejemplo de gramática no ambigua para el lenguaje de las Expresiones Regulares

Lenguaje ambiguo

Ejemplo de un lenguaje ambiguo

Lenguajes regulares y GLC

Se presenta la relación entre las GLC y los Lenguajes Regulares

AF → GLC

Se presenta como se transforma un AF a una GLC

Gramáticas Regulares

Se presentan las gramáticas regulares

Autómatas de pila

Se presenta a los autómatas de pila

Enlaces para explorar #

• Reverse Polish Notation and The Stack - Computerphile. (2014, 21 mar)
• The Stack: Last in, First out. (2017, 1 may)
• Pushdown Automata (Introduction). (2017, 22 jul)
• Autómata a pila: definición formal. (2017, 22 jun ) [Video]
• Autómata con pila. (s/f) [Wikipedia]
• Gramática regular. (s/f) [Wikipedia]
• Ambigüedad. (s/f) [Wikipedia]
• Ambigüedad. (s/f) [Wikiquote]
• Category:Ambiguity. (s/f) [Wikimedia]

Lecturas recomendadas #

• Bar-Hillel, Y., Perles, M., & Shamir, E. (1961). On formal properties of simple phrase structure grammars. Sprachtypologie und Universalienforschung, 14, 143-172. [Liga]
• Hopcroft, J. E., Motwani, R., Ullman, J. D. Introducción a la teoría de autómatas, lenguajes y computación 2a. edición Madrid Pearson Education, 2002. Capítulo 4, 5 y 6 [ BiDi/UNAM]
• Carrasco Jiménez, R. C.; Rubio, J. C.; Zubizarreta, M. L. F. Capítulo 1: Lenguajes y computadores. Teoría de Lenguajes, Gramáticas y Autómatas Para Informáticos, [s. l.], p. 11–22, 2000. Capítulo 6 y 7 [ BiDi/UNAM] [ Liga]
• Giró J, Vazquez J, Meloni B, Constable L. Lenguajes Formales y Teoría de Autómatas. Alfaomega. Capítulo 5 [ BiDi/UNAM] [ Liga]
• Hernández Rodríguez LA, Jaramillo Valbuena S, Cardona Torres SA. Practique La Teoría de Autómatas y Lenguajes Formales. Ediciones Elizcom; 2010. Capítulo 5 [ BiDi/UNAM] [ Liga]
• Cantú Treviño, T. G., & Mendoza García, M. G. (2015). Teoría de autómatas : un enfoque práctico (Primera edición). Pearson Educación de México. Capítulo 6 [ BiDi/UNAM]
• Brena, R. (2013). Autómatas y lenguajes. McGraw-Hill Interamericana. Capítulo 5 [ BiDi/UNAM]
• Crespi Reghizzi S, Breveglieri L, Morzenti A. Formal Languages and Compilation. Second edition. Springer; 2013. Chapter 4 [ BiDi/UNAM] [ Liga]