Este reporte contiene información introductoria a la teoría de los lenguajes formales, autómatas y algebra de eventos regulares. Temas que fuerón mencionados en algunas de las clases del verano.
La sección
2 introduce los conceptos más básicos de la teoría de lenguajes formales, los cuales son necesarios para entender la sección
3, ya que en todo momento se hace referencia a operaciones sobre lenguajes, que posteriormente son llamados eventos.
La última sección es un resumen de la demostración propuesta por John H. Conway [
JC71] para el torema de Kleene acerca de la representabilidad de eventos. Durante la cual desarrolló un metódo para pasar de máquinas de estados finitos a expresiones regulares.
