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