Имеем формальную грамматику, в которой над цепочками символов возможны операции конкатенации, вставки, замены и итерации — {}. Пусть, в языке, созданном на основе данной грамматики имеется некое множество цепочек, восприняв которые, анализатор языка весьма обижается. Однако цепочку можно легко вывести из данного множества, заменив один или несколько ее символов на какой-нибудь вражеский нетерминал (например #). Таким образом, цепочка “б#й”, полученная из весьма обидной (сделаем допущение) для анализатора цепочки “буй”, таковой не считается.
Вопрос: как отреагирует анализатор на следующие цепочки?
