Пред.Страница След.страница   Раздел   Содержание
    Определение. Схемой синтаксически управляемого перевода (СУ-схемой)   называется совокупность пяти  объектов: 
     
                      T = {Va,Vтвх,Vтвых,Q,<I>}, 
    где Va - множество  нетерминальных символов, 
          Vтвх- множество терминальных символов,  используемых для построения 
                    входных цепочек, 
           Vтвых- множество терминальных символов,  используемых для построения 
                       выходных цепочек, 
           <I>-начальный символ, <I> О Va, 
             Q - множество правил вида   <A> ╝ a ,b, 
                     где <A> принадлежит Va, a О(Va U Vтвх)*,  b О (Va U Vтвых)* и 
                     нетерминалы,  входящие в цепочку b образуют перестановку 
                     нетерминалов цепочки a . 
    Определение. Если T = {Va,Vтвх,Vтвых,Q,I} СУ-схема,  то грамматика 
                                             Г = {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>) - выводимая пара, 
        2) если (a <A>b ,a '<A>b ') - выводимая пара и  выделенные нетерминалы соответствуют друг другу и в Q существует правило <A>╝g ,g ', то 
            (ag b , a 'g 'b ') является выводимой парой.

        Это записывается так:


Пред.Страница След.страница   Раздел   Содержание