Un lenguaje regular sobre un alfabeto formula_1 dado se define recursivamente como: