Conjunto de gramáticas que generan los lenguajes regulares. Los lenguajes generados por estas gramáticas pueden ser tratados por autómatas finitos. Los lenguajes regulares se utilizan para definir los patrones de búsqueda y la estructura léxica de los lenguajes de programación.