Обобщением рассматриваемого способа задания перевода с помощью
двух грамматик является понятие СУ - схемы, которое может быть определено
следующим образом.
называется совокупность пяти объектов:
Vтвх - множество терминальных символов, используемых для построения входных цепочек, Vтвых - множество терминальных символов, используемых для построения выходных цепочек, <I>-начальный символ, <I> О Va, Q - множество правил вида <A> ╝ a ,b , где <A> принадлежит Va, a О(Va U Vтвх)*, b О (Va U Vтвых)* и нетерминалы, входящие в цепочку b образуют перестановку нетерминалов цепочки a . |
Г = {Va,Vтвх,R, I}, где R = {<A> ╝ a |<A> ╝ a ,b принадлежит Q}, называется входной грамматикой СУ-схемы Т, а грамматика Г'={Va,Vтвых,R',I}, где R' = {<A> ╝ b | <A> ╝ a ,b принадлежит Q} называется выходной грамматикой СУ-схемы Т. |
пару, которая может быть построена с применением следующих правил: 1) (<I>,<I>) - выводимая пара,
|
Последовательность выводимых пар обозначим как прежде:
(a <A>b ,a '<A>b ') ==>* (w m p ,w 'm 'p ').