Изменения

# ХМУ 9.4.2

# ХМУ 9.4.3

# Пусть $a = (a_1, a_2, ..., a_n)$ - список слов над алфавитом Sigma. Обозначим как La множество слов над алфавитом Sigma \union {[1], [2], ..., [n]}, которые порождаются грамматикой S -> ai S [i], S -> eps. Докажите, что дополнения языку La является КС-языком. Указание: постройте соответствующий МП-автомат

# Докажите, что проблема пустоты пересечения языков двух КС-грамматик неразрешима