part422 рТЕД.уФТБОЙГБ уМЕД.УФТБОЙГБ тБЪДЕМ уПДЕТЦБОЙЕ
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 ', ФП
(a g b , a 'g 'b ') СЧМСЕФУС ЧЩЧПДЙНПК РБТПК.
ьФП ЪБРЙУЩЧБЕФУС ФБЛ: (a <A>b ,a '<A>b ') ==> (a g b ,a 'g 'b '). рПУМЕДПЧБФЕМШОПУФШ ЧЩЧПДЙНЩИ РБТ ПВПЪОБЮЙН ЛБЛ РТЕЦДЕ: (a <A>b ,a '<A>b ') ==>* (w m p ,w 'm 'p ').
рТЕД.уФТБОЙГБ уМЕД.УФТБОЙГБ тБЪДЕМ уПДЕТЦБОЙЕ