Concatenation grammar need not be regular
ID: concatenation-grammar-need-not-be-regular
Even if both input grammars are regular, the added production has two variables on its right-hand side and therefore need not be a regular production.
New to topics? Read the docs here!