part431 рТЕД.уФТБОЙГБ уМЕД.УФТБОЙГБ тБЪДЕМ уПДЕТЦБОЙЕ 4.1.5. фТБОУМЙТХАЭЙЕ ЗТБННБФЙЛЙ
пУОПЧПК РПУФТПЕОЙС ух -УИЕН РЕТЕЧПДБ СЧМСЕФУС ЙУРПМШЪПЧБОЙЕ ДЧХИ ЗТБННБФЙЛ, У РПНПЭША ЛПФПТЩИ ПУХЭЕУФЧМСЕФУС УЙОИТПООЩК ЧЩЧПД ЧИПДОПК Й ЧЩИПДОПК ГЕРПЮЕЛ. рПУФТПЕОЙЕ ФТБОУМЙТХАЭЙИ ЗТБННБФЙЛ РТЕДРПМБЗБЕФ РТЙНЕОЕОЙЕ ДТХЗПЗП РПДИПДБ, ЛПФПТЩК РТЕДХУНБФТЙЧБЕФ ЙУРПМШЪПЧБОЙЕ ПДОПК ЗТБННБФЙЛЙ Й ТБЪТЕЫБЕФ ЧЛМАЮЕОЙЕ ЛБЛ ЧИПДОЩИ, ФБЛ Й ЧЩИПДОЩИ
УЙНЧПМПЧ Ч ЛБЦДПЕ РТБЧЙМП ФБЛПК ЗТБННБФЙЛЙ. пРТЕДЕМЕОЙЕ. фТБОУМЙТХАЭЕК ЗТБННБФЙЛПК (ф -ЗТБННБФЙЛПК)
ОБЪЩЧБЕФУС лу-ЗТБННБФЙЛБ, НОПЦЕУФЧП ФЕТНЙОБМШОЩИ УЙНЧПМПЧ
ЛПФПТПК ТБЪВЙФП ОБ НОПЦЕУФЧП ЧИПДОЩИ УЙНЧПМПЧ Й НОПЦЕУФЧП
ЧЩИПДОЩИ УЙНЧПМПЧ, ЛПФПТЩЕ ОБЪЩЧБАФУС ФБЛЦЕ УЙНЧПМБНЙ ДЕКУФЧЙС.
рТЙНЕТПН ф - ЗТБННБФЙЛЙ НПЦЕФ УМХЦЙФШ УМЕДХАЭБС ЗТБННБФЙЛБ:
зф4.1: VФЧИ = {a,b,c}, VФЧЩИ = {x,y,z}, Va = { I,A} R = {<I> ® a<I>x<A>,
<I> ® z,
<A> ® <A><C>,
<A> ® by
}. юФПВЩ ОЕ ЧПЪОЙЛБМП РХФБОЙГЩ Ч УМХЮБЕ ЙУРПМШЪПЧБОЙС ПДЙОБЛПЧЩИ УЙНЧПМПЧ ЧП ЧИПДОПН Й ЧЩИПДОПН БМЖБЧЙФБИ, ХУМПЧЙНУС ЧЩДЕМСФШ ЧЩИПДОЩЕ УЙНЧПМЩ ЖЙЗХТОЩНЙ УЛПВЛБНЙ.
у ЙУРПМШЪПЧБОЙЕН ФБЛЙИ ПВПЪОБЮЕОЙК РТБЧЙМБ ЗТБННБФЙЛЙ зф7.1 ЙНЕАФ ЧЙД:
R = {<I>®a<I>{x}<A>,
<I>®{z},
<A>®<A>c,
<A>®b{y}
}. чЩЧПД Ч ФТБОУМЙТХАЭЙИ ЗТБННБФЙЛБИ ЧЩРПМОСЕФУС РП ФЕН ЦЕ РТБЧЙМБН, ЮФП Й Ч ПВЩЮОЩИ лу - ЗТБННБФЙЛБИ. оБРТЙНЕТ, Ч ТБУУНБФТЙЧБЕНПК ЗТБННБФЙЛЕ ЙЪ ОБЮБМШОПЗП УЙНЧПМБ НПЦЕФ
ВЩФШ ЧЩЧЕДЕОБ УМЕДХАЭБС ГЕРПЮЛБ:
<I> ==> a<I>{x}<A> ==> a{z}{x}<A> ==> a{z}{x]b{y}
лБЦДЩК УЙНЧПМ ЙМЙ ГЕРПЮЛБ УЙНЧПМПЧ, ЪБЛМАЮЕООЩЕ Ч ЖЙЗХТОЩЕ УЛПВЛЙ, ДПМЦОЩ ТБУУНБФТЙЧБФШУС ЛБЛ ЕДЙОЩК УЙНЧПМ, ОБЪЩЧБЕНЩК УЙНЧПМПН ДЕКУФЧЙС. ч ПВЭЕН УМХЮБЕ
ГЕРПЮЛЙ УЙНЧПМПЧ, ЪБЛМАЮЕООЩЕ Ч ЖЙЗХТОЩЕ УЛПВЛЙ, НПЦОП ЙОФЕТРТЕФЙТПЧБФШ ЛБЛ ЙНЕОБ РТПГЕДХТ, ЧЩРПМОЕОЙЕ ЛПФПТЩИ РТПЙЪЧПДЙФ ФТЕВХЕНЩК ЬЖЖЕЛФ ОБ ЧЩИПДЕ. рТЙ ПРЙУБОЙЙ
РЕТЕЧПДБ ПВЩЮОП РТЕДХУНБФТЙЧБАФ, ЮФП ЛБЦДЩК УЙНЧПМ ДЕКУФЧЙС РТЕДУФБЧМСЕФ УПВПК РТПГЕДХТХ, ПУХЭЕУФЧМСАЭХА РЕТЕДБЮХ УЙНЧПМБ, ЪБЛМАЮЕООПЗП Ч ЖЙЗХТОЩЕ УЛПВЛЙ, ОБ ЧЩИПД. лПЗДБ ОХЦОП РПДЮЕТЛОХФШ, ЮФП ЙУРПМШЪХЕФУС ФБЛБС ЙОФЕТРТЕФБГЙС УЙНЧПМПЧ ДЕКУФЧЙС, ФП ф - ЗТБННБФЙЛХ ОБЪЩЧБАФ ЗТБННБФЙЛПК ГЕРПЮОПЗП РЕТЕЧПДБ.
рТЕД.уФТБОЙГБ уМЕД.УФТБОЙГБ тБЪДЕМ уПДЕТЦБОЙЕ