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

 
    Определение. Схемой синтаксически управляемого перевода (СУ-схемой) 
                              называется совокупность пяти  объектов: 
     
                      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 ', то 
            (a g b , a 'g 'b ') является выводимой парой.

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

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