Формальные языки, грамматики и автоматы / Part424

part416 рТЕД.уФТБОЙГБ  уМЕД.УФТБОЙГБ   тБЪДЕМ   уПДЕТЦБОЙЕ    4.2.4.   чЩЮЙУМЕОЙЕ РПУФЖЙЛУОЩИ ЪБРЙУЕК чЩЮЙУМЕОЙЕ РПУФЖЙЛУОПК ЪБРЙУЙ ЧЩТБЦЕОЙС НПЦОП РТЕДУФБЧЙФШ УМЕДХАЭЙН ПВТБЪПН.

1. рТПУНБФТЙЧБЕН ЧЩТБЦЕОЙЕ УМЕЧБ ОБРТБЧП РПЛБ ОЕ ОБКДЕН ДЧБ УФПСЭЙИ ТСДПН ПРЕТБОДБ, ЪБ

    ЛПФПТЩНЙ  УМЕДХЕФ ЪОБЛ ПРЕТБГЙЙ.

2. чЩРПМОСЕН ПРЕТБГЙА Й ЪБРЙУЩЧБЕН ТЕЪХМШФБФ ЧНЕУФП  ЧЩВТБООЩИ ПРЕТБОДПЧ Й ПРЕТБГЙК.

3. рПЧФПТСЕН РХОЛФ (1) РПЛБ ОЕ РПМХЮЙН ЧНЕУФП ЧЩТБЦЕОЙС  ЕДЙОУФЧЕООЩК ТЕЪХМШФБФ.

чЩЮЙУМЕОЙЕ РПУФТПЕООПЗП РПУФЖЙЛУОПЗП ЧЩТБЦЕОЙС НПЦОП РТЕДУФБЧЙФШ Ч УМЕДХАЭЕН ЧЙДЕ: 1. ab+cd-* 2. R1cd-* 3. R1R2* 4. R3 оБ РТБЛФЙЛЕ ЧЩЮЙУМЕОЙЕ РПУФЖЙЛУОЩИ ЧЩТБЦЕОЙК ТЕБМЙЪХЕФУС У РТЙНЕОЕОЙЕН НБЗБЪЙОБ. ч ЬФПН УМХЮБЕ ЧЩЮЙУМЕОЙС ЧЩРПМОСАФУС РП УМЕДХАЭЙН РТБЧЙМБН.

1. рТПЮЙФБФШ ПЮЕТЕДОПК УЙНЧПМ ЧИПДОПК ГЕРПЮЛЙ.

2. еУМЙ ЧИПДОПК УЙНЧПМ - ПРЕТБОД, ФП ЧЩРПМОЙФШ ЕЗП ЪБРЙУШ   Ч НБЗБЪЙО.

3. еУМЙ ЧИПДОПК УЙНЧПМ - ПРЕТБФПТ,ФП РТПЮЙФБФШ ДЧБ ПРЕТБОДБ  ЙЪ НБЗБЪЙОБ, ЧЩРПМОЙФШ

    ПРЕТБГЙА Й ТЕЪХМШФБФ ЪБОЕУФЙ Ч НБЗБЪЙО   ЛБЛ ПРЕТБОД.

4. рПЧФПТСФШ Р.1, РПЛБ ЧП ЧИПДОПК ГЕРПЮЛЕ ОЕ ВХДХФ РТПЮЙФБОЩ  ЧУЕ УЙНЧПМЩ.

рПУМЕДПЧБФЕМШОПУФШ ЧЩЮЙУМЕОЙК РТПДЕНПОУФТЙТХЕН ОБ РТЙНЕТЕ ЧИПДОПК ГЕРПЮЛЙ

                                                            ab+cd-*

Й ЙЪПВТБЪЙН ЕЕ Ч ЧЙДЕ УМЕДХАЭЕК УИЕНЩ:

           чИПД                 нБЗБЪЙО                    пРЕТБГЙС         ab+cd-*

1.     b+cd-*                    a

2.     +cd-*                      ab

3.     cd-*                        R1                             a+b=R1

4.     d-*                          R1c

5.     -*                            R1cd

6.      *                            R1R2                        c-d  = R2

7.      $                            R3                          R1*R2 = R3

рТЕД.уФТБОЙГБ  уМЕД.УФТБОЙГБ   тБЪДЕМ   уПДЕТЦБОЙЕ