Изменения
Нет описания правки
# Предложите алгоритм проверки, что в грамматике выводится хотя бы одно слово.
# Предложите алгоритм нахождения слова минимальной длины, выводящегося в заданной грамматике.
# Грамматика называется леворекурсивной, если найдется такой нетерминал A, что за один или более шаг из A можно вывести строку, которая начинается с A ($A \Rightarrow^+ A\alpha$). # Предложите алгоритм, который проверяет, является ли грамматика леворекурсивной.
# Предложите алгоритм проверки, что в заданная КС грамматика в НФХ порождает конечное число слов.
# Предложите алгоритм, который, получает на вход КС грамматику в НФХ, про которую с помощью алгоритма из предыдущего задания выяснили, что она порождает конечное число слов. На выход необходимо выдать самое длинное слово, которое порождается этой КСГ.
