Note that the item and deduction step sets of an MG k parser are always supersets of those of WG k .
the steps for WG k are those obtained from strings that do not contain abab or baba as a scattered substring.