Формальные языки, грамматики и автоматы / Part45
.htmpart45 рТЕД.уФТБОЙГБ уМЕД.УФТБОЙГБ тБЪДЕМ уПДЕТЦБОЙЕ
4.5 хРТБЦОЕОЙС. 1) фТЕВХЕФУС РПУФТПЙФШ РТЕЖЙЛУОХА Й РПУФЖЙЛУОХА ЪБРЙУШ, Б ФБЛЦЕ ПРЙУБФШ РПТСДПЛ ЩЮЙУМЕОЙС ЬФЙИ ЪБРЙУЕК У РТЙНЕОЕОЙЕН НБЗБЪЙОБ. (a+(a*(a+a))*a). 2) рПУФТПЙФШ ух - УИЕНХ, ЪБДБАЭХА РЕТЕЧПД ЙОЖЙЛУОЩИ БТЙЖНЕФЙЮЕУЛЙИ ЧЩТБЦЕОЙК, ЙУРПМШЪХАЭЙИ ЙДЕОФЙЖЙЛБФПТЩ Й ЪОБЛЙ ПРЕТБГЙК УМПЦЕОЙС Й ЧЩЮЙФБОЙС, Ч РПУФЖЙЛУОЩЕ ЧЩТБЦЕОЙС. 3) рПУФТПЙФШ ДМС ух - УИЕН ф4.2 Й ф4.5 ФТБОУМЙТХАЭЙЕ ЗТБННБФЙЛЙ. 4) оБКФЙ ГЕРПЮЛХ ОБ ЧЩИПДЕ РТЕПВТБЪПЧБФЕМС нР1, ЕУМЙ ОБ ЧИПДОПК МЕОФЕ ЪБРЙУБОБ ГЕРПЮЛБ xa+xaaa. 5) лБЛ ВХДЕФ ТБВПФБФШ РТЕПВТБЪПЧБФЕМШ нР2, ЕУМЙ ОБ ЧИПДОПК МЕОФЕ ЪБРЙУБОБ ГЕРПЮЛБ x:=(x+x)+(x+x). 6) рПУФТПЙФШ РТЕПВТБЪПЧБФЕМШ ДМС ЪБДБООПК ФТБОУМЙТХАЭЕК ЗТБННБФЙЛЙ Й РТПЧЕТЙФШ ЕЗП ТБВПФХ.
з 4. 4 : R = { <I> ® {y}{z}4, <I> ® 3{three}<A><I>{void},
<A> ® $,
<A> ® 2{two} <I><A> }.
7) дМС ух -УИЕНЩ , ЪБДБООПК РТБЧЙМБНЙ Q, РПУФТПЙФШ НБЗБЪЙООЩК РТЕПВТБЪПЧБФЕМШ.
Q={ <E> ® <E>+<T>, <E><T>+; <E>® <T>, <T>;
<T> ® <T>x<F>, <T><F>x;
<T> ® <F>,<F>;
<F> ® (<E>), <E>;
<F> ® a,a }. 8) дМС ЗТБННБФЙЛЙ з3.12 РПУФТПЙФШ ЧПУИПДСЭЙК РТЕПВТБЪПЧБФЕМШ, ЛПФПТЩК ОБ ЧЩИПДЕ УФТПЙФ ГЕРПЮЛЙ ВЕЪ УЛПВПЛВ, ЪБНЕОСС УЙНЧПМЩ 'a' Й ',' УЙНЧПМБНЙ 'x' Й '*'.
рТЕД.уФТБОЙГБ уМЕД.УФТБОЙГБ тБЪДЕМ уПДЕТЦБОЙЕ