Introducción

Aquellos que esten interesados en la teoría de los lenguajes formales y autómatas, encontrarán una explicación breve acerca de los conceptos básicos de las mismas. En las secciones iniciales se tratan los aspectos fundamentales de dichas teorías, pasando después a explicar brevemente las características de algunos tipos básicos de autómata y sus relaciones con los diferentes tipos de lenguajes y sus respectivas gramáticas.
A partir de la sección 3 se examinan conceptos relacionados con el álgebra de eventos regulares. Para una mejor comprensión de el álgebra regular, se analizan primero, algunos conceptos de la teoría de los experimentos de Moore, ésto con la finalidad de acostumbrarse a la conceptualización de Moore acerca de una máquina de estados finitos. A partir de la sección 3.2 podemos aventurarnos en el tema del álgebra regular, la cual ha sido mayormente examinada por John H. Conway en [JC71, cap. 3], tomando como punto de partida la teoría de eventos regulares, definida por Stephen Cole Kleene.