Motivacin
El objetivo del presente anexo es clarificar algunos conceptos contenidos en el
captulo 6 y en las orientaciones al estudio presentadas en la gua de estudio de la
asignatura.
gua de estudio se diga que el teorema 6.14 se puede ilustrar con un ejemplo del
libro [1].
Propiedades de clausura
independientes del contexto
de
los
lenguajes
Referencias
[1] J.G. Brookshear. Teora de la Computacin: Lenguajes Formales, Autmatas
y Complejidad. Addison-Wesley Iberoamericana, 1993.
1
La clausura positiva es similar a la clausura vista hasta el momento slo que no incluye el
caso de cero repeticiones.
[2] H.E. Hopcroft, R. Motwani, and J.D. Ullman. Teora de Autmatas, lenguajes
y computacin. Pearson-Addison Wesley, tercera edicin edition, 2008.
[3] S. H. Rodger and T. W. Finley.
JFLAP: An Interactive
Formal Languages and Automata Package.
Jones &
Bartlett
Publishers.
http://www.cs.duke.edu/csed/jflap/,
2006.
http://www.cs.duke.edu/csed/jflap/.