рд╕реЛрдЪ рдФрд░ рдЪреЗрддрдирд╛ рдХрд╛ рдПрд▓реНрдЧреЛрд░рд┐рдердо, рднрд╛рдЧ 2

рдЗрд╕ рдкрд╛рда рдореЗрдВ рдореЗрд░реЗ рдкрд╣рд▓реЗ рд▓реЗрдЦ "рд╕реЛрдЪ рдФрд░ рдЪреЗрддрдирд╛ рдХреЗ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо" рд╕реЗ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдХреЗ рд╕реНрдкрд╖реНрдЯреАрдХрд░рдг рд╣реИрдВред рдкрд╣рд▓реЗ рд▓реЗрдЦ рдХреЗ рд╢реЛрдз:

  • рд╡реНрдпрдХреНрддрд┐рдкрд░рдХ рд╕реЛрдЪ рдХреА рдШрдЯрдирд╛ рдХреЛ рдПрд▓реНрдЧреЛрд░рд┐рджрдо рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред
  • рд▓реЗрдЦ рдореЗрдВ рдкреНрд░рд╕реНрддреБрдд рдПрд▓реНрдЧреЛрд░рд┐рдердо рд╕реЛрдЪрддрд╛ рд╣реИ рдФрд░ рдЗрд╕рдХрд╛ рдЙрдкрдпреЛрдЧ рд╡реНрдпрд╛рд╡рд╣рд╛рд░рд┐рдХ рд░реВрдк рд╕реЗ рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред
  • рд╕реЛрдЪ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ, рд╣рдо рдЪреЗрддрдирд╛ рдХреЛ рдПрдХ рд╕реНрдкрд░реНрд╢реЛрдиреНрдореБрдЦ рд░реВрдк рдореЗрдВ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд░ рд╕рдХрддреЗ рд╣реИрдВред

рд▓реЗрдЦрдХ рдХрд╛ рджреГрд╖реНрдЯрд┐рдХреЛрдг рд╕рд╛рдорд╛рдиреНрдп рд╣реИ ред рд╕рдмрд╕реЗ рдкрд╣рд▓реЗ, рдореИрдВ рдЗрд╕ рдзрд╛рд░рдгрд╛ рд╕реЗ рдЖрдЧреЗ рдмрдврд╝рддрд╛ рд╣реВрдВ рдХрд┐ рддрд░реНрдХрд╕рдВрдЧрддрддрд╛ рдФрд░ рдЬрдЯрд┐рд▓рддрд╛ рдПрдХ рд╣реИ рдФрд░ рдПрдХ рд╣реА рд╣реИред рдирддреАрдЬрддрди, рдЬрдЯрд┐рд▓рддрд╛ рдХрд╛ рддрд░реНрдХ, рдЬреЛ рдХреБрдЫ рднреА рд╕рд╛рд░ рдореЗрдВ рд╣реЛ рд╕рдХрддрд╛ рд╣реИ, рдХрд┐рд╕реА рдЕрдиреНрдп рдкреНрд░рдХрд╛рд░ рдХреЗ рддрд░реНрдХ рд╕реЗ рдкрд╣рд▓реЗ рдФрд░ рдЗрд╕рд▓рд┐рдП рдирд┐рд░рдкреЗрдХреНрд╖ рд╣реИред рдпрд╣ рдЗрд╕ рджреГрд╖реНрдЯрд┐рдХреЛрдг рд╕реЗ рд╣реИ рдХрд┐ рдореЗрд░рд╛ рдкреНрд░рд╕реНрддрд╛рд╡рд┐рдд рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдЙрдЪрд┐рдд рд╣реИ, рдХреНрдпреЛрдВрдХрд┐ рдпрд╣ рдФрдкрдЪрд╛рд░рд┐рдХ рдХрдВрдкреНрдпреВрдЯрд┐рдВрдЧ рдкреНрд░рдХреНрд░рд┐рдпрд╛ рдореЗрдВ рдХрд┐рд╕реА рднреА рд╕рдВрд░рдЪрдирд╛рддреНрдордХ рдЬрдЯрд┐рд▓рддрд╛ рдХреЛ рдкреНрд░рд╛рдкреНрдд рдХрд░ рд╕рдХрддрд╛ рд╣реИред

