Failure of the regular concatenation construction for a nonregular grammar (source code)

= Failure of the regular concatenation construction for a nonregular grammar

The regular construction relies on a regular derivation having exactly one terminal rule, at its end. In a general variable-based grammar several variables may each use terminal productions, so replacing every such production can introduce several copies of the second start variable.