Формальные языки, грамматики и автоматы / Part415

part431 рТЕД.уФТБОЙГБ  уМЕД.УФТБОЙГБ   тБЪДЕМ   уПДЕТЦБОЙЕ 4.1.5.  фТБОУМЙТХАЭЙЕ ЗТБННБФЙЛЙ пУОПЧПК РПУФТПЕОЙС ух -УИЕН РЕТЕЧПДБ СЧМСЕФУС ЙУРПМШЪПЧБОЙЕ ДЧХИ ЗТБННБФЙЛ, У РПНПЭША ЛПФПТЩИ ПУХЭЕУФЧМСЕФУС УЙОИТПООЩК ЧЩЧПД ЧИПДОПК Й ЧЩИПДОПК ГЕРПЮЕЛ. рПУФТПЕОЙЕ ФТБОУМЙТХАЭЙИ ЗТБННБФЙЛ РТЕДРПМБЗБЕФ РТЙНЕОЕОЙЕ ДТХЗПЗП РПДИПДБ, ЛПФПТЩК РТЕДХУНБФТЙЧБЕФ ЙУРПМШЪПЧБОЙЕ ПДОПК ЗТБННБФЙЛЙ Й ТБЪТЕЫБЕФ ЧЛМАЮЕОЙЕ ЛБЛ ЧИПДОЩИ, ФБЛ Й ЧЩИПДОЩИ

УЙНЧПМПЧ Ч ЛБЦДПЕ РТБЧЙМП ФБЛПК ЗТБННБФЙЛЙ.  

пРТЕДЕМЕОЙЕ. фТБОУМЙТХАЭЕК ЗТБННБФЙЛПК (ф -ЗТБННБФЙЛПК) ОБЪЩЧБЕФУС  лу-ЗТБННБФЙЛБ, НОПЦЕУФЧП ФЕТНЙОБМШОЩИ  УЙНЧПМПЧ 

ЛПФПТПК ТБЪВЙФП ОБ НОПЦЕУФЧП ЧИПДОЩИ УЙНЧПМПЧ Й НОПЦЕУФЧП 

ЧЩИПДОЩИ  УЙНЧПМПЧ, ЛПФПТЩЕ ОБЪЩЧБАФУС ФБЛЦЕ  УЙНЧПМБНЙ ДЕКУФЧЙС.  рТЙНЕТПН ф - ЗТБННБФЙЛЙ НПЦЕФ УМХЦЙФШ УМЕДХАЭБС ЗТБННБФЙЛБ:

  з4.1:  VФЧИ = {a,b,c}, VФЧЩИ = {x,y,z}, Va = { I,A}              R = {<I> ® a<I>x<A>,

                      <I> ® z,

                      <A> ® <A><C>,

                      <A> ® by

                     }. юФПВЩ ОЕ ЧПЪОЙЛБМП РХФБОЙГЩ Ч УМХЮБЕ ЙУРПМШЪПЧБОЙС ПДЙОБЛПЧЩИ УЙНЧПМПЧ ЧП ЧИПДОПН Й ЧЩИПДОПН БМЖБЧЙФБИ, ХУМПЧЙНУС ЧЩДЕМСФШ ЧЩИПДОЩЕ УЙНЧПМЩ ЖЙЗХТОЩНЙ УЛПВЛБНЙ.

у ЙУРПМШЪПЧБОЙЕН ФБЛЙИ ПВПЪОБЮЕОЙК РТБЧЙМБ ЗТБННБФЙЛЙ зф4.1 ЙНЕАФ ЧЙД:

  R = {<I>®a<I>{x}<A>,

         <I>®{z},

        <A>®<A>c,

        <A>®b{y}

       }. чЩЧПД Ч ФТБОУМЙТХАЭЙИ ЗТБННБФЙЛБИ ЧЩРПМОСЕФУС РП ФЕН ЦЕ РТБЧЙМБН, ЮФП Й Ч ПВЩЮОЩИ лу - ЗТБННБФЙЛБИ. оБРТЙНЕТ, Ч ТБУУНБФТЙЧБЕНПК ЗТБННБФЙЛЕ ЙЪ ОБЮБМШОПЗП УЙНЧПМБ НПЦЕФ

ВЩФШ ЧЩЧЕДЕОБ УМЕДХАЭБС ГЕРПЮЛБ:

  <I> ==> a<I>{x}<A> ==> a{z}{x}<A> ==> a{z}{x]b{y}

лБЦДЩК УЙНЧПМ ЙМЙ ГЕРПЮЛБ УЙНЧПМПЧ, ЪБЛМАЮЕООЩЕ Ч ЖЙЗХТОЩЕ УЛПВЛЙ, ДПМЦОЩ ТБУУНБФТЙЧБФШУС ЛБЛ ЕДЙОЩК УЙНЧПМ, ОБЪЩЧБЕНЩК УЙНЧПМПН ДЕКУФЧЙС. ч ПВЭЕН УМХЮБЕ

ГЕРПЮЛЙ УЙНЧПМПЧ, ЪБЛМАЮЕООЩЕ Ч ЖЙЗХТОЩЕ УЛПВЛЙ, НПЦОП ЙОФЕТРТЕФЙТПЧБФШ ЛБЛ ЙНЕОБ РТПГЕДХТ, ЧЩРПМОЕОЙЕ ЛПФПТЩИ РТПЙЪЧПДЙФ ФТЕВХЕНЩК ЬЖЖЕЛФ ОБ ЧЩИПДЕ. рТЙ ПРЙУБОЙЙ

РЕТЕЧПДБ ПВЩЮОП РТЕДХУНБФТЙЧБАФ, ЮФП ЛБЦДЩК УЙНЧПМ ДЕКУФЧЙС РТЕДУФБЧМСЕФ УПВПК РТПГЕДХТХ, ПУХЭЕУФЧМСАЭХА РЕТЕДБЮХ УЙНЧПМБ, ЪБЛМАЮЕООПЗП Ч ЖЙЗХТОЩЕ УЛПВЛЙ, ОБ ЧЩИПД. лПЗДБ ОХЦОП РПДЮЕТЛОХФШ, ЮФП ЙУРПМШЪХЕФУС ФБЛБС ЙОФЕТРТЕФБГЙС УЙНЧПМПЧ ДЕКУФЧЙС, ФП ф - ЗТБННБФЙЛХ ОБЪЩЧБАФ ЗТБННБФЙЛПК ГЕРПЮОПЗП РЕТЕЧПДБ.

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