рд╕реЛрдЪ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдирд┐рдореНрдирд▓рд┐рдЦрд┐рдд рдЧреБрдгреЛрдВ рдХреЗ рд╕рд╛рде рдЬрдЯрд┐рд▓рддрд╛ рдХреЗ рдФрдкрдЪрд╛рд░рд┐рдХ рддрд░реНрдХ рдкрд░ рдЖрдзрд╛рд░рд┐рдд рд╣реИ:

  1. рддрд░реНрдХ рдХреА рд╡рд╕реНрддреБрдПрдВ рдЕрдореВрд░реНрдд рд╕рд┐рджреНрдзрд╛рдВрдд рд╣реИрдВред
  2. рдХрд┐рд╕реА рднреА рд╕рд┐рджреНрдзрд╛рдВрдд рдореЗрдВ рдЬрдЯрд┐рд▓рддрд╛ рд╣реИ рдФрд░ рдЗрд╕ рдЬрдЯрд┐рд▓рддрд╛ рдХреЛ рд╕реНрдкрд╖реНрдЯ рд░реВрдк рд╕реЗ рд╕рддреНрдпрд╛рдкрд┐рдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред
  3. рдХрд┐рд╕реА рднреА рд╕рд┐рджреНрдзрд╛рдВрдд рд╕реЗ, рдПрдХ рдЕрдзрд┐рдХ рдЬрдЯрд┐рд▓ рд╕рд┐рджреНрдзрд╛рдВрдд рдХрд╛рдЯрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред
  4. рдХрд┐рд╕реА рднреА рдЬрдЯрд┐рд▓ рд╕рд┐рджреНрдзрд╛рдВрдд рд╕реЗ, рдПрдХ рд╕рд░рд▓ рд╕рд┐рджреНрдзрд╛рдВрдд рдХрд╛рдЯрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред
  5. рджреЛ рдЕрд▓рдЧ-рдЕрд▓рдЧ рд╕рд┐рджреНрдзрд╛рдВрддреЛрдВ рд╕реЗ рдЕрд▓рдЧ-рдЕрд▓рдЧ рдирд┐рд╖реНрдХрд░реНрд╖ рд╣реЛрдВрдЧреЗред
  6. рдХреЛрдИ рднреА рд╕рд┐рджреНрдзрд╛рдВрдд рд╕рд╛рд░реНрдердХ рд╣реИред рдПрдХ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЛ рд╕рд╛рд░реНрдердХ рдХрд╣рд╛ рдЬрд╛рддрд╛ рд╣реИ рдпрджрд┐ рдпрд╣ рдЕрджреНрд╡рд┐рддреАрдп рдФрд░ рдЕрд╕реАрдо рд░реВрдк рд╕реЗ рдЬрдЯрд┐рд▓ рд╣реИред рд╡реНрдпрд╡рд╣рд╛рд░ рдореЗрдВ, рдЗрд╕рдХрд╛ рдорддрд▓рдм рдпрд╣ рд╣реИ рдХрд┐ рдПрдХ рд╕рдВрднрд╛рд╡рд┐рдд рд╕рд┐рджреНрдзрд╛рдВрдд рд╕реЗ рдирд┐рд╖реНрдХрд░реНрд╖ рдХреА рдПрдХ рд╕рдВрднрд╛рд╡рд┐рдд рдЕрдирдВрдд рд╢реНрд░реГрдВрдЦрд▓рд╛ рдХрд╛ рдирд┐рд░реНрдорд╛рдг рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ, рдЬреИрд╕реЗ рдХрд┐ рд╢реНрд░реГрдВрдЦрд▓рд╛ рдХреЗ рд╕рднреА рдирд┐рд╖реНрдХрд░реНрд╖ рдЕрджреНрд╡рд┐рддреАрдп рд╣реИрдВ рдФрд░ рдкреНрд░рддреНрдпреЗрдХ рдмрд╛рдж рдХреЗ рдирд┐рд╖реНрдХрд░реНрд╖ рдкрд┐рдЫрд▓реЗ рдПрдХ рдХреА рддреБрд▓рдирд╛ рдореЗрдВ рдЕрдзрд┐рдХ рдЬрдЯрд┐рд▓ рд╣реИрдВред

рдПрдХ рд╕рд░рд▓ рд╕рд┐рджреНрдзрд╛рдВрдд рд╕реЗ рдПрдХ рдЕрдзрд┐рдХ рдЬрдЯрд┐рд▓ рдПрдХ рдореЗрдВ рдкрд░рд┐рд╡рд░реНрддрди, рдХрдИ рдкрд░реНрдпрд╛рдкреНрдд рд╕рд┐рджреНрдзрд╛рдВрддреЛрдВ рдХреЗ рд╕рд╛рде, рд╕рд╣рдЬ рд░реВрдк рд╕реЗ рдЖрджрд░реНрд╢ рд╕реЛрдЪ рдХреА рдЕрд╡рдзрд╛рд░рдгрд╛ рд╕реЗ рдореЗрд▓ рдЦрд╛рддреА рд╣реИред рдЗрд╕ рддрд░рд╣ рдХреЗ рддрд░реНрдХ рдХрд╛ рд░рдЪрдирд╛рддреНрдордХ рдХрд╛рд░реНрдпрд╛рдиреНрд╡рдпрди рдЕрдиреНрдп рдмрд╛рддреЛрдВ рдХреЗ рдЕрд▓рд╛рд╡рд╛, рд╕реЛрдЪ рдХрд╛ рд░рдЪрдирд╛рддреНрдордХ рд╕рд┐рджреНрдзрд╛рдВрдд рд╣реЛрдЧрд╛ред

рдЕрдореВрд░реНрдд рд╕рд┐рджреНрдзрд╛рдВрддреЛрдВ рдХреЗ рдмрд╛рд░реЗ рдореЗрдВ рдЕрдзрд┐рдХ ред рдЕрдореВрд░реНрдд рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЛрдИ рднреА рдРрд╕реА рдЪреАрдЬ рд╣реИ рдЬрд┐рд╕рдХреЗ рдмрд╛рд░реЗ рдореЗрдВ рдХреЗрд╡рд▓ рдпрд╣ рдЬрд╛рдирд╛ рдЬрд╛рддрд╛ рд╣реИ рдХрд┐ рд╡реЗ рд░рдЪрдирд╛рддреНрдордХ рдЬрдЯрд┐рд▓рддрд╛ рдореЗрдВ рдирд┐рд╣рд┐рдд рд╣реИрдВ, рдХреНрдпреЛрдВрдХрд┐ рдЗрд╕ рдЬрдЯрд┐рд▓рддрд╛ рдХреЛ рд╕реНрдкрд╖реНрдЯ рд░реВрдк рд╕реЗ рд╕рддреНрдпрд╛рдкрд┐рдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред рдФрд░ рдпрд╣ рднреА рдЬреНрдЮрд╛рдд рд╣реИ рдХрд┐ рдРрд╕реА рдХрд┐рд╕реА рднреА рдЪреАрдЬ рд╕реЗ рдПрдХ рд░рдЪрдирд╛рддреНрдордХ рд╕рдВрдХреНрд░рдордг рд╕реЗ рджреВрд╕рд░реЗ рдореЗрдВ рдЕрдзрд┐рдХ рдЬрдЯрд┐рд▓ рдЯреБрдХрдбрд╝реЗ рд╕рдВрднрд╡ рд╣реИрдВ рдФрд░ рдпрд╣ рднреА рдЬрд╛рдВрдЪрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред

