Sea "L" un lenguaje definido sobre un alfabeto finito, formula_3.