1
Доказательство того, что не является (со) рекурсивно перечислимым
Я хотел бы использовать вашу помощь в решении следующей проблемы: L={⟨M⟩∣L(M) is context-free}L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \} . Покажите, что .L∉RE∪CoREL∉RE∪CoREL \notin RE \cup CoRE Я знаю, что для доказательства достаточно найти язык такой, что и показать, что существует сокращение от до .L ′ L ′ …