Формальная грамматика
Метод был ранее определен как алфавитный оператор с конечной системой правил преобразования. Для записи входных, промежуточные и выходных слов употребляется некий алфавит. Каким-то образом должны быть описаны и правила преобразования.…