Формальные языки, грамматики и автоматы1 / Konspekt / SECTION4 / part425

part417 рТЕД.уФТБОЙГБ  уМЕД.УФТБОЙГБ   тБЪДЕМ   уПДЕТЦБОЙЕ 4.2.5.  рТЙНЕТЩ  РПУФЖЙЛУОЩИ  РПМШУЛЙИ ЪБРЙУЕК. рПМШУЛЙЕ РПУФЖЙЛУОЩЕ ЪБРЙУЙ ЮБУФП ЙУРПМШЪХАФ Ч ЛБЮЕУФЧЕ РТПНЕЦХФПЮОПЗП РТЕДУФБЧМЕОЙС ПРЕТБФПТПЧ СЪЩЛПЧ РТПЗТБННБЙТПЧБОЙС ОБ ЬФБРЕ УЙОФБЛУЙЮЕУЛПЗП БОБМЙЪБ РТЙ ЛПНРЙМСГЙЙ. ч ЛБЮЕУФЧЕ РТЙНЕТПЧ ФБЛПЗП РТЙНЕОЕОЙС РТЙЧЕДЕН РПУФЖЙЛУОЩЕ ЧЩТБЦЕОЙС ДМС ОЕЛПФПТЩИ

ПРЕТБФПТПЧ рБУЛБМС.

ъОБЛ РТЙУЧБЙЧБОЙС НПЦОП ТБУУНБФТЙЧБФШ ЛБЛ УЙНЧПМ ПРЕТБГЙЙ, РПЬФПНХ ПРЕТБФПТ РТЙУЧБЙЧБОЙС: <I> := <E>, ЗДЕ I-ЙДЕОФЙЖЙЛБФПТ, Б е- БТЙЖНЕФЙЮЕУЛПЕ ЧЩТБЦЕОЙЕ, НПЦОП ЪБРЙУБФШ Ч ЧЙДЕ

РПУФЖЙЛУОПЗП ЧЩТБЦЕОЙС <I><E>':= , ЗДЕ  E'- РПУФЖЙЛУОБС ЪБРЙУШ ЧЩТБЦЕОЙС е .

дМС ПРЙУБОЙС РПУФТПЕОЙС ЪБРЙУЙ ЛПОУФТХЛГЙЙ У ХУМПЧЙЕН ФТЕВХЕФУС ЧЧЕДЕОЙЕ ОПЧЩИ ЬМЕНЕОФПЧ: НЕФЛЙ Й ПРЕТБФПТПЧ ХУМПЧОПЗП Й ВЕЪХУМПЧОПЗП РЕТЕИПДПЧ.

хУМПЧЙНУС ДМС ПВПЪОБЮЕОЙС НЕФПЛ Ч РПУФЖЙЛУОЩИ ЧЩТБЦЕОЙСИ ЙУРПМШЪПЧБФШ ЙДЕОФЙЖЙЛБФПТЩ н,н1,н2,...,Б ДМС ПВПЪОБЮЕОЙС РЕТЕИПДПЧ ЧПУРПМШЪХЕНУС ПРЕТБФПТБНЙ хУМПЧОЩК рЕТЕИПД

РП ЪОБЮЕОЙА мПЦШ (хрм) Й вЕЪХУМПЧОЩК рЕТЕИПД (вр). пРЕТБОДБНЙ ЬФЙИ ПРЕТБФПТПЧ СЧМСАФУС НЕФЛЙ.

рЕТЧЩК ПРЕТБФПТ ЧЩРПМОСЕФ РЕТЕИПД Л НЕФЛЕ, ЕУМЙ ЪОБЮЕОЙЕ ЧЩТБЦЕОЙС, РТЕДЫЕУФЧХАЭЕЗП ЬФПНХ ПРЕТБФПТХ, МПЦОП. еУМЙ ЦЕ ЪОБЮЕОЙЕ ЧЩТБЦЕОЙС, РТЕДЫЕУФЧХАЭЕЗП ПРЕТБФПТХ хрм, ЙУФЙООП, ФП ПРЕТБФПТ РТПРХУЛБЕФУС Й ЧЩРПМОСЕФУС ПРЕТБФПТ, ТБУРПМПЦЕООЩК ОЕРПУТЕДУФЧЕООП ЪБ хрм.

тЕЪХМШФБФПН ПРЕТБФПТБ ВЕЪХУМПЧОПЗП РЕТЕИПДБ У НЕФЛПК н СЧМСЕФУС ФП, ЮФП УМЕДХАЭЙН ЧЩРПМОСЕФУС ПРЕТБФПТ ЙЪ ТБУУНБФТЙЧБЕНПК РПУМЕДПЧБФЕМШОПУФЙ, РПНЕЮЕООЩК н.

дМС РПУФЖЙЛУОПЗП РТЕДУФБЧМЕОЙС РТПУФПЗП ХУМПЧОПЗП ПРЕТБФПТБ

  IF <R> THEN <S> , ЗДЕ <R> - ПФОПЫЕОЙЕ, Б <S> - ПРЕТБФПТ , ЧПУРПМШЪХЕНУС ХУМПЧОЩН ПРЕТБФПТПН РЕТЕИПДБ.

ч ТЕЪХМШФБФЕ РПМХЮБЕН ЧЩТБЦЕОЙЕ:

  <R'>M хрм <S'>M , Ч ЛПФПТПН <R'> Й <S'> СЧМСАФУС РПУФЖЙЛУОЩНЙ ЧЩТБЦЕОЙСНЙ УППФЧЕФУФЧХАЭЕЗП ЧЩТБЦЕОЙС Й ПРЕТБФПТБ, Б н - НЕФЛБ. пРТЕБФПТ <S'> Ч ЬФПН ЧЩТБЦЕОЙЙ ФБЛЦЕ ЛБЛ Й Ч ЪБДБООПН

ХУМПЧОПН ПРЕТБФПТЕ ЧЩРПМОСЕФУС ФПМШЛП Ч ФПН УМХЮБЕ, ЛПЗДБ ПФОПЫЕОЙЕ <R'> - ЙУФЙОП.

дМС РПМОПЗП ХУМПЧОПЗП ПРЕТБФПТБ

   IF <R> THEN <S1>ELSE <S2>, ЗДЕ<R> - ПФОПЫЕОЙЕ, Б <S1>,<S2 >- ПРЕТБФПТЩ, РПУФЖЙЛУОПЕ РТЕДУФБЧМЕОЙЕ ДПМЦОП ПВЕУРЕЮЙЧБФШ ЧЩРПМОЕОЙЕ ПДОПЗП ЙЪ ПРЕТБФПТПЧ <S1>ЙМЙ <S2>Ч ЪБЧЙУЙНПУФЙ ПФ ХУМПЧЙС <R>.

йУИПДС ЙЪ ЬФПЗП РПМПЦЕОЙС, РПУФЖЙЛУОХА ЖПТНХ РПМОПЗП ХУМПЧОПЗП ПРЕТБФПТБ НПЦОП ЪБРЙУБФШ ФБЛ:

  <R'> M1 хрм <S1'> M2 вр н1 <S2'> M2 , ЗДЕ <R'> - РПУФЖЙЛУОБС ЪБРЙУШ ПФОПЫЕОЙС <R>, <S1'> Й <S2'>- РПУФЖЙЛУОЩЕ ЪБРЙУЙ ПРЕТБФПТПЧ <S1>,<S2>, Б н1 Й н2 - НЕФЛЙ.  

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