Привет, спасибо за разбор! Такой вопрос: правило в последнем примере вида CB -> C разве не не удовлетворяет условиям длина левой части не больше правой?
Написал веб-приложение, которое построит вам цепочки и скажет тип грамматики. Могут быть ошибки, но в таком случае Вы даже цепочек не увидите, а так работает прекрасно. Пустой символ - отсутствие любого ввода в специальное поле. stufdeveloper*.*ru/chains (уберите звездочки)
Ошибка в описании языка 2го типа. Должно быть L(G)={(ac)n(cb)n | n>0 } ,а не L(G)={(aⓑ)n(cb)n | n>0 } Да и в 3ем типе, тоже. Урок не про это, но всё равно, как справочный материал может сбить с толку
Кто вообще это понимает? Терминальный символ, не терминальный символ. При чем тут грамматика? Как вообще рамер буквы определяет, что символ был удален? Зачем делать такие "разборы", если все-равно невозможно понять - о чем идет речь? Где определения того, о чем Вы говорите? Почему нет никаких объяснений? Для кого Вы вообще это выложили? Дизлайк.
Написано: альфа принадлежит объединению множеств терминалов и нетерминалов, читает: альфа равно пересечению ... Не отличает пересечение и объединение, и смысл замыкания Клини тоже не понимает.