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

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

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' Й '*'.

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