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


 
    Определение. Множество пар цепочек, выводимых с  помощью правил заданной Т - 
                            грамматики,  образуют перевод, определяемый этой 
                            грамматикой. 
   
    Утверждение. Для каждой простой СУ-схемы Т  можно построить транслирующую 
                              грамматику ГТ такую, что переводы,   порождаемые СУ - схемой и 
                              Т - грамматикой, совпадают. 
     
                                       C(T) = C(ГТ
                                                        Г~ = {V'твх,V'твых,V'a,R,I}.

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