Союз в контекстно-свободных языках

Чтобы показать, что конечное объединение контекстно-свободных языков является контекстно-свободным, вам просто нужно построить контекстно-свободную грамматику для языка объединения, точно так же, как вы сделали бы, чтобы доказать, что объединение двух контекстно-свободных языков является контекстно-свободным. .

Если G1,...,GN являются контекстно-свободными грамматиками для N имеющихся у вас контекстно-свободных языков, переименуйте все символы в каждой грамматике (добавьте нижний индекс, чтобы избежать конфликтов имен символов), а затем создайте новую грамматику G со всеми произведениями из N грамматик плюс произведение:

S -> S1 | S2 | ... | SN

Эта грамматика генерирует союзный язык и не зависит от контекста.