Я застрял в решении этого упражнения и не знаю, с чего начать:
Язык B не зависит от контекста; язык C является подмножеством B: свободен ли C от контекста? Докажите или опровергните.
Я пробовал использовать свойства закрытия:
C = B - ((A * - C) ∩ B) [A * - множество всех слов в алфавите A]
и учитывая, что языки CF не закрываются при дополнении и пересечении, я бы сказал, что C не обязательно должен быть CF. Но я не уверен, что это хорошее доказательство.
Кто-нибудь может помочь?