рдЗрд╕ рдкрд╛рда рдореЗрдВ рдореЗрд░реЗ рдкрд╣рд▓реЗ рд▓реЗрдЦ
"рд╕реЛрдЪ рдФрд░ рдЪреЗрддрдирд╛ рдХреЗ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо" рд╕реЗ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдХреЗ рд╕реНрдкрд╖реНрдЯреАрдХрд░рдг рд╣реИрдВред рдкрд╣рд▓реЗ рд▓реЗрдЦ рдХреЗ рд╢реЛрдз:
- рд╡реНрдпрдХреНрддрд┐рдкрд░рдХ рд╕реЛрдЪ рдХреА рдШрдЯрдирд╛ рдХреЛ рдПрд▓реНрдЧреЛрд░рд┐рджрдо рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред
- рд▓реЗрдЦ рдореЗрдВ рдкреНрд░рд╕реНрддреБрдд рдПрд▓реНрдЧреЛрд░рд┐рдердо рд╕реЛрдЪрддрд╛ рд╣реИ рдФрд░ рдЗрд╕рдХрд╛ рдЙрдкрдпреЛрдЧ рд╡реНрдпрд╛рд╡рд╣рд╛рд░рд┐рдХ рд░реВрдк рд╕реЗ рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред
- рд╕реЛрдЪ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ, рд╣рдо рдЪреЗрддрдирд╛ рдХреЛ рдПрдХ рд╕реНрдкрд░реНрд╢реЛрдиреНрдореБрдЦ рд░реВрдк рдореЗрдВ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд░ рд╕рдХрддреЗ рд╣реИрдВред
рд▓реЗрдЦрдХ рдХрд╛ рджреГрд╖реНрдЯрд┐рдХреЛрдг рд╕рд╛рдорд╛рдиреНрдп рд╣реИ ред рд╕рдмрд╕реЗ рдкрд╣рд▓реЗ, рдореИрдВ рдЗрд╕ рдзрд╛рд░рдгрд╛ рд╕реЗ рдЖрдЧреЗ рдмрдврд╝рддрд╛ рд╣реВрдВ рдХрд┐ рддрд░реНрдХрд╕рдВрдЧрддрддрд╛ рдФрд░ рдЬрдЯрд┐рд▓рддрд╛ рдПрдХ рд╣реИ рдФрд░ рдПрдХ рд╣реА рд╣реИред рдирддреАрдЬрддрди, рдЬрдЯрд┐рд▓рддрд╛ рдХрд╛ рддрд░реНрдХ, рдЬреЛ рдХреБрдЫ рднреА рд╕рд╛рд░ рдореЗрдВ рд╣реЛ рд╕рдХрддрд╛ рд╣реИ, рдХрд┐рд╕реА рдЕрдиреНрдп рдкреНрд░рдХрд╛рд░ рдХреЗ рддрд░реНрдХ рд╕реЗ рдкрд╣рд▓реЗ рдФрд░ рдЗрд╕рд▓рд┐рдП рдирд┐рд░рдкреЗрдХреНрд╖ рд╣реИред рдпрд╣ рдЗрд╕ рджреГрд╖реНрдЯрд┐рдХреЛрдг рд╕реЗ рд╣реИ рдХрд┐ рдореЗрд░рд╛ рдкреНрд░рд╕реНрддрд╛рд╡рд┐рдд рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдЙрдЪрд┐рдд рд╣реИ, рдХреНрдпреЛрдВрдХрд┐ рдпрд╣ рдФрдкрдЪрд╛рд░рд┐рдХ рдХрдВрдкреНрдпреВрдЯрд┐рдВрдЧ рдкреНрд░рдХреНрд░рд┐рдпрд╛ рдореЗрдВ рдХрд┐рд╕реА рднреА рд╕рдВрд░рдЪрдирд╛рддреНрдордХ рдЬрдЯрд┐рд▓рддрд╛ рдХреЛ рдкреНрд░рд╛рдкреНрдд рдХрд░ рд╕рдХрддрд╛ рд╣реИред
рд╕реЛрдЪ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдирд┐рдореНрдирд▓рд┐рдЦрд┐рдд рдЧреБрдгреЛрдВ рдХреЗ рд╕рд╛рде рдЬрдЯрд┐рд▓рддрд╛ рдХреЗ рдФрдкрдЪрд╛рд░рд┐рдХ рддрд░реНрдХ рдкрд░ рдЖрдзрд╛рд░рд┐рдд рд╣реИ:
- рддрд░реНрдХ рдХреА рд╡рд╕реНрддреБрдПрдВ рдЕрдореВрд░реНрдд рд╕рд┐рджреНрдзрд╛рдВрдд рд╣реИрдВред
- рдХрд┐рд╕реА рднреА рд╕рд┐рджреНрдзрд╛рдВрдд рдореЗрдВ рдЬрдЯрд┐рд▓рддрд╛ рд╣реИ рдФрд░ рдЗрд╕ рдЬрдЯрд┐рд▓рддрд╛ рдХреЛ рд╕реНрдкрд╖реНрдЯ рд░реВрдк рд╕реЗ рд╕рддреНрдпрд╛рдкрд┐рдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред
- рдХрд┐рд╕реА рднреА рд╕рд┐рджреНрдзрд╛рдВрдд рд╕реЗ, рдПрдХ рдЕрдзрд┐рдХ рдЬрдЯрд┐рд▓ рд╕рд┐рджреНрдзрд╛рдВрдд рдХрд╛рдЯрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред
- рдХрд┐рд╕реА рднреА рдЬрдЯрд┐рд▓ рд╕рд┐рджреНрдзрд╛рдВрдд рд╕реЗ, рдПрдХ рд╕рд░рд▓ рд╕рд┐рджреНрдзрд╛рдВрдд рдХрд╛рдЯрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред
- рджреЛ рдЕрд▓рдЧ-рдЕрд▓рдЧ рд╕рд┐рджреНрдзрд╛рдВрддреЛрдВ рд╕реЗ рдЕрд▓рдЧ-рдЕрд▓рдЧ рдирд┐рд╖реНрдХрд░реНрд╖ рд╣реЛрдВрдЧреЗред
- рдХреЛрдИ рднреА рд╕рд┐рджреНрдзрд╛рдВрдд рд╕рд╛рд░реНрдердХ рд╣реИред рдПрдХ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЛ рд╕рд╛рд░реНрдердХ рдХрд╣рд╛ рдЬрд╛рддрд╛ рд╣реИ рдпрджрд┐ рдпрд╣ рдЕрджреНрд╡рд┐рддреАрдп рдФрд░ рдЕрд╕реАрдо рд░реВрдк рд╕реЗ рдЬрдЯрд┐рд▓ рд╣реИред рд╡реНрдпрд╡рд╣рд╛рд░ рдореЗрдВ, рдЗрд╕рдХрд╛ рдорддрд▓рдм рдпрд╣ рд╣реИ рдХрд┐ рдПрдХ рд╕рдВрднрд╛рд╡рд┐рдд рд╕рд┐рджреНрдзрд╛рдВрдд рд╕реЗ рдирд┐рд╖реНрдХрд░реНрд╖ рдХреА рдПрдХ рд╕рдВрднрд╛рд╡рд┐рдд рдЕрдирдВрдд рд╢реНрд░реГрдВрдЦрд▓рд╛ рдХрд╛ рдирд┐рд░реНрдорд╛рдг рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ, рдЬреИрд╕реЗ рдХрд┐ рд╢реНрд░реГрдВрдЦрд▓рд╛ рдХреЗ рд╕рднреА рдирд┐рд╖реНрдХрд░реНрд╖ рдЕрджреНрд╡рд┐рддреАрдп рд╣реИрдВ рдФрд░ рдкреНрд░рддреНрдпреЗрдХ рдмрд╛рдж рдХреЗ рдирд┐рд╖реНрдХрд░реНрд╖ рдкрд┐рдЫрд▓реЗ рдПрдХ рдХреА рддреБрд▓рдирд╛ рдореЗрдВ рдЕрдзрд┐рдХ рдЬрдЯрд┐рд▓ рд╣реИрдВред
рдПрдХ рд╕рд░рд▓ рд╕рд┐рджреНрдзрд╛рдВрдд рд╕реЗ рдПрдХ рдЕрдзрд┐рдХ рдЬрдЯрд┐рд▓ рдПрдХ рдореЗрдВ рдкрд░рд┐рд╡рд░реНрддрди, рдХрдИ рдкрд░реНрдпрд╛рдкреНрдд рд╕рд┐рджреНрдзрд╛рдВрддреЛрдВ рдХреЗ рд╕рд╛рде, рд╕рд╣рдЬ рд░реВрдк рд╕реЗ рдЖрджрд░реНрд╢ рд╕реЛрдЪ рдХреА рдЕрд╡рдзрд╛рд░рдгрд╛ рд╕реЗ рдореЗрд▓ рдЦрд╛рддреА рд╣реИред рдЗрд╕ рддрд░рд╣ рдХреЗ рддрд░реНрдХ рдХрд╛ рд░рдЪрдирд╛рддреНрдордХ рдХрд╛рд░реНрдпрд╛рдиреНрд╡рдпрди рдЕрдиреНрдп рдмрд╛рддреЛрдВ рдХреЗ рдЕрд▓рд╛рд╡рд╛, рд╕реЛрдЪ рдХрд╛ рд░рдЪрдирд╛рддреНрдордХ рд╕рд┐рджреНрдзрд╛рдВрдд рд╣реЛрдЧрд╛ред
рдЕрдореВрд░реНрдд рд╕рд┐рджреНрдзрд╛рдВрддреЛрдВ рдХреЗ рдмрд╛рд░реЗ рдореЗрдВ рдЕрдзрд┐рдХ ред рдЕрдореВрд░реНрдд рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЛрдИ рднреА рдРрд╕реА рдЪреАрдЬ рд╣реИ рдЬрд┐рд╕рдХреЗ рдмрд╛рд░реЗ рдореЗрдВ рдХреЗрд╡рд▓ рдпрд╣ рдЬрд╛рдирд╛ рдЬрд╛рддрд╛ рд╣реИ рдХрд┐ рд╡реЗ рд░рдЪрдирд╛рддреНрдордХ рдЬрдЯрд┐рд▓рддрд╛ рдореЗрдВ рдирд┐рд╣рд┐рдд рд╣реИрдВ, рдХреНрдпреЛрдВрдХрд┐ рдЗрд╕ рдЬрдЯрд┐рд▓рддрд╛ рдХреЛ рд╕реНрдкрд╖реНрдЯ рд░реВрдк рд╕реЗ рд╕рддреНрдпрд╛рдкрд┐рдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред рдФрд░ рдпрд╣ рднреА рдЬреНрдЮрд╛рдд рд╣реИ рдХрд┐ рдРрд╕реА рдХрд┐рд╕реА рднреА рдЪреАрдЬ рд╕реЗ рдПрдХ рд░рдЪрдирд╛рддреНрдордХ рд╕рдВрдХреНрд░рдордг рд╕реЗ рджреВрд╕рд░реЗ рдореЗрдВ рдЕрдзрд┐рдХ рдЬрдЯрд┐рд▓ рдЯреБрдХрдбрд╝реЗ рд╕рдВрднрд╡ рд╣реИрдВ рдФрд░ рдпрд╣ рднреА рдЬрд╛рдВрдЪрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред
рд░рдЪрдирд╛рддреНрдордХ рдЬрдЯрд┐рд▓рддрд╛ рдХреЗ рдмрд╛рд░реЗ рдореЗрдВ рдЕрдиреМрдкрдЪрд╛рд░рд┐рдХ рд░реВрдк рд╕реЗ ред рдПрдХ рдЬрдЯрд┐рд▓ рд╡рд╕реНрддреБ рдПрдХ рдРрд╕реА рдЪреАрдЬ рд╣реИ рдЬрд┐рд╕реЗ рд╕рд╛рдзрд╛рд░рдг рд╡рд╕реНрддреБрдУрдВ рдореЗрдВ рд╡рд┐рд╢рд┐рд╖реНрдЯ рд░реВрдк рд╕реЗ рд╡рд┐рдШрдЯрд┐рдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред рдПрдХ рдЬрдЯрд┐рд▓ рд╡рд╕реНрддреБ рдореЗрдВ рдЬрд┐рддрдиреА рдЕрдзрд┐рдХ рд╕рд░рд▓ рд╡рд╕реНрддреБрдПрдВ рд╣реЛрддреА рд╣реИрдВ, рдЙрддрдиреА рд╣реА рдЕрдзрд┐рдХ рдЬрдЯрд┐рд▓ рд╡рд╕реНрддреБ рд╣реЛрддреА рд╣реИред рд╕рд╛рдзрд╛рд░рдг рд╡рд╕реНрддреБрдУрдВ рдХреЛ рдПрдХ рдЕрдиреЛрдЦреЗ рддрд░реАрдХреЗ рд╕реЗ рдирд╣реАрдВ рдмрдирд╛рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред рд╕рднреА рд╕рд░рд▓ рд╡рд╕реНрддреБрдУрдВ рдХреА рдЬрдЯрд┐рд▓рддрд╛ рд╕рдорд╛рди рд╣реИред
рддрджрдиреБрд╕рд╛рд░, рдЕрдореВрд░реНрдд рд╕рд┐рджреНрдзрд╛рдВрдд рджреЛ рдкреНрд░рдХрд╛рд░реЛрдВ рдореЗрдВ рд╡рд┐рднрд╛рдЬрд┐рдд рд╣реИрдВ: рд╕рд░рд▓ рдФрд░ рдЬрдЯрд┐рд▓ред рдПрдХ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЛ рдЬрдЯрд┐рд▓ рдХрд╣рд╛ рдЬрд╛рддрд╛ рд╣реИ рдпрджрд┐, рдХреБрдЫ рдкреНрд░рдХреНрд░рд┐рдпрд╛ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ, рд╕рд░рд▓ рд╕рд┐рджреНрдзрд╛рдВрддреЛрдВ рдХрд╛ рдПрдХ рдЕрдиреВрдард╛ рд╕реЗрдЯ рдЗрд╕реЗ рд╕реЗ рдкреНрд░рд╛рдкреНрдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред рдмрджрд▓реЗ рдореЗрдВ, рд╕рднреА рд╕рд░рд▓ рд╕рд┐рджреНрдзрд╛рдВрддреЛрдВ рдХреЗ рд▓рд┐рдП, рдПрдХ рд╣реА рдкреНрд░рдХреНрд░рд┐рдпрд╛ рдПрдХ рдирд┐рд░рдВрддрд░ рдкрд░рд┐рдгрд╛рдо рджреЗрддреА рд╣реИ, рдФрд░ рдЗрд╕ рдкреНрд░рдХрд╛рд░ рд╕рд░рд▓ рд╕рд┐рджреНрдзрд╛рдВрддреЛрдВ рдХреА рдЬрдЯрд┐рд▓рддрд╛ рд╕рдорд╛рди рд╣реЛрддреА рд╣реИред рдЗрд╕ рддрдереНрдп рдХреЗ рдХрд╛рд░рдг рдХрд┐ рд╡рд┐рдЪрд╛рд░рд╛рдзреАрди рддрд░реНрдХ рдореЗрдВ рдЬрдЯрд┐рд▓рддрд╛ рд░рдЪрдирд╛рддреНрдордХ рд░реВрдк рд╕реЗ рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдХреА рдЬрд╛рддреА рд╣реИ, рдЗрд╕рдХреА рдЧрдгрдирд╛ рдФрд░ рддреБрд▓рдирд╛ рдХреА рдЬрд╛ рд╕рдХрддреА рд╣реИред рджреЛ рд╕рд┐рджреНрдзрд╛рдВрддреЛрдВ рдореЗрдВ рдПрдХ рд╣реА рдЬрдЯрд┐рд▓рддрд╛ рд╣реИ рдпрджрд┐ рдЙрдиреНрд╣реЗрдВ рд╕рдорд╛рди рд╕рд┐рджреНрдзрд╛рдВрддреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ рдореЗрдВ рд╡рд┐рдШрдЯрд┐рдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред рдЕрдзрд┐рдХ рд╕рд░рд▓ рд╕рд┐рджреНрдзрд╛рдВрдд рдЖрдк рдкреНрд░рд╛рдкреНрдд рдХрд░ рд╕рдХрддреЗ рд╣реИрдВ, рдореВрд▓ рд╕рд┐рджреНрдзрд╛рдВрдд рдЬрд┐рддрдирд╛ рдЬрдЯрд┐рд▓ рд╣реЛрдЧрд╛ред
рдЬрдЯрд┐рд▓рддрд╛ рдХреА рдФрдкрдЪрд╛рд░рд┐рдХ рдкрд░рд┐рднрд╛рд╖рд╛ ред рд╕рд┐рджреНрдзрд╛рдВрддреЛрдВ рдХреЗ рд╕реЗрдЯ рдкрд░
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 рдЖрдХрд╛рдВрдХреНрд╖рд╛ рд░рдЦрддреА рд╣реИред
рд╡рд┐рд╖рдп рдХрд╛ рдЕрдиреБрднрд╡ ред рд╡рд┐рд╖рдпрдЧрдд рдЕрдиреБрднрд╡ рдЪреЗрддрдирд╛ рдХреЗ рдкреНрд░рдореБрдЦ рд╣реИрдВред рдЪреЗрддрдирд╛ рд░рдЪрдирд╛рддреНрдордХ рдирд╣реАрдВ рд╣реИред
рдХреНрдпрд╛ рдХрдВрдкреНрдпреВрдЯрд┐рдВрдЧ рдХреЗ рджреМрд░рд╛рди рдХрдВрдкреНрдпреВрдЯрд░ рдмрдЪ рдЬрд╛рдПрдЧрд╛? рдирд╣реАрдВред рд▓реЗрдХрд┐рди рдЧрдгрдирд╛ рдХреЗ рдкрд░рд┐рдгрд╛рдореЛрдВ рдореЗрдВ, рдХрдВрдкреНрдпреВрдЯрд░ рдХреА рдХреАрдордд рдкрд░ рдЕрдиреБрднрд╡ рд╣реЛ рд╕рдХрддрд╛ рд╣реИред
рдирд┐рд╖реНрдХрд░реНрд╖ред рдореЗрд░рд╛ рдорд╛рдирдирд╛ тАЛтАЛрд╣реИ рдХрд┐ рд╣рд░ рдХреЛрдИ рдЬрд╛рдирддрд╛ рд╣реИ рдХрд┐ рдХрд┐рд╕реА рдЪреАрдЬрд╝ рдХреЛ рд╡рд╛рд╕реНрддрд╡ рдореЗрдВ рдЬрдЯрд┐рд▓ рдмрдирд╛рдиреЗ рдореЗрдВ рдХрд┐рддрдиреА рдХрд▓реНрдкрдирд╛ рд▓рдЧрддреА рд╣реИред рди рд╕рд┐рд░реНрдл рдмрдбрд╝рд╛, рдмрд▓реНрдХрд┐ рдЬрдЯрд┐рд▓ред рдФрд░ рдЕрдирдВрдд рдЬрдЯрд┐рд▓рддрд╛ рдХреЗ рд▓рд┐рдП, рдЖрдкрдХреЛ рдЕрдВрддрд╣реАрди рдХрд▓реНрдкрдирд╛ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реИред рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдХрд╣рд╛рдБ рд╕реЗ рдЗрддрдиреА рдХрд▓реНрдкрдирд╛ рдкреНрд░рд╛рдкреНрдд рдХрд░рддрд╛ рд╣реИ? рдЬрдм рддрдХ рдлрдВрддрд╛рд╕реА рдЕрдкрдиреЗ рдЖрдк рдореЗрдВ рдПрдХ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдирд╣реАрдВ рд╣реИред