Формальные языки, грамматики и автоматы1 / Konspekt / SECTION4 / part41
.htmpart421 рТЕД.уФТБОЙГБ уМЕД.УФТБОЙГБ тБЪДЕМ уПДЕТЦБОЙЕ
4.1. пРЙУБОЙЕ РЕТЕЧПДБ ЙМЙ ФТБОУМСГЙЙ .
ч ПВЭЕН УМХЮБЕ РЕТЕЧПД ЙМЙ ФТБОУМСГЙА НПЦОП РТЕДУФБЧЙФШ ЛБЛ УППФЧЕФУФЧЙЕ НЕЦДХ УМПЧБНЙ БМЖБЧЙФБ т Й БМЖБЧЙФБ W. еУМЙ ГЕРПЮЛБ a п P* , ГЕРПЮЛБ b п W* , ПОЙ ОБЪЩЧБАФУС УППФЧЕФУФЧЕООП ЧИПДОПК Й ЧЩИПДОПК ГЕРПЮЛБНЙ. пРТЕДЕМЕОЙЕ. еУМЙ ЪБДБОЩ ЧИПДОПК БМЖБЧЙФ P Й ЧЩИПДОПК БМЖБЧЙФ
W, ФП РЕТЕЧПДПН У СЪЩЛБ LЧИ, УПУФПСЭЕЗП ЙЪ ГЕРПЮЕЛ
НОПЦЕУФЧБ P*, ОБ СЪЩЛ LЧЩИ, УПУФПСЭЙК ЙЪ ГЕРПЮЕЛ
НОПЦЕУФЧБ W*, ОБЪЩЧБЕФУС НОПЦЕУФЧП C РБТ ГЕРПЮЕЛ
(a ,b ) ФБЛЙИ, ЮФП a п LЧИ Й b п LЧЩИ. C={(a ,b ) | a п LЧИ Й b п LЧЩИ}.
еУМЙ ЧИПДОПК Й ЧЩИПДОПК БМЖБЧЙФЩ ЪБДБОЩ Ч ЧЙДЕ: P = {a,b,c,d} Й W = {00,01,10,11}, Й ЕУМЙ ЧИПДОПК Й ЧЩИПДОПК СЪЩЛЙ УПДЕТЦБФ ГЕРПЮЛЙ ДМЙОПК l < 3, ФП УППФЧЕФУФЧЙЕ НЕЦДХ
ЧИПДОЩНЙ Й ЧЩИПДОЩНЙ ГЕРПЮЛБНЙ НПЦЕФ ВЩФШ ПРЙУБОП, ОБРТЙНЕТ, Ч ЧЙДЕ РЕТЕЧПДБ.
у = {(a,00),(b,01),(c,10),(d,11),(ab,0001),(ac,0010), (cd,0011),(bc,0110),(bd,0111),(cd,1011) }. лПОЕЮОЩЕ РЕТЕЧПДЩ У ОЕВПМШЫЙН ЮЙУМПН ЬМЕНЕОФПЧ НПЦОП ЪБДБЧБФШ Ч ЧЙДЕ РЕТЕЮЙУМЕОЙК. пДОБЛП, ДМС ЪБДБОЙС ВПМШЫЙИ ЛПОЕЮОЩИ РЕТЕЧПДПЧ Й ВЕУЛПОЕЮОЩИ РЕТЕЧПДПЧ ОХЦОЩ ФБЛЙЕ
ЦЕ УТЕДУФЧБ ЪБДБОЙС ЛБЛ Й ДМС ЖПТНБМШОЩИ СЪЩЛПЧ. тБУУНПФТЙН УМХЮБК , ЛПЗДБ НОПЦЕУФЧП ЧИПДОЩИ ГЕРПЮЕЛ (ЧИПДОПК СЪЩЛ РЕТЕЧПДБ у) НПЦОП ЪБДБФШ У РПНПЭША ЗТБННБФЙЛЙ з Й НОПЦЕУФЧБ ЧЩИПДОЩИ ГЕРПЮЕЛ (ЧЩИПДОПК СЪЩЛ РЕТЕЧПДБ у) - У РПНПЭША ЗТБННБФЙЛЙ з'.
рТЙНЕТПН ФБЛПЗП ЪБДБОЙС НПЦЕФ УМХЦЙФШ РЕТЕЧПД, ПРТЕДЕМСАЭЙК ДМС ЛБЦДПК ЧИПДОПК ГЕРПЮЛЙ a ЕЕ ЪЕТЛБМШОПЕ ПФПВТБЦЕОЙЕ a ". еУМЙ ЧИПДОПК Й ЧЩИПДОПК БМЖБЧЙФЩ УПУФПСФ ЙЪ ДЧХИ УЙНЧПМПЧ - {0,1}, ФП РТБЧЙМБ РПУФТПЕОЙС ФБЛПЗП РЕТЕЧПДБ ЙНЕАФ ЧЙД: ЧИПДОЩЕ ГЕРПЮЛЙ ЧЩИПДОЩЕ ГЕРПЮЕЛЙ 1) <I> ® 0<I>, <I> ® <I>0
2) <I> ® 1<I>, <I> ® <I>1
3) <I> ® $, <I> ® $
рТЙНЕОСС ПДОПЧТЕНЕООП УППФЧЕФУФЧХАЭЙЕ РТБЧЙМБ РПУФТПЕОЙС Л ЧИПДОПК Й ЧЩИПДОПК ГЕРПЮЛБН, РПМХЮБЕН: (<I>,<I>) ==> (0<I>,<I>0) ==> (00<I>,<I>00) ==> (001<I>,<I>100) ==> (001,100) рТЙ ФБЛПН РПУФТПЕОЙЙ УХЭЕУФЧЕООПЕ ЪОБЮЕОЙЕ ЙНЕЕФ ЪБДБООПЕ УППФЧЕФУФЧЙЕ НЕЦДХ РТБЧЙМБНЙ РПУФТПЕОЙС ЧИПДОЩИ Й ЧЩИПДОЩИ ГЕРПЮЕЛ.
рТЕД.уФТБОЙГБ уМЕД.УФТБОЙГБ тБЪДЕМ уПДЕТЦБОЙЕ