рд░рдЪрдирд╛рддреНрдордХ рдЬрдЯрд┐рд▓рддрд╛ рдХреЗ рдмрд╛рд░реЗ рдореЗрдВ рдЕрдиреМрдкрдЪрд╛рд░рд┐рдХ рд░реВрдк рд╕реЗ ред рдПрдХ рдЬрдЯрд┐рд▓ рд╡рд╕реНрддреБ рдПрдХ рдРрд╕реА рдЪреАрдЬ рд╣реИ рдЬрд┐рд╕реЗ рд╕рд╛рдзрд╛рд░рдг рд╡рд╕реНрддреБрдУрдВ рдореЗрдВ рд╡рд┐рд╢рд┐рд╖реНрдЯ рд░реВрдк рд╕реЗ рд╡рд┐рдШрдЯрд┐рдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред рдПрдХ рдЬрдЯрд┐рд▓ рд╡рд╕реНрддреБ рдореЗрдВ рдЬрд┐рддрдиреА рдЕрдзрд┐рдХ рд╕рд░рд▓ рд╡рд╕реНрддреБрдПрдВ рд╣реЛрддреА рд╣реИрдВ, рдЙрддрдиреА рд╣реА рдЕрдзрд┐рдХ рдЬрдЯрд┐рд▓ рд╡рд╕реНрддреБ рд╣реЛрддреА рд╣реИред рд╕рд╛рдзрд╛рд░рдг рд╡рд╕реНрддреБрдУрдВ рдХреЛ рдПрдХ рдЕрдиреЛрдЦреЗ рддрд░реАрдХреЗ рд╕реЗ рдирд╣реАрдВ рдмрдирд╛рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред рд╕рднреА рд╕рд░рд▓ рд╡рд╕реНрддреБрдУрдВ рдХреА рдЬрдЯрд┐рд▓рддрд╛ рд╕рдорд╛рди рд╣реИред

рддрджрдиреБрд╕рд╛рд░, рдЕрдореВрд░реНрдд рд╕рд┐рджреНрдзрд╛рдВрдд рджреЛ рдкреНрд░рдХрд╛рд░реЛрдВ рдореЗрдВ рд╡рд┐рднрд╛рдЬрд┐рдд рд╣реИрдВ: рд╕рд░рд▓ рдФрд░ рдЬрдЯрд┐рд▓ред рдПрдХ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЛ рдЬрдЯрд┐рд▓ рдХрд╣рд╛ рдЬрд╛рддрд╛ рд╣реИ рдпрджрд┐, рдХреБрдЫ рдкреНрд░рдХреНрд░рд┐рдпрд╛ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ, рд╕рд░рд▓ рд╕рд┐рджреНрдзрд╛рдВрддреЛрдВ рдХрд╛ рдПрдХ рдЕрдиреВрдард╛ рд╕реЗрдЯ рдЗрд╕реЗ рд╕реЗ рдкреНрд░рд╛рдкреНрдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред рдмрджрд▓реЗ рдореЗрдВ, рд╕рднреА рд╕рд░рд▓ рд╕рд┐рджреНрдзрд╛рдВрддреЛрдВ рдХреЗ рд▓рд┐рдП, рдПрдХ рд╣реА рдкреНрд░рдХреНрд░рд┐рдпрд╛ рдПрдХ рдирд┐рд░рдВрддрд░ рдкрд░рд┐рдгрд╛рдо рджреЗрддреА рд╣реИ, рдФрд░ рдЗрд╕ рдкреНрд░рдХрд╛рд░ рд╕рд░рд▓ рд╕рд┐рджреНрдзрд╛рдВрддреЛрдВ рдХреА рдЬрдЯрд┐рд▓рддрд╛ рд╕рдорд╛рди рд╣реЛрддреА рд╣реИред рдЗрд╕ рддрдереНрдп рдХреЗ рдХрд╛рд░рдг рдХрд┐ рд╡рд┐рдЪрд╛рд░рд╛рдзреАрди рддрд░реНрдХ рдореЗрдВ рдЬрдЯрд┐рд▓рддрд╛ рд░рдЪрдирд╛рддреНрдордХ рд░реВрдк рд╕реЗ рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдХреА рдЬрд╛рддреА рд╣реИ, рдЗрд╕рдХреА рдЧрдгрдирд╛ рдФрд░ рддреБрд▓рдирд╛ рдХреА рдЬрд╛ рд╕рдХрддреА рд╣реИред рджреЛ рд╕рд┐рджреНрдзрд╛рдВрддреЛрдВ рдореЗрдВ рдПрдХ рд╣реА рдЬрдЯрд┐рд▓рддрд╛ рд╣реИ рдпрджрд┐ рдЙрдиреНрд╣реЗрдВ рд╕рдорд╛рди рд╕рд┐рджреНрдзрд╛рдВрддреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ рдореЗрдВ рд╡рд┐рдШрдЯрд┐рдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред рдЕрдзрд┐рдХ рд╕рд░рд▓ рд╕рд┐рджреНрдзрд╛рдВрдд рдЖрдк рдкреНрд░рд╛рдкреНрдд рдХрд░ рд╕рдХрддреЗ рд╣реИрдВ, рдореВрд▓ рд╕рд┐рджреНрдзрд╛рдВрдд рдЬрд┐рддрдирд╛ рдЬрдЯрд┐рд▓ рд╣реЛрдЧрд╛ред

