where formula_14 is the "vocabulary", formula_15 is the kleene star operator, formula_16 indicates concatenation, formula_17 denotes set union, and formula_18 denotes set minus or set difference. if we do not allow the start symbol to occur in formula_8 (the word on the right side), we have to replace formula_20 by formula_21 on the right side of the cartesian product symbol.