2003, Александр Перекрестенко, Создание парсера для некоторых классов контекстно-зависимых языков для задач автоматического синтаксического анализа, http://www.dialog-21.ru/media/2679/perekrestenko.pdf
Опровержения запрещают вывод некоторых терминальных последовательностей. Так, в правиле V→α(β1|β2-χ-ψ|β3)γ блокируется вывод из β2 таких последовательностей терминальных символов, которые могут быть выведены из χ
либо из ψ. Знак "-" имеет в записи приоритет над "|".
Тут не говорится, как парсер должен эту операцию реализовывать (а между прочим - очень зря, поговорить там есть о чём). Мне, собственно, русское слово для названия операции понравилось.
Отредактировано Лис (2017-08-30 15:22:59)