Failure of the regular concatenation construction for a nonregular grammar

ID: 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.

New to topics? Read the docs here!