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

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

   4.2.1. рТЕЖЙЛУОБС  РПМШУЛБС  ЪБРЙУШ.

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

 1) еУМЙ ЙОЖЙЛУОПЕ ЧЩТБЦЕОЙЕ е РТЕДУФБЧМСЕФ УПВПК  ПДЙО ПРЕТБОД Б, ФП

 рТръ ЧЩТБЦЕОЙЕ е - ЬФП РТПУФП Б. 

 2) еУМЙ ЙОЖЙЛУОПЕ ЧЩТБЦЕОЙЕ е1*е2, ЗДЕ * - ЪОБЛ ПРЕТБГЙЙ,Б е1 Й е2

ЙОЖЙЛУОЩЕ ЧЩТБЦЕОЙС ДМС ПРЕТБОДПЧ,  ФП рТръ ЬФПЗП ЧЩТБЦЕОЙС - ЬФП

*е1'E2',ЗДЕ E1', E2' - рТръ  ЧЩТБЦЕОЙК е1 Й е2. 

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

                                  рТръ е. 

  ьФП ПРТЕДЕМЕОЙЕ ПРТЕДЕМСЕФ РПТСДПЛ РПУФТПЕОЙС рТръ ЪБДБООПЗП ЙОЖЙЛУОПЗП ЧЩТБЦЕОЙС.

оБРТЙНЕТ ДМС ЧЩТБЦЕОЙК (a + b) * (c - d) РПУФТПЕОЙЕ рТръ НПЦОП ЧЩРПМОЙФШ ФБЛ. пВПЪОБЮЙН ПРЕТБОДЩ РЕТЧПК ЧЩРПМОСЕНПК ПРЕТБГЙЙ:

      E1 = (a + b)    Й    E2 = (c - d). уПЗМБУОП ПРТЕДЕМЕОЙА РТЕЖЙЛУОБС ЪБРЙУШ ЧЩТБЦЕОЙС е1*е2 - ЬФП *E1'E2', ЗДЕ е1',е2' -РТЕЖЙЛУОЩЕ ЪБРЙУЙ ЧЩТБЦЕОЙК е1 Й е2. чЩРПМОСС РПУФТПЕОЙЕ РПУФЖЙЛУОЩИ ЪБРЙУЕК ДМС ЬФЙИ ЧЩТБЦЕОЙК,

          E1' = +ab,    E2' = -cd, ПЛПОЮБФЕМШОП РПМХЮБЕН ТЕЪХМШФБФ Ч ЧЙДЕ :

  *+ab-cd

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