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

part423 рТЕД.уФТБОЙГБ  уМЕД.УФТБОЙГБ   тБЪДЕМ   уПДЕТЦБОЙЕ 4.1.2.  рЕТЕЧПД, ПРТЕДЕМСЕНЩК ух-УИЕНПК. у РПНПЭША РПОСФЙС ЧЩЧПДЙНБС РБТБ НПЦОП ПРТЕДЕМЙФШ РЕТЕЧПД, ЪБДБЧБЕНЩК ух - УИЕНПК.

пРТЕДЕМЕОЙЕ. 

рЕТЕЧПДПН у(T), ПРТЕДЕМСЕНЩН ух-УИЕНПК  ф ОБЪПЧЕН НОПЦЕУФЧП РБТ, УПУФПСЭЙИ ЙЪ ЧИПДОПК   Й ЧЩИПДОПК ГЕРПЮЕЛ, ЧЩЧПДЙНЩИ ЙЪ РБТЩ,   ЧЛМАЮБАЭЕК ДЧБ ОБЮБМШОЩИ УЙНЧПМБ.   у(T) = {(a ,b ) | (<I>,<I>) ==>* (a ,b ) Й  a п VФЧИ*, b п VФЧЩИ*} 

  ч ЛБЮЕУФЧЕ РТЙНЕТБ ТБУУНПФТЙН ух-УИЕНХ, ЪБДБООХА УМЕДХАЭЙН ПВТБЪПН:  T4.1:   Va = {<I>,<A>}, VФЧИ = {0,1},VФЧЩИ = {a,b}               Q = {  <I> ® 0<A><I>,   <I><A>a;

                         <A> ® 0<I><A>,  <A><I>a;

                         <I> ® 1,   b;

                         <A> ® 1,  b

                     }. ьФБ УИЕНБ ПРТЕДЕМСЕФ РЕТЕЧПД, ЧИПДОЩЕ УМПЧБ ЛПФПТПЗП УПУФПСФ ЙЪ ОХМЕК Й ЕДЙОЙГ, Б ЧЩИПДОЩЕ ЙЪ ВХЛЧ Б,b. оХМСН ЧИПДОПК ГЕРПЮЛЙ ДПМЦОЩ УППФЧЕФУФЧПЧБФШ ВХЛЧЩ a, Б ЕДЙОЙГБН - ВХЛЧЩ b ЧЩИПДОПК ГЕРПЮЛЙ, РТЙЮЕН ТБУРПМПЦЕОЙЕ УЙНЧПМПЧ Ч ЧЩИПДОПК ГЕРПЮЛЕ ДПМЦОП ВЩФШ

ЪЕТЛБМШОЩН РП ПФОПЫЕОЙА Л УППФЧЕФУФЧХАЭЙН УЙНЧПМБН ЧИПДОПК ГЕРПЮЛЙ. чЩЧПД Ч ТБУУНБФТЙЧБЕНПК ух - УИЕНЕ НПЦЕФ, ОБРТЙНЕТ, ЙНЕФШ ЧЙД:

  (<I>,<I>) ==> (0<A><I>,<I><A>a) ==> (0<A>0<A><I>,<I><A>a<A>a) ==> ==>(0<A>00<I><A><I>,<I><A><I>aa<A>a)==>*==>*(0100111,bbbaaba) рТЕД.уФТБОЙГБ  уМЕД.УФТБОЙГБ   тБЪДЕМ   уПДЕТЦБОЙЕ