Формальные языки, грамматики и автоматы / Part426
.htmpart434 рТЕД.уФТБОЙГБ уМЕД.УФТБОЙГБ тБЪДЕМ уПДЕТЦБОЙЕ 4.2.6. рТЙНЕТЩ ух - УИЕН. пРЙУБООЩЕ УРПУПВЩ ЪБДБОЙС РЕТЕЧПДБ Ч ПУОПЧОПН ЙУРПМШЪХАФУС РТЙ РПУФТПЕОЙЙ ЛПНРЙМСФПТПЧ.
пОЙ СЧМСАФУС ПУОПЧПК ДМС РТПЕЛФЙТПЧБОЙС МЕЛУЙЮЕУЛЙИ Й УЙОФБЛУЙЮЕУЛЙИ БОБМЙЪБФПТПЧ. юФПВЩ РПЛБЪБФШ, ЛБЛ ПРЙУБОЙЕ РЕТЕЧПДБ НПЦЕФ ВЩФШ ЙУРПМШЪПЧБОП РТЙНЕОЙФЕМШОП Л СЪЩЛБН РТПЗТБННЙТПЧБОЙС, РТЙЧЕДЕН ОЕУЛПМШЛП ух - УИЕН, ЪБДБАЭЙИ РЕТЕЧПД РПУМЕДПЧБФЕМШОПУФЙ ПРЕТБФПТПЧ ЙМЙ ПФДЕМШОЩИ ПРТЕБФПТПЧ Ч РПМШУЛХА ЪБРЙУШ.
рТБЧЙМБ ух - УИЕНЩ ф5, ЙЪПВТБЦЕООЩЕ ОЙЦЕ, ПРТЕДЕМСАФ РЕТЕЧПД РПУМЕДПЧБФЕМШОПУФЙ ПРЕТБФПТПЧ РТЙУЧБЙЧБОЙС, ТБЪДЕМЕООЩИ ФПЮЛПК У ЪБРСФПК, Ч РПУМЕДПЧБФЕМШОПУФШ РПУФЖЙЛУОЩИ ЪБРЙУЕК. ч РТБЧПК ЮБУФЙ ЛБЦДПЗП ПРЕТБФПТБ РТЙУЧБЙЧБОЙС НПЦЕФ ОБИПДЙФШУС ЙОЖЙЛУОПЕ БТЙЖНЕФЙЮЕУЛПЕ ЧЩТБЦЕОЙЕ ВЕЪ УЛПВПЛ, Ч ЛПФПТПН НПЗХФ ВЩФШ ЙУРПМШЪПЧБОЩ ЪОБЛЙ УМПЦЕОЙС Й ХНОПЦЕОЙС. оБЮБМШОЩН УЙНЧПМПН ух - УИЕНЩ СЧМСЕФУС U, Б ФЕТНЙОБМШОЩК УЙНЧПМ i ЙУРПМШЪХЕФУС ДМС ПВПЪОБЮЕОЙС ЙДЕОФЙЖЙЛБФПТБ. ф4.5: Q = { <U> ® <A2>. , < A2>{.};
< A2 >® <S>< R2 > , <S>< R2 >;
<R2 >® ;<S>< R2 >, {; }<S>< R2 >;
<R2 >® $ , $ ;
<S >® i <B2 >, {i}<B2 >;
<B2 >® :=<H> , < H>{:=}
<H >® i <R> , {i}<R>;
<R> ® +i <R> , {i}{+}<R>;
<R> ® *i <R> , {i}{*}<R>;
<R> ® $ , $
}. рТБЧЙМБ ух - УИЕНЩ, ПРЙУЩЧБАЭЕК РЕТЕЧПД ХУМПЧОЩИ ПРЕТБФПТПЧ Ч РПУФЖЙЛУОХА ЖПТНХ ЪБРЙУЙ ЙНЕЕФ ЧЙД:
ф4.6: Q = { <R4 >® i <R3 > , {i}<R3 >;
<R3 >® <i , {<}{i} ;
<R3 >® =i , {=}{i} ;
<V> ® .IF.<R4 ><C2 > , <R4 ><C2 >;
<C2 >® .THEN.<S>< C3 > , {M1}{хрм}<S>< C3 >;
<C3 >® .ELSE.<S>, {M2}{M1}{вр}<S>{M2};
<C3 >® $ , {M1}}. уИЕНБ РПУФТПЕОБ, ЙУИПДС ЙЪ ДПРХЭЕОЙС П ФПН, ЮФП Ч ЛБЮЕУФЧЕ ПФОПЫЕОЙС <R4> Й ХУМПЧОПН ПРЕТБФПТЕ НПЗХФ ВЩФШ ЙУРПМШЪПЧБОЩ ЧЩТБЦЕОЙС, УПУФПСЭЙЕ ЙЪ ДЧХИ ЙДЕОФЙЖЙЛБФПТПЧ, ТБЪДЕМСЕНЩИ ЪОБЛБНЙ НЕОШЫЕ ЙМЙ ТБЧЕОУФЧБ. ч УИЕНЕ УЙНЧПМЩ н1 Й н2 ПВПЪОБЮБАФ НЕФЛЙ,
Б хрм Й вр - ЛПНБОДЩ РЕТЕИПДБ.
рТБЧЙМБ ух - УИЕН, ЪБДБАЭЙИ РЕТЕЧПД ДЧХИ ПРЕТБФПТПЧ ГЙЛМБ СЪЩЛБ рБУЛБМШ Ч РПУФЖЙЛУОХА ЖПТНХ ЪБРЙУЙ, НПЦОП ЪБРЙУБФШ ФБЛ:
ф4.7: Q = { <W> ® WHILE <R4 ><C4 >, {M1}<R4>{M2}{хрм}<C4 >
<C4 >® DO <S> , < S>{M1}{вр}{M2} }.
T4.8: Q = {<W1>® REPEAT <S> <C5 >, {M1}<S>< C5 >
<C5 >® UNTIL <R4 >, <R4>{M1}{хрм} }. ч РПУМЕДОЙИ ДЧХИ ух - УИЕНБИ <R4 >ПВПЪОБЮБЕФ ПФОПЫЕОЙЕ, ПРТЕДЕМЕООПЕ Ч ух - УИЕНЕ ф4.6, Б <S> -ПРЕТБФПТ РТЙУЧБЙЧБОЙС, ПРТЕДЕМЕОЙЕ ЛПФПТПЗП ДБОП Ч ф4.5.
рТЕД.уФТБОЙГБ уМЕД.УФТБОЙГБ тБЪДЕМ уПДЕТЦБОЙЕ