Формальные языки


Перевод определяемый преобразователем - часть 2



 

Утверждение.   
                        Для каждой простой СУ-схемы перевода Т = {Va, Vтвх, Vтвых, Q, I} можно  
                        построить такой Мп магазинный преобразователь, что D(Т) = D(Мп). 

    Приведенное утверждение говорит о возможности построения преобразователя, но не гарантирует получение детерминированного преобразователя, который может быть получен при выполнении следующих условий:  
 

Утверждение.  
                            Для каждой простой СУ - схемы перевода Т, входная грамматика которой  
                            принадлежит классу LL(1) - грамматик, можно построить такой  
                           

детерминированный магазинный  преобразователь

Мп, что перевод, 
                            определяемый преобразователем, совпадает  с переводом, задаваемым 
                            СУ - схемой Т. 

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

 




- Начало -  - Назад -  - Вперед -