В настоящее время я готовлюсь к тесту по дискретной математике, в котором мы изучаем иерархию Хомского и тип автоматов, распознающих каждый уровень иерархии. Меня учат, что большинство компьютерных языков попадают в «уровни 2 и 1» иерархии, но не...

Мне нужно написать функцию, которая проверяет, допустимы ли входные строки для данной спецификации языка. Я думал, что это будет стандартная CFG -> Нормальная форма Хомского, затем синтаксический анализ CYK, но одно из правил языка предотвращает это....

Единственный язык, о котором я не могу думать, который не принадлежит к классу RE, - это диагональный язык, но, к сожалению, его дополнительный язык рекурсивно перечислим. У кого-нибудь есть какие-либо идеи?