Формальные языки, грамматики и автоматы1 / Konspekt / SECTION4 / part411
.htmpart422 рТЕД.уФТБОЙГБ уМЕД.УФТБОЙГБ тБЪДЕМ уПДЕТЦБОЙЕ
4.1.1. уЙОФБЛУЙЮЕУЛЙ ХРТБЧМСЕНЩЕ УИЕНЩ. пВПВЭЕОЙЕН ТБУУНБФТЙЧБЕНПЗП УРПУПВБ ЪБДБОЙС РЕТЕЧПДБ У РПНПЭША ДЧХИ ЗТБННБФЙЛ СЧМСЕФУС РПОСФЙЕ ух - УИЕНЩ, ЛПФПТПЕ НПЦЕФ ВЩФШ ПРТЕДЕМЕОП УМЕДХАЭЙН ПВТБЪПН.
пРТЕДЕМЕОЙЕ. уИЕНПК УЙОФБЛУЙЮЕУЛЙ ХРТБЧМСЕНПЗП РЕТЕЧПДБ (ух-УИЕНПК) ОБЪЩЧБЕФУС УПЧПЛХРОПУФШ РСФЙ ПВЯЕЛФПЧ:
T = {Va,VФЧИ,VФЧЩИ,Q,<I>}, ЗДЕ Va - НОПЦЕУФЧП ОЕФЕТНЙОБМШОЩИ УЙНЧПМПЧ,
VФЧИ- НОПЦЕУФЧП ФЕТНЙОБМШОЩИ УЙНЧПМПЧ, ЙУРПМШЪХЕНЩИ ДМС РПУФТПЕОЙС
ЧИПДОЩИ ГЕРПЮЕЛ,
VФЧЩИ- НОПЦЕУФЧП ФЕТНЙОБМШОЩИ УЙНЧПМПЧ, ЙУРПМШЪХЕНЩИ ДМС РПУФТПЕОЙС
ЧЩИПДОЩИ ГЕРПЮЕЛ,
<I>-ОБЮБМШОЩК УЙНЧПМ, <I> п Va,
Q - НОПЦЕУФЧП РТБЧЙМ ЧЙДБ <A> ® a ,b,
ЗДЕ <A> РТЙОБДМЕЦЙФ Va, a п(Va U VФЧИ)*, b п (Va U VФЧЩИ)* Й
ОЕФЕТНЙОБМЩ, ЧИПДСЭЙЕ Ч ГЕРПЮЛХ b ПВТБЪХАФ РЕТЕУФБОПЧЛХ
ОЕФЕТНЙОБМПЧ ГЕРПЮЛЙ a . йЪ РТЙЧЕДЕООПЗП ПРТЕДЕМЕОЙС УМЕДХЕФ, ЮФП ЛБЦДПЕ РТБЧЙМП ух- УИЕНЩ ДПМЦОП ЧЛМАЮБФШ ГЕРПЮЛХ, РПУФТПЕООХА ЙЪ УЙНЧПМПЧ ЧИПДОПЗП БМЖБЧЙФБ Й ОЕФЕТНЙОБМШОЩИ УЙНЧПМПЧ, Й ГЕРПЮЛХ, РПУФТПЕООХА ЙЪ УЙНЧПМПЧ ЧЩИПДОПЗП БМЖБЧЙФБ Й ОЕФЕТНЙОБМШОЩИ УЙНЧПМПЧ, Й ЮФП Ч ЬФЙ ГЕРПЮЛЙ ДПМЦОЩ ЧИПДЙФШ ПДОЙ Й ФЕ ЦЕ ОЕФЕТНЙОБМЩ. фП ПВУФПСФЕМШУФЧП, ЮФП ПУОПЧПК ух - УИЕНЩ СЧМСАФУС ДЧЕ ЗТБННБФЙЛЙ, ХУФБОБЧМЙЧБЕФУС УМЕДХАЭЙН ПРТЕДЕМЕОЙЕН: пРТЕДЕМЕОЙЕ. еУМЙ T = {Va,VФЧИ,VФЧЩИ,Q,I} ух-УИЕНБ, ФП ЗТБННБФЙЛБ
з = {Va,VФЧИ,R, I},
ЗДЕ R = {<A> ® a |<A> ® a ,b РТЙОБДМЕЦЙФ Q},
ОБЪЩЧБЕФУС ЧИПДОПК ЗТБННБФЙЛПК ух-УИЕНЩ ф, Б ЗТБННБФЙЛБ
з'={Va,VФЧЩИ,R',I},
ЗДЕ R' = {<A> ® b | <A> ® a ,b РТЙОБДМЕЦЙФ Q}
ОБЪЩЧБЕФУС ЧЩИПДОПК ЗТБННБФЙЛПК ух-УИЕНЩ ф. у РПНПЭША ух - УИЕНЩ НПЦОП УФТПЙФШ РБТЩ УППФЧЕФУФЧХАЭЙИ ГЕРПЮЕЛ. фБЛПЕ РПУФТПЕОЙЕ ОБЪЩЧБЕФУС ЧЩЧПДПН ух -УИЕНЩ, Б РПМХЮБЕНЩЕ РБТЩ ГЕРПЮЕЛ - ЧЩЧПДЙНЩНЙ РБТБНЙ. пРТЕДЕМЕОЙЕ. рБТПК, ЧЩЧПДЙНПК У РПНПЭША ЪБДБООПК ух-УИЕНЩ, ОБЪЩЧБАФ МАВХА РБТХ, ЛПФПТБС НПЦЕФ ВЩФШ РПУФТПЕОБ У РТЙНЕОЕОЙЕН УМЕДХАЭЙИ РТБЧЙМ:
1) (<I>,<I>) - ЧЩЧПДЙНБС РБТБ,
2) ЕУМЙ (a <A>b ,a '<A>b ') - ЧЩЧПДЙНБС РБТБ Й ЧЩДЕМЕООЩЕ ОЕФЕТНЙОБМЩ УППФЧЕФУФЧХАФ ДТХЗ ДТХЗХ Й Ч Q УХЭЕУФЧХЕФ РТБЧЙМП <A>®g ,g ', ФП
(ag b , a 'g 'b ') СЧМСЕФУС ЧЩЧПДЙНПК РБТПК. ьФП ЪБРЙУЩЧБЕФУС ФБЛ: (a <A>b ,a '<A>b ') ==> (ag b ,a 'g 'b '). рПУМЕДПЧБФЕМШОПУФШ ЧЩЧПДЙНЩИ РБТ ПВПЪОБЮЙН ЛБЛ РТЕЦДЕ: (a <A>b ,a '<A>b ') ==>* (wm p ,w 'm 'p ').
рТЕД.уФТБОЙГБ уМЕД.УФТБОЙГБ тБЪДЕМ уПДЕТЦБОЙЕ