Скачиваний:
6
Добавлен:
01.05.2014
Размер:
9.42 Кб
Скачать

part422 рТЕД.уФТБОЙГБ уМЕД.УФТБОЙГБ   тБЪДЕМ   уПДЕТЦБОЙЕ

4.1.1.  уЙОФБЛУЙЮЕУЛЙ  ХРТБЧМСЕНЩЕ  УИЕНЩ. пВПВЭЕОЙЕН ТБУУНБФТЙЧБЕНПЗП УРПУПВБ ЪБДБОЙС РЕТЕЧПДБ  У РПНПЭША ДЧХИ ЗТБННБФЙЛ СЧМСЕФУС РПОСФЙЕ ух - УИЕНЩ, ЛПФПТПЕ НПЦЕФ ВЩФШ ПРТЕДЕМЕОП УМЕДХАЭЙН ПВТБЪПН. 

  пРТЕДЕМЕОЙЕ. уИЕНПК УЙОФБЛУЙЮЕУЛЙ ХРТБЧМСЕНПЗП РЕТЕЧПДБ (ух-УИЕНПК)   ОБЪЩЧБЕФУС УПЧПЛХРОПУФШ РСФЙ  ПВЯЕЛФПЧ: 

                  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 ') СЧМСЕФУС ЧЩЧПДЙНПК РБТПК.         ьФП ЪБРЙУЩЧБЕФУС ФБЛ:                     (a <A>b ,a '<A>b ') ==> (ag b ,a 'g 'b '). рПУМЕДПЧБФЕМШОПУФШ ЧЩЧПДЙНЩИ РБТ ПВПЪОБЮЙН ЛБЛ РТЕЦДЕ:                         (a <A>b ,a '<A>b ') ==>*  (wm p ,w 'm 'p ').

рТЕД.уФТБОЙГБ уМЕД.УФТБОЙГБ   тБЪДЕМ   уПДЕТЦБОЙЕ

Соседние файлы в папке Формальные языки, грамматики и автоматы