En teoría de la computación y lingüística computacional, un lenguaje regular es un lenguaje formal que puede ser definido por una expresión regular, generado por una gramática regular, y reconocido por un autómata finito.
Los lenguajes regulares son los lenguajes formales más sencillos (tipo 3) en la Jerarquía de Chomsky.