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

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

4.2.2.  чЩЮЙУМЕОЙЕ  РТЕЖЙЛУОЩИ РПМШУЛЙИ ЪБРЙУЕК. чЩЮЙУМЕОЙЕ рТръ НПЦОП РТЕДУФБЧЙФШ УМЕДХАЭЙН ПВТБЪПН:

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

      УМЕДХАФ ДЧБ ПРЕТБОДБ.

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

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

 чЩЮЙУМЕОЙЕ РПУФТПЮОПЗП РТЕЖЙЛУОПЗП ЧЩТБЦЕОЙС НПЦОП  РТЕДУФБЧЙФШ Ч УМЕДХАЭЕН ЧЙДЕ: 1. *+ab-cd

2. *R1-cd

3. *R1R2

4. R3        рТЙЧЕДЕООЩЕ РТБЧЙМБ ЧЩЮЙУМЕОЙС РТЕЖЙЛУОЩИ ЪБРЙУЕК ДПУФБФПЮОП  РТПУФЩ, ПДОБЛП, ЧЩЮЙУМЕОЙЕ ФБЛЙИ ЧЩТБЦЕОЙК ОБ РТБЛФЙЛЕ  ТЕБМЙЪХЕФУС ПВЩЮОП У ЙУРПМШЪПЧБОЙЕН НБЗБЪЙОБ.

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