1) Las expresiones regulares (ER) permiten representar lenguajes regulares mediante notación textual.
2) Un lenguaje es regular si y solo si es aceptado por algún autómata finito.
3) Existe un procedimiento para convertir sistemáticamente una ER en un autómata finito equivalente y viceversa.