Auxiliary CFG-to-RE Union Construction

This file records an alternate union proof for context-free languages via unrestricted grammars.

Main declarations

• union_CF_grammar_same_language
• bonus_CF_of_CF_u_CF