Формальные языки, грамматики и автоматы1 / Konspekt / SECTION4 / part423

part415 рТЕД.уФТБОЙГБ  уМЕД.УФТБОЙГБ   тБЪДЕМ   уПДЕТЦБОЙЕ 4.2.3.  рПУФЖЙЛУОБС  РПМШУЛБС ЪБРЙУШ.  

пРТЕДЕМЕОЙЕ. рПУФЖЙЛУОХА РПМШУЛХА ЪБРЙУШ (рПръ) ПРТЕДЕМЙН ФБЛ: 

     1. еУМЙ ЙОЖЙЛУОПЕ ЧЩТБЦЕОЙЕ е РТЕДУФБЧМСЕФ УПВПК ПДЙО  ПРЕТБОД Б, ФП рПръ  ЧЩТБЦЕОЙС е - ЬФП Б. 

     2. еУМЙ ЙОЖЙЛУОПЕ ЧЩТБЦЕОЙЕ е1*е2, ЗДЕ * - ЪОБЛ ПРЕТБГЙЙ,  E1, E2 - ЙОЖЙЛУОЩЕ ЧЩТБЦЕОЙС ДМС ПРЕТБОДПЧ, ФП рПръ  ЬФПЗП ЧЩТБЦЕОЙС ЬФП - е1'E2'*, ЗДЕ е1',E2' -  РПУФЖЙЛУОЩЕ  ЧЩТБЦЕОЙС е1,е2. 

    3. еУМЙ (е) ЕУФШ ЙОЖЙЛУОПЕ ЧЩТБЦЕОЙЕ, ФП РПУФЖЙЛУОБС   ЪБРЙУШ ЬФПЗП ЧЩТБЦЕОЙС  ЕУФШ РПУФЖЙЛУОБС ЪБРЙУШ е. 

  бОБМПЗЙЮОП РТЕДЩДХЭЕНХ РТЙНЕТХ РПУФТПЙН рПръ ЧЩТБЦЕОЙС (a + b) * (c - d). пВПЪОБЮБС ПРЕТБОДЩ ЧОЕЫОЕК ПРЕТБГЙЙ E1 = (a + b)  Й E2 = (c - d), ОБКДЕН РПУФЖЙЛУОЩЕ ЪБРЙУЙ ПРЕТБОДПЧ, ЛПФПТЩЕ ЙНЕАФ ЧЙД: E1' = ab+ Й E2' = cd-. рПДУФБЧМСС РПМХЮЕООЩЕ РПУФЖЙЛУОЩЕ ЪБРЙУЙ Ч ЧЩТБЦЕОЙЕ E1'E2'*, ПЛПОЮБФЕМШОП РПМХЮБЕН : ab+cd-* .

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