Un lenguaje regular es un tipo de lenguaje formal que satisface las siguientes propiedades: