Este documento describe lenguajes regulares, expresiones regulares y gramáticas regulares. Explica que un lenguaje regular puede representarse mediante un autómata finito o una expresión regular. También define formalmente lenguajes regulares, expresiones regulares y gramáticas regulares, y discute la equivalencia entre autómatas finitos y expresiones regulares.