Цепочки символов, получаемые путем вывода в Т - грамматике, содержат как символы входного алфавита, так и символы выходного алфавита - символы действия. Каждую такую цепочку можно представить как пару, состоящую из входной и выходной цепочки.

Определение. Если из цепочки символов α , полученной путем вывода в заданной Т - грамматике, исключить все выходные символы, то получится цепочка α1, называе-

мая входной цепочкой. Если из цепочки α исключить все символы входного алфавита,

то получится цепочка α2, называемая выходной цепочкой, порождаемой Т - граммати-

кой. Цепочки α1 и α2 образуют пару, выводимую в заданной Т - грамматике.

4.8. Построение транслирующей грамматики по СУ - схеме

Определение. Множество пар цепочек, выводимых с помощью правил заданной Т - грамматики, образуют перевод, определяемый этой грамматикой.

Один и тот же перевод может быть задан как с помощью СУ - схемы, так и с помощью Т - грамматики. Эти два способа задания являются равносильными и они допускают взаимные преобразования друг в друга.

Для каждой простой СУ-схемы Т можно построить транслирующую грамматику ГТ такую, что переводы, порождаемые СУ - схемой и Т - грамматикой, совпадают.

C(T) = C(ГТ)

Пусть, что задана СУ – схема

Т= {Vтвх, Vтвых, VA, Q, <I>}

итребуется построить Т - грамматику

ГT = {V'твх, V'твых, V'A, R, <I>}.

Положим

Vтвх = Vтвх', Vтвых = Vтвх', VA = VA'.

Рассмотрим преобразование правила из множества Q СУ - схемы A → α , β, где

α= xо<Aо>х1<А1> ... xn<An> и β = yо<Aо>у1<A1> ... уn<An>,

ипоставим в соответствие этому правилу правило грамматики в виде:

А → xо{уо}<Aо>х1{у1}<A1>...xn{yn}<An>.

Это можно сделать всегда, поскольку СУ - схема - простая и в каждом ее правиле используются одни и те же нетерминалы в одном и том же порядке. Рассмотренное по-

45