Заседнал съм в решаването на това упражнение и не знам откъде да започна:
Език B е без контекст; език C е подмножество на B: C свободен ли е от контекст? Докажете или опровергайте.
Опитах се да използвам свойства на затваряне:
C = B - ( (A* - C) ∩ B ) [A* е множеството от всички думи в азбуката A]
и като се има предвид, че CF езиците не са затворени при допълване и пресичане, бих казал, че C не е принуден да бъде CF. Но не съм сигурен, че това е добро доказателство.
Може ли някой да помогне?