4.1.6. Входная и
выходная грамматики заданной транслирующей граммагики.
Из каждой Т - грамматики можно получить две обычных грамматики, одна
из которых позволяет строить входные цепочки, а другая - выходные. Правила
построения таких грамматик можно сформулировать следующим образом.
Определение. Если из правил транслирующей грамматики
ГТ удалить выходные символы, то получим входную грамматику
ГТвх для заданной грамматики. Если из правил заданной
транслирующей грамматики удалить входные символы, то
получим выходную грамматику ГТвых заданной транслирующей
грамматики ГТ. Язык, порождаемый грамматикой ГТвх,
называется входным языком заданной транслирующей грамматики,
а язык, порождаемый ГТвых , называется выходным
языком заданной транслирующей грамматики ГТ.
Цепочки символов, получаемые путем вывода в Т - грамматике, содержат
как символы входного алфавита, так и символы выходного алфавита - символы
действия. Каждую такую цепочку можно представить как пару, состоящую из
входной и выходной цепочки.
Определение. Если из цепочки символов a
, полученной путем вывода в заданной Т -грамматике , исключим все
выходные символы, то получим цепочку a1,
которую назовем входной цепочкой. Если же из цепочки
a
исключим все символы входного алфавита, то в результате
получим цепочку a2, которую
назовем выходной цепочкой, порождаемой Т - грамматикой . Цепочки
a1 и a2
образуют пару, выводимую в заданной Т - грамматике.