Sea formula_1 un lenguaje regular.