рдЬрдЯрд┐рд▓рддрд╛ рдХреА рдФрдкрдЪрд╛рд░рд┐рдХ рдкрд░рд┐рднрд╛рд╖рд╛ ред рд╕рд┐рджреНрдзрд╛рдВрддреЛрдВ рдХреЗ рд╕реЗрдЯ рдкрд░ S = P set C , рдЬрд╣рд╛рдБ P = {s ories S | A [s] = тИЕ} рд╕рд░рд▓ рд╕рд┐рджреНрдзрд╛рдВрддреЛрдВ рдХрд╛ рдПрдХ рд╕рдмрд╕реЗрдЯ рд╣реИ, C = {s] S | A [s] [is} рдЬрдЯрд┐рд▓ рд╕рд┐рджреНрдзрд╛рдВрддреЛрдВ рдХрд╛ рдПрдХ рдЙрдк рд╕рдореВрд╣ рд╣реИ, рдСрдкрд░реЗрдЯрд░ A: S тЖТ 2 P рдЬрдЯрд┐рд▓рддрд╛ рдХреЛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд░рддрд╛ рд╣реИ рдпрджрд┐ тЙа (c 1 , c 2 ), C , c 1 2 c 2 , A [c 1 ] тЙа A [c 2 ] ; рдпрд╣реА рд╣реИ, рдХрд┐рд╕реА рднреА рдЬрдЯрд┐рд▓ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рд▓рд┐рдП рд╕рд░рд▓ рд▓реЛрдЧреЛрдВ рдореЗрдВ рдПрдХ рдЕрджреНрд╡рд┐рддреАрдп рдЕрдкрдШрдЯрди рд╣реИред рдмрджрд▓реЗ рдореЗрдВ, рдПред [рдП] |: рдЬрдЯрд┐рд▓рддрд╛ рдХрд╛ рдПрдХ рд╕рдВрдЦреНрдпрд╛рддреНрдордХ рдЙрдкрд╛рдп рдПрд╕ред

рдЬрдЯрд┐рд▓рддрд╛ рдХрд╛ рддрд░реНрдХ ред рд╕рд┐рджреНрдзрд╛рдВрддреЛрдВ рдПрд╕ , рдСрдкрд░реЗрдЯрд░ рдП рдФрд░ рдСрдкрд░реЗрдЯрд░ рдбреА рдХрд╛ рд╕реЗрдЯ: рдПрд╕ тЖТ рдПрд╕ рдРрд╕рд╛ рд╣реИ рдХрд┐ thes, рдПрд╕ ;; рдП / рдПрд╕] | <| A [D [s]] |, рдФрд░ s (s 1 , s 2 ), S , s 1 [s 2 , D [s 1 ] [D [s 2 ], рдЬрдЯрд┐рд▓рддрд╛ рдХреЗ рддрд░реНрдХ рдХреЛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд░рддреЗ рд╣реИрдВред рдХрд┐рд╕реА рднреА рд╕рд┐рджреНрдзрд╛рдВрдд рд╕реЗ рдСрдкрд░реЗрдЯрд░ рдбреА рдПрдХ рдирдпрд╛, рдПрдХ рдФрд░ рдЕрдзрд┐рдХ рдЬрдЯрд┐рд▓ рдХреА рдЧрд╛рд░рдВрдЯреА рджреЗрддрд╛ рд╣реИред

рдЬрдЯрд┐рд▓рддрд╛ рдХреЗ рддрд░реНрдХ рдХрд╛ рдХрд╛рд░реНрдпрд╛рдиреНрд╡рдпрди ред рдКрдкрд░ рд╡рд░реНрдгрд┐рдд рддрд░реНрдХ рдХреЛ рдПрдХ рд╡рд┐рд╢реЗрд╖ рдкреНрд░рдХрд╛рд░ рдХреЗ рддрд╛рд░реЛрдВ рдкрд░ рдФрдкрдЪрд╛рд░рд┐рдХ рд╕рдВрдЪрд╛рд▓рди рдореЗрдВ рд╡реНрдпрдХреНрдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред рдХреГрдкрдпрд╛ рдХрд╛рд░реНрдпрд╛рдиреНрд╡рдпрди рдХреЗ рд╡рд┐рд╕реНрддреГрдд рд╡рд┐рд╡рд░рдг рдХреЗ рд▓рд┐рдП рдкрд╣рд▓рд╛ рд▓реЗрдЦ рджреЗрдЦреЗрдВред рдиреАрдЪреЗ рдХрд╛рд░реНрдпрд╛рдиреНрд╡рдпрди рдХрд╛ рд╕рд┐рд░реНрдл рдПрдХ рд╕рд░рд▓реАрдХреГрдд, рдпреЛрдЬрдирд╛рдмрджреНрдз рд╡рд░реНрдгрди рд╣реИред

рдХрдИ рд╕рд┐рджреНрдзрд╛рдВрдд ред рд╕рд┐рджреНрдзрд╛рдВрддреЛрдВ рдХрд╛ рдкреНрд░рддрд┐рдирд┐рдзрд┐рддреНрд╡ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП, рд╕реНрдЯреНрд░рд┐рдВрдЧреНрд╕ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ, рдЬрд┐рд╕рдореЗрдВ рдХреЛрд╖реНрдардХ '(', ')' 'рдФрд░ рдХреЛрд╖реНрдардХ рдХреЗ рдЕрдВрджрд░ рдХрд┐рд╕реА рднреА рдЧреНрд░рд╛рдлрд┐рдХ рдЖрдЗрдбреЗрдВрдЯрд┐рдлрд╝рд╛рдпрд░ рдХрд╛ рдПрдХ рдордирдорд╛рдирд╛ рдЕрдиреБрдХреНрд░рдо рд╣реЛрддрд╛ рд╣реИред рд╕рдВрдХреНрд╖рд┐рдкреНрддрддрд╛ рдХреЗ рд▓рд┐рдП, рдкреНрд░рддреНрдпреЗрдХ рдЕрдХреНрд╖рд░ рдХреЛ рдПрдХ рдЕрд▓рдЧ рдкрд╣рдЪрд╛рдирдХрд░реНрддрд╛ рдорд╛рдирд╛ рдЬрд╛рддрд╛ рд╣реИред рд╕реНрдЯреНрд░рд┐рдВрдЧ рдХреА рд╕рдВрдкреВрд░реНрдг рд╕рд╛рдордЧреНрд░реА рдЖрдо рдмрд╛рд╣рд░реА рдХреЛрд╖реНрдардХ рдореЗрдВ рд╕рдВрд▓рдЧреНрди рд╣реЛрдиреА рдЪрд╛рд╣рд┐рдПред рд▓рд╛рдЗрди рдореЗрдВ рдкреНрд░рддреНрдпреЗрдХ рдЦреЛрд▓рдиреЗ рдХреЗ рд▓рд┐рдП рдмреНрд░реИрдХреЗрдЯ рдмрдВрдж рд╣реЛрдирд╛ рдЪрд╛рд╣рд┐рдПред рдЙрджрд╛рд╣рд░рдг: рд▓рд╛рдЗрди ((рдмреА) рдП (рдИ) рд╕рд╣реА рд╣реИ, рдЬрдмрдХрд┐ рд▓рд╛рдЗрдиреЗрдВ (рдмреА) рдП (рдИ) , (рдП (рдИ) рдЧрд▓рдд рд╣реИрдВред

рдХрдИ рдПрд╕ рд╕рд┐рджреНрдзрд╛рдВрддреЛрдВ рдореЗрдВ рд╕рднреА рд╕рдВрднрд╡ рдирд┐рдпрдорд┐рдд рд▓рд╛рдЗрдиреЗрдВ рд╢рд╛рдорд┐рд▓ рд╣реИрдВред

рджреЛ рд░реЗрдЦрд╛рдПрдБ рд╕рдорд╛рди рд╣реЛрддреА рд╣реИрдВ рдпрджрд┐ рд╡реЗ рд╕рдмрд╕реНрдЯреНрд░рд┐рдВрдЧ рдореЗрдВ рдЕрд╡рд┐рднрд╛рдЬреНрдп рддрддреНрд╡реЛрдВ рдХреЗ рдХреНрд░рдорди рдХреЗ рд▓рд┐рдП рдореЗрд▓ рдЦрд╛рддреА рд╣реИрдВред рдЖрдк рддрддреНрд╡реЛрдВ рдХреЛ рдХреИрд╕реЗ рдкреБрдирд░реНрд╡реНрдпрд╡рд╕реНрдерд┐рдд рдХрд░ рд╕рдХрддреЗ рд╣реИрдВ рдЗрд╕рдХрд╛ рдПрдХ рдЙрджрд╛рд╣рд░рдг: (ab (cd)) (((cd) ab) d (b (dc) a) тЙб ... тЙб ((dc) ba)ред рдЦрд╛рд▓реА рдкрджрд╛рд░реНрде рдорд╣рддреНрд╡рдкреВрд░реНрдг рдирд╣реАрдВ рд╣реИрдВ рдФрд░ рдЙрдиреНрд╣реЗрдВ рдлреЗрдВрдХ рджрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ, рдЙрджрд╛рд╣рд░рдг рдХреЗ рд▓рд┐рдП, (()) ings (рдП)ред

рд╡рд╛рдкрд╕реА рдХреЗ рдирд┐рдпрдо ред рд╕реЗрдЯ S рдкрд░, рддреАрди рдЗрдВрдЬреЗрдХреНрд╢рди рдирд┐рдпрдо рджрд┐рдП рдЧрдП рд╣реИрдВред

рдЕрдореВрд░реНрддрди рдХрд╛ рдирд┐рдпрдо ред рдХрд┐рд╕реА рджрд┐рдП рдЧрдП рд╕реНрдЯреНрд░рд┐рдВрдЧ рдХреЗ рд╕рдмрд╕реНрдЯреНрд░рд┐рдВрдЧ рдкрд░ рд▓рд╛рдЧреВ рд╣реЛрддрд╛ рд╣реИред рдЖрдкрдХреЛ рдЙрд╕реА рд╕рд╛рдордЧреНрд░реА рдХреЛ рдмреНрд░реИрдХреЗрдЯ рдХрд░рдиреЗ рдХреА рдЕрдиреБрдорддрд┐ рджреЗрддрд╛ рд╣реИред рдирд┐рдореНрди рд╕реНрддрд░ рдХреЗ рдЕрдиреБрд╕рд╛рд░ рдХреЛрд╖реНрдардХ рдХреЗ рдХрд┐рд╕реА рднреА рд╕рдореВрд╣ рд╕реЗ, рд╕рдорд╛рди рд╕рдорд░реВрдк рдкрджрд╛рд░реНрдереЛрдВ рдХреЛ рдХреЛрд╖реНрдардХ рд╕реЗ рдмрд╛рд╣рд░ рдирд┐рдХрд╛рд▓рд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ:

((ab)(ac)) тЗТ (a(bc));

((ab)(abc)) тЗТ { (a(bbc)), (b(aac)), (ab(c )) };

((ab)(ac)(ae)) тЗТ { (a(bce)), (a(bc)(ae)), (a(ab)(ce)) };


рдЕрдореВрд░реНрддрддрд╛ рдХреЗ рдирд┐рдпрдо рд╕реЗ, рдкрд░рд┐рдгрд╛рдо рд╣рдореЗрд╢рд╛ рдореВрд▓ рд╕реНрдЯреНрд░рд┐рдВрдЧ рдХреА рддреБрд▓рдирд╛ рдореЗрдВ рд╕рд░рд▓ рд╣реЛрддреЗ рд╣реИрдВред рд╕рд░рд▓ рддрд╛рд░ рдХреЗ рдорд╛рдорд▓реЗ рдореЗрдВ, рдЙрджрд╛рд╣рд░рдг рдХреЗ рд▓рд┐рдП, ((рдП) (рдмреА)), рдЕрдореВрд░реНрдд рдирд┐рдпрдо рдХреЛ рд▓рд╛рдЧреВ рдХрд░рдиреЗ рдХрд╛ рдкрд░рд┐рдгрд╛рдо рдЦрд╛рд▓реА рд╣реИред рдЕрдореВрд░реНрдд рдирд┐рдпрдо рдХрд╛ рдкреБрдирд░рд╛рд╡рд░реНрддреА рдЖрд╡реЗрджрди рдЖрдкрдХреЛ рд╕рд░рд▓ рдореЗрдВ рдХрд┐рд╕реА рднреА рдЬрдЯрд┐рд▓ рд╕реНрдЯреНрд░рд┐рдВрдЧ рдХреЛ рд╡рд┐рдШрдЯрд┐рдд рдХрд░рдиреЗ рдХреА рдЕрдиреБрдорддрд┐ рджреЗрддрд╛ рд╣реИред

рдХрдЯреМрддреА рдХрд╛ рдирд┐рдпрдо ред рдЗрд╕ рдирд┐рдпрдо рдХреЗ рдЕрдиреБрд╕рд╛рд░, рдЖрдк рдирд┐рдореНрди рдкрдВрдХреНрддрд┐ рдХреЗ рдЕрдиреБрд╕рд╛рд░ рдореВрд▓ рдкрдВрдХреНрддрд┐ рд╕реЗ рд╕рднреА рддрддреНрд╡реЛрдВ рдХреЛ рдЬрд┐рддрдиреА рдмрд╛рд░ рдЪрд╛рд╣реЗрдВ, рдореВрд▓ рдкрдВрдХреНрддрд┐ рд╕реЗ рдЬрд┐рддрдиреА рдирдИ рд▓рд╛рдЗрдиреЗрдВ рдкреНрд░рд╛рдкреНрдд рдХрд░ рд╕рдХрддреЗ рд╣реИрдВ, рдкреНрд░рд╛рдкреНрдд рдХрд░ рд╕рдХрддреЗ рд╣реИрдВ:

(a) тЗТ { ((aa)(aa)), ((aaa)(aaa)(aaa)), ((aaaa)(aaaa)(aaaa)(aaaa)), тАж};

(a(b)) тЗТ { ((aa(bb)(bb))(aa(bb)(bb))), ((aaa(bbb)(bbb)(bbb))(aaa(bbb)(bbb)(bbb))(aaa(bbb)(bbb)(bbb))), тАж};

(a(b(cc))) тЗТ { (aa(bb(cccc)(cccc))(bb(cccc)(cccc)))(aa(bb(cccc)(cccc))(bb(cccc)(cccc))), тАж};


рд░рдЪрдирд╛ рдирд┐рдпрдо S рд╕реЗ рд▓рд╛рдЗрдиреЛрдВ рдХреЗ рдХрд┐рд╕реА рднреА рд╕реЗрдЯ рдХреЛ рдПрдХ рд▓рд╛рдЗрди рдореЗрдВ рдЬреЛрдбрд╝рд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред рдЙрджрд╛рд╣рд░рдг рдХреЗ рд▓рд┐рдП: (рдП), (рдмреА), (рдИ) тЗТ (рдП) (рдмреА) (рдИ))ред

рдСрдкрд░реЗрдЯрд░ рдПред рдСрдкрд░реЗрдЯрд░ рдХрд╛ рдкрд░рд┐рдгрд╛рдо рд╕рд░рд▓ рддрд╛рд░реЛрдВ рдХрд╛ рдПрдХ рдЕрдиреВрдард╛ рд╕реЗрдЯ рд╣реИред рдХрд┐рд╕реА рджрд┐рдП рдЧрдП рд▓рд╛рдЗрди рдореЗрдВ рдЕрдореВрд░реНрддрддрд╛ рдХреЗ рдирд┐рдпрдо рдХрд╛ рдкреБрдирд░рд╛рд╡рд░реНрддреА рдЕрдиреБрдкреНрд░рдпреЛрдЧ, рдЬрдм рддрдХ рдпрд╣ рдмрдВрдж рдирд╣реАрдВ рд╣реЛ рдЬрд╛рддрд╛ рд╣реИ рдЬрдм рд╕рднреА рд╕рдВрднрд╛рд╡рд┐рдд рдЕрдкрдШрдЯрди рд╡рд┐рдХрд▓реНрдк рд╕рдорд╛рдкреНрдд рд╣реЛ рдЬрд╛рддреЗ рд╣реИрдВ, рдСрдкрд░реЗрдЯрд░ рдП рдХреА рдХрд╛рд░реНрд░рд╡рд╛рдИ рд╕реЗ рдореЗрд▓ рдЦрд╛рддреА рд╣реИред

рдореИрдВ рдЗрд╕ рддрдереНрдп рдкрд░ рдзреНрдпрд╛рди рдЖрдХрд░реНрд╖рд┐рдд рдХрд░рдирд╛ рдЪрд╛рд╣рддрд╛ рд╣реВрдВ рдХрд┐ рдореБрдЦреНрдп рд▓реЗрдЦ рдореЗрдВ, рдП рдСрдкрд░реЗрдЯрд░ рдХреЗ рд╡рд┐рдкрд░реАрдд, рдЕрдореВрд░реНрдд рдСрдкрд░реЗрдЯрд░, рдЗрд╕рдХреЗ рдХрд╛рдо рдХреЗ рдкрд░рд┐рдгрд╛рдо рдореЗрдВ рди рдХреЗрд╡рд▓ рд╕рд░рд▓, рдмрд▓реНрдХрд┐ рд╕рд╛рдорд╛рдиреНрдп рд░реВрдк рд╕реЗ рд╕рднреА рд░реЗрдЦрд╛рдПрдВ рд╢рд╛рдорд┐рд▓ рд╣реИрдВ рдЬрд┐рдиреНрд╣реЗрдВ рдЕрдореВрд░реНрдд рдирд┐рдпрдо рдХреЗ рдЕрдиреБрд╕рд╛рд░ рдШрдЯрд╛рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред

рдСрдкрд░реЗрдЯрд░ рдбреАред рдХрд┐рд╕реА рджрд┐рдП рдЧрдП рджреЛрд╣рд░рд╛рд╡ рдкреИрд░рд╛рдореАрдЯрд░ рдХреЗ рд╕рд╛рде рдПрдХ рдХрдЯреМрддреА рдирд┐рдпрдо рдСрдкрд░реЗрдЯрд░ рдбреА рдХреА рдХрд╛рд░реНрд░рд╡рд╛рдИ рд╕реЗ рдореЗрд▓ рдЦрд╛рддреА рд╣реИ рдХрд┐рд╕реА рднреА рд▓рд╛рдЗрди рд╕реЗ, рдХрдЯреМрддреА рдирд┐рдпрдо рд╕реЗ рдПрдХ рдЕрдзрд┐рдХ рдЬрдЯрд┐рд▓ рд░реЗрдЦрд╛ рдХрд╛рдЯрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ, рдФрд░ рдСрдкрд░реЗрдЯрд░ рдП рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ рдЗрд╕ рддрдереНрдп рдХреЛ рдЬрд╛рдВрдЪрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред

рд░рдЪрдирд╛ рд╕рдВрдЪрд╛рд▓рдХ ()ред рд░рдЪрдирд╛ рдирд┐рдпрдо рдХреА рдХрд╛рд░реНрд░рд╡рд╛рдИ рдХреЗ рдЕрдиреБрд░реВрдк рд╣реИред

рдЗрд╕ рдкреНрд░рдХрд╛рд░, рдПрдХ рдФрдкрдЪрд╛рд░рд┐рдХ рдкреНрд░рдгрд╛рд▓реА рдкреНрд░рд╛рдкреНрдд рдХреА рдЬрд╛рддреА рд╣реИ рдЬреЛ рдЬрдЯрд┐рд▓рддрд╛ рддрд░реНрдХ рдХреА рдкрд░рд┐рднрд╛рд╖рд╛ рдХреЛ рд╕рдВрддреБрд╖реНрдЯ рдХрд░рддреА рд╣реИред

рд╕рд┐рджреНрдзрд╛рдВрддреЛрдВ рдХреА рд╕рд╛рдордЧреНрд░реА ред рдЬрдЯрд┐рд▓рддрд╛ рдХреЗ рддрд░реНрдХ рдореЗрдВ, рд╣рд░ рд╕рд┐рджреНрдзрд╛рдВрдд рд╕рд╛рд░реНрдердХ рд╣реИред рдЪреВрдВрдХрд┐ тИАs there S рдореЗрдВ рд╡реГрджреНрдзрд┐ рдФрд░ рд╕рдВрднрд╛рд╡рд┐рдд рд░реВрдк рд╕реЗ рдЕрдирдВрдд рдЬрдЯрд┐рд▓рддрд╛ рдХреЗ рдирд┐рд╖реНрдХрд░реНрд╖реЛрдВ рдХреА рдПрдХ рдЕрдиреВрдареА рд╢реНрд░реГрдВрдЦрд▓рд╛ рд╣реИ t n = (A [D [t n-1 ]])ред

рдЕрд╕рдВрдЧрддрд┐ рдкрд░рд┐рдХрд▓реНрдкрдирд╛ ред рд╕рд╛рдорд╛рдиреНрдп рд░реВрдк рдХреЗ рд╕рдореВрд╣ T s = {pред S | тИАn тИИ рдПрди , рдкреА [рдП [рдбреА [рдЯреА рдПрди ]]; t n = (A [D [t n-1 ]]); t 0 = s} рдореИрдВ рдЕрдХрд╛рд░рдг рдорд╛рдирддрд╛ рд╣реВрдВред рд╕реЗрдЯ T s рдореЗрдВ рд╕рднреА рд╕рд░рд▓ рд╕реНрдЯреНрд░рд┐рдВрдЧреНрд╕ рд╣реЛрддреЗ рд╣реИрдВ рдЬреЛ рдкреНрд░рд╛рд░рдВрдн рд▓рд╛рдЗрди s рд╕реЗ рдкреБрдирд░рд╛рд╡рд░реНрддреА рдлрд╝рдВрдХреНрд╢рди t n рджреНрд╡рд╛рд░рд╛ рдкреНрд░рд╛рдкреНрдд рдХрд┐рдП рдЬрд╛рддреЗ рд╣реИрдВред рдЯреА рдПрд╕ рдХреА рдЕрд╕реНрдерд┐рд░рддрд╛ рдХреЛ рджреЗрдЦрддреЗ рд╣реБрдП, рдЖрдЙрдЯрдкреБрдЯ рдЯреА рдПрди рдПрд▓реНрдЧреЛрд░рд┐рджрдорд┐рдХ рд░реВрдк рд╕реЗ рдпрд╛рджреГрдЪреНрдЫрд┐рдХ рд╣реИред рдХреЛрдИ рд╕рдмреВрдд рдирд╣реАрдВ рд╣реИред

рд╕реЛрдЪред t n рдореЗрдВ рдЖрджрд░реНрд╢ рд╕реЛрдЪ рдХреЗ рд░реВрдк рдореЗрдВ рдЬрдЯрд┐рд▓рддрд╛ рдХрд╛ рдЪрд░рд┐рддреНрд░ рд╣реИ рдФрд░ рдЗрд╕ рдЖрдзрд╛рд░ рдкрд░ рдЖрджрд░реНрд╢ рд╕реЛрдЪ рдХрд╛ рдПрдХ рд░реВрдк рд╣реИред рдкреНрд░рддреНрдпреЗрдХ рдкреБрдирд░рд╛рд╡реГрддрд┐ t n рдкрд░, рдПрдХ рдХрдо рдЬрдЯрд┐рд▓ рд╕рд┐рджреНрдзрд╛рдВрдд рд╕реЗ рдПрдХ рдирдП, рдЕрдзрд┐рдХ рдЬрдЯрд┐рд▓ рд╕рд┐рджреНрдзрд╛рдВрдд рдореЗрдВ рдПрдХ рд╕реНрдкрд╖реНрдЯ рд╕рдВрдХреНрд░рдордг рд╣реЛрддрд╛ рд╣реИ, рдРрд╕рд╛ рдкреНрд░рддреНрдпреЗрдХ рд╕рдВрдХреНрд░рдордг рдЕрджреНрд╡рд┐рддреАрдп рд╣реЛрддрд╛ рд╣реИ рдФрд░ рдпрд╣ рдкреНрд░рдХреНрд░рд┐рдпрд╛ рд╕рдВрднрд╛рд╡рд┐рдд рд░реВрдк рд╕реЗ рдЕрдВрддрд╣реАрди рд╣реЛрддреА рд╣реИред

рд╕реЛрдЪ рдПрдХ рдЪреИрддрдиреНрдп рд░реВрдк рдореЗрдВ рдЪреЗрддрдирд╛ рдХрд╛ рдПрд╣рд╕рд╛рд╕ рдХрд░рддреА рд╣реИред рдореЛрдЯреЗ рддреМрд░ рдкрд░, "рд╕рд┐рджреНрдзрд╛рдВрдд рдХреА рдЪреЗрддрдирд╛" рдЕрдВрддрд┐рдо, рдЕрд╕реАрдо рд░реВрдк рд╕реЗ рдЬрдЯрд┐рд▓ рд╕рд╛рдордЧреНрд░реА рд╣реИ рдЬреЛ рдХрдВрдкреНрдпреВрдЯрд┐рдВрдЧ рдХреА рдкреНрд░рдХреНрд░рд┐рдпрд╛ рдореЗрдВ t n рдЖрдХрд╛рдВрдХреНрд╖рд╛ рд░рдЦрддреА рд╣реИред

рд╡рд┐рд╖рдп рдХрд╛ рдЕрдиреБрднрд╡ ред рд╡рд┐рд╖рдпрдЧрдд рдЕрдиреБрднрд╡ рдЪреЗрддрдирд╛ рдХреЗ рдкреНрд░рдореБрдЦ рд╣реИрдВред рдЪреЗрддрдирд╛ рд░рдЪрдирд╛рддреНрдордХ рдирд╣реАрдВ рд╣реИред

рдХреНрдпрд╛ рдХрдВрдкреНрдпреВрдЯрд┐рдВрдЧ рдХреЗ рджреМрд░рд╛рди рдХрдВрдкреНрдпреВрдЯрд░ рдмрдЪ рдЬрд╛рдПрдЧрд╛? рдирд╣реАрдВред рд▓реЗрдХрд┐рди рдЧрдгрдирд╛ рдХреЗ рдкрд░рд┐рдгрд╛рдореЛрдВ рдореЗрдВ, рдХрдВрдкреНрдпреВрдЯрд░ рдХреА рдХреАрдордд рдкрд░ рдЕрдиреБрднрд╡ рд╣реЛ рд╕рдХрддрд╛ рд╣реИред

рдирд┐рд╖реНрдХрд░реНрд╖ред рдореЗрд░рд╛ рдорд╛рдирдирд╛ тАЛтАЛрд╣реИ рдХрд┐ рд╣рд░ рдХреЛрдИ рдЬрд╛рдирддрд╛ рд╣реИ рдХрд┐ рдХрд┐рд╕реА рдЪреАрдЬрд╝ рдХреЛ рд╡рд╛рд╕реНрддрд╡ рдореЗрдВ рдЬрдЯрд┐рд▓ рдмрдирд╛рдиреЗ рдореЗрдВ рдХрд┐рддрдиреА рдХрд▓реНрдкрдирд╛ рд▓рдЧрддреА рд╣реИред рди рд╕рд┐рд░реНрдл рдмрдбрд╝рд╛, рдмрд▓реНрдХрд┐ рдЬрдЯрд┐рд▓ред рдФрд░ рдЕрдирдВрдд рдЬрдЯрд┐рд▓рддрд╛ рдХреЗ рд▓рд┐рдП, рдЖрдкрдХреЛ рдЕрдВрддрд╣реАрди рдХрд▓реНрдкрдирд╛ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реИред рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдХрд╣рд╛рдБ рд╕реЗ рдЗрддрдиреА рдХрд▓реНрдкрдирд╛ рдкреНрд░рд╛рдкреНрдд рдХрд░рддрд╛ рд╣реИ? рдЬрдм рддрдХ рдлрдВрддрд╛рд╕реА рдЕрдкрдиреЗ рдЖрдк рдореЗрдВ рдПрдХ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдирд╣реАрдВ рд╣реИред

Source: https://habr.com/ru/post/hi466089/


All Articles