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