Starting with the basic nonterminals, this method repeats the split-merge (SM) cycle to increase the complexity of grammars.
it splits every symbol into two, and then re-merges some new subcategories based on the likelihood computation.