рдпрд╣ рд▓реЗрдЦ рд╕реЛрдЪ рдФрд░ рдЪреЗрддрдирд╛ рдХреЗ рд▓рд┐рдП рдПрдХ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдХреА рд░реВрдкрд░реЗрдЦрд╛ рддреИрдпрд╛рд░ рдХрд░рддрд╛ рд╣реИред рдореИрдВ рдЗрд╕ рд╕рд╡рд╛рд▓ рдХрд╛ рдЬрд╡рд╛рдм рджреЗрддрд╛ рд╣реВрдВ рдХрд┐ рд╕реЛрдЪ рдФрд░ рдЪреЗрддрдирд╛ рдХреИрд╕реЗ рдХрд╛рдо рдХрд░рддреА рд╣реИред рдФрд░ рдореИрдВ рдПрдХ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдкреНрд░рджрд░реНрд╢рд┐рдд рдХрд░рддрд╛ рд╣реВрдВ рдЬреЛ рд╡рд╛рд╕реНрддрд╡ рдореЗрдВ рд░рдЪрдирд╛рддреНрдордХ рд░реВрдк рд╕реЗ рд╕реЛрдЪ рд╕рдХрддрд╛ рд╣реИ рдФрд░ рд╡рд╛рд╕реНрддрд╡рд┐рдХ рдЪреЗрддрдирд╛ рд░рдЦрддрд╛ рд╣реИред рд▓реЗрдЦ рдкреНрд░реЛрдЧреНрд░рд╛рдорд░ рдХреЗ рд▓рд┐рдП рдЕрднрд┐рдкреНрд░реЗрдд рд╣реИ рдФрд░ рдЗрд╕рдореЗрдВ рджреЛ рдореБрдЦреНрдп рднрд╛рдЧ рд╣реЛрддреЗ рд╣реИрдВред рдкрд╣рд▓рд╛ рднрд╛рдЧ рд╡рд┐рд╢реБрджреНрдз рд░реВрдк рд╕реЗ рддрдХрдиреАрдХреА рд╣реИ, рдЗрд╕рдореЗрдВ рдПрд▓реНрдЧреЛрд░рд┐рджрдо рдХрд╛ рд╡рд┐рд╡рд░рдг, рдЗрд╕рдХреЗ рдЧреБрдгреЛрдВ рдХреА рдПрдХ рд╕реВрдЪреА рдФрд░ рд╡реНрдпрд╛рд╡рд╣рд╛рд░рд┐рдХ рдЕрдиреБрдкреНрд░рдпреЛрдЧ рдХрд╛ рдПрдХ рдЙрджрд╛рд╣рд░рдг рд╢рд╛рдорд┐рд▓ рд╣реИред рджреВрд╕рд░реЗ рднрд╛рдЧ рдореЗрдВ рд╡реНрдпрд╛рдЦреНрдпрд╛рддреНрдордХ рд╢реЛрдз рдФрд░ рдЪреЗрддрдирд╛ рдХреЗ рд░рдЪрдирд╛рддреНрдордХ рд╕реНрд╡рдпрдВрд╕рд┐рджреНрдзрддрд╛ рдХреЗ рдкреНрд░рд╢реНрди рдХрд╛ рд╕рдорд╛рдзрд╛рди рд╢рд╛рдорд┐рд▓ рд╣реИред рдПрдХ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдПрдХ рд╕рд╛рд░реНрдердХ рдкрд╛рда рд╣реИ рдЬреЛ рдЦреБрдж рдХреЗ рд▓рд┐рдП рдмреЛрд▓рддрд╛ рд╣реИ, рдФрд░ рдЗрд╕рд▓рд┐рдП рдХреЗрд╡рд▓ рд╡реНрдпрд╛рд╡рд╣рд╛рд░рд┐рдХ рд░реВрдк рд╕реЗ рдЖрд╡рд╢реНрдпрдХ рдиреНрдпреВрдирддрдо рдЯрд┐рдкреНрдкрдгрд┐рдпрд╛рдВ рд╣реЛрдВрдЧреАред
рдПрд▓реНрдЧреЛрд░рд┐рдердо рд╡рд┐рд╡рд░рдг
рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдХрд╛ рд╡рд░реНрдгрди "рдЯреЙрдк-рдбрд╛рдЙрди" рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рдЕрдиреБрд╕рд╛рд░ рд╕реНрд╡-рдирд┐рд░реНрдорд┐рдд рдЧрдгрд┐рддреАрдп рдФрдкрдЪрд╛рд░рд┐рдХрддрд╛ рдореЗрдВ рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ, рдЕрд░реНрдерд╛рддреН, рдкрд╣рд▓реЗ рдПрдХ рдЕрдВрддрд┐рдо, рдЕрдореВрд░реНрдд рд░рд┐рдХреЙрд░реНрдб рджрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ, рдФрд░ рдлрд┐рд░ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдХрд╛ рд╡рд┐рд╢реНрд▓реЗрд╖рдг рдЙрди рд╣рд┐рд╕реНрд╕реЛрдВ рдХреЗ рд▓рд┐рдП рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ рдЬрд┐рд╕рдореЗрдВ рдХреЙрд▓ рдХрд┐рдП рдЬрд╛рддреЗ рд╣реИрдВ рдФрд░ рдЯрд┐рдкреНрдкрдгрд┐рдпрд╛рдВ рджреА рдЬрд╛рддреА рд╣реИрдВред рддреЛ, "рдЗрдХрдЯреНрдареЗ" рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдирд┐рдореНрдирд▓рд┐рдЦрд┐рдд рдлреЙрд░реНрдо рдХрд╛ рдПрдХ рдкреБрдирд░рд╛рд╡рд░реНрддреА рдХрд╛рд░реНрдп рд╣реИ:
t n + 1 = рд░рдЪрдирд╛ [ рдЕрдореВрд░реНрдд [ рдХрдЯреМрддреА [t n ]]]; рдЯреА 0 = рдПрд╕; рдЯреА рдПрди , рдПрд╕ n рдПрд╕ ; n тИИ рдПрдирдЗрд╕ рдлрд╝рдВрдХреНрд╢рди рдХреА рдЧрдгрдирд╛ рд╕реЛрдЪ рд╣реИред рдЬреИрд╕рд╛ рдХрд┐ рдЖрдк рджреЗрдЦ рд╕рдХрддреЗ рд╣реИрдВ, рддреАрди рдСрдкрд░реЗрдЯрд░ рд░рд┐рдХреЙрд░реНрдб рдореЗрдВ рджрд┐рдЦрд╛рдИ рджреЗрддреЗ рд╣реИрдВ:
рд░рдЪрдирд╛ [] ,
рдЕрдореВрд░реНрдд [] ,
рдХрдЯреМрддреА [] ; рд╡рд╣рд╛рдБ рднреА рд╣реИрдВ: рдмреАрдЬ рдЪрд░
s тИИ S , рдПрдХ рд╡рд┐рд╢реЗрд╖ рд░реВрдк
S рдХреА рдкрдВрдХреНрддрд┐рдпреЛрдВ рдХрд╛ рд╕реЗрдЯ рдФрд░ рдЪрд░рдг рд╕рдВрдЦреНрдпрд╛
n тИИ Nред рдЕрдЧрд▓рд╛, рд╣рдо рдкреНрд░рддреНрдпреЗрдХ рдЕрддрд┐рд░рд┐рдХреНрдд рднрд╛рдЧ рдкрд░ рд╡рд┐рд╕реНрддрд╛рд░ рд╕реЗ рд╡рд┐рдЪрд╛рд░ рдХрд░рддреЗ рд╣реИрдВред рд╣рдо рд╕реЗрдЯ
рдПрд╕ рдФрд░ рдЙрд╕рдХреЗ рддрддреНрд╡реЛрдВ рдХреЗ рд╕рд╛рде рд╢реБрд░реВ рдХрд░рддреЗ рд╣реИрдВред
рд╕реЗрдЯ
рдПрд╕ рдХреЛ рдирд┐рд░реНрджрд┐рд╖реНрдЯ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП, рд╡рд╛рдХреНрдпрд╡рд┐рдиреНрдпрд╛рд╕ рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдХрд░рдирд╛ рдЖрд╡рд╢реНрдпрдХ рд╣реИ рдЬрд┐рд╕рдореЗрдВ рдЗрд╕ рд╕реЗрдЯ рдХреЗ рддрддреНрд╡реЛрдВ рдХреЛ рд▓рд┐рдЦрд╛ рдЬрд╛рдПрдЧрд╛ред рд╕реЗрдЯ
рдПрд╕ рдХреЗ рддрддреНрд╡реЛрдВ рдХреЛ рддрд╛рд░ рдХрд╣рд╛ рдЬрд╛рдПрдЧрд╛ред
S рдореЗрдВ рдХрд┐рд╕реА рднреА рдкрдВрдХреНрддрд┐ рдореЗрдВ рдХреЛрд╖реНрдардХ "(", ")" рдХреЗ рдкрджрд╛рдиреБрдХреНрд░рдо рдореЗрдВ рд╕рдорд╛рд╣рд┐рдд рд╣реИ, рдФрд░ рдордирдорд╛рдирд╛ рдЪрд░рд┐рддреНрд░ рдкрд╣рдЪрд╛рдирдХрд░реНрддрд╛ рдХреЛрд╖реНрдардХ рдХреЗ рдЕрдВрджрд░ рд▓рд┐рдЦреЗ рдЧрдП рд╣реИрдВред рд╢рдмреНрдж "рдкрд╣рдЪрд╛рдирдХрд░реНрддрд╛" рдХреЗ рдЙрдкрдпреЛрдЧ рд╕реЗ рдмрдЪрдиреЗ рдХреЗ рд▓рд┐рдП, рдХреНрдпреЛрдВрдХрд┐ рдпрд╣ рдЕрдиреНрдп рдЙрджреНрджреЗрд╢реНрдпреЛрдВ рдХреЗ рд▓рд┐рдП рдЖрд╡рд╢реНрдпрдХ рд╣реЛ рд╕рдХрддрд╛ рд╣реИ, рдХреЛрд╖реНрдардХ рдХреЗ рдЕрдВрджрд░ рдкреНрд░рддреАрдХрд╛рддреНрдордХ рдкрд╣рдЪрд╛рдирдХрд░реНрддрд╛ рдХреЛ "mnemonics" рдХрд╣рд╛ рдЬрд╛рдПрдЧрд╛ред рдкреНрд░рддреНрдпреЗрдХ рд╡рд░реНрдгрд╡реНрдпрд╡рд╕реНрдерд╛ рд▓реИрдЯрд┐рди рдЕрдХреНрд╖рд░реЛрдВ рдореЗрдВ рд▓рд┐рдЦреА рдЧрдИ рд╣реИ "A - z"ред рдХреЛрд╖реНрдардХ рдХреЗ рдЕрдВрджрд░ рдХреА рдорд╛рдирд╡рд┐рдХреА рдХреЛ рдЕрд▓реНрдкрд╡рд┐рд░рд╛рдо "," рджреНрд╡рд╛рд░рд╛ рдЕрд▓рдЧ рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред рдпрджрд┐ рдореЗрдиреЗрдорд┐рдХреНрд╕ рдХреА рд▓рдВрдмрд╛рдИ рддрдп рдХреА рдЬрд╛рддреА рд╣реИ, рдЬреЛ рдЕрд▓рдЧ рд╕реЗ рдирд┐рд░реНрджрд┐рд╖реНрдЯ рдХреА рдЬрд╛рддреА рд╣реИ, рддреЛ рд╡рд┐рднрд╛рдЬрдХ рд╕реЗрдЯ рдирд╣реАрдВ рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред рдореЗрдВрдорд┐рдХреНрд╕ рдХреЗрд╡рд▓ рдХреЛрд╖реНрдардХреЛрдВ рдХреЗ рдЕрдВрджрд░ рд▓рд┐рдЦреЗ рдЬрд╛рддреЗ рд╣реИрдВред рдПрдХ рдкрдВрдХреНрддрд┐ рдореЗрдВ рдиреЗрд╕реНрдЯреЗрдб рдХреЛрд╖реНрдардХ рд╣реЛ рд╕рдХрддреЗ рд╣реИрдВред рд╕реНрдЯреНрд░рд┐рдВрдЧ рдореЗрдВ рдмреНрд░реИрдХреЗрдЯреНрд╕ рдХрд╛ рдкрджрд╛рдиреБрдХреНрд░рдо рдордирдорд╛рдирд╛ рд╣реИ, рд▓реЗрдХрд┐рди рдкреНрд░рддреНрдпреЗрдХ рдЦреБрд▓рдиреЗ рд╡рд╛рд▓реЗ рдмреНрд░реИрдХреЗрдЯ рдХреЗ рд▓рд┐рдП рдПрдХ рд╕рдорд╛рдкрди рдмреНрд░реИрдХреЗрдЯ рд╣реЛрдирд╛ рдЪрд╛рд╣рд┐рдПред рдЗрд╕ рд▓реЗрдЦ рдореЗрдВ, рдореИрдВ рд╡рд░реНрдгрдорд╛рд▓рд╛ рд▓рд┐рдЦрдиреЗ рдХреЗ рд▓рд┐рдП рд▓реИрдЯрд┐рди рд╡рд░реНрдгрдорд╛рд▓рд╛ рдХреЗ рдХреЗрд╡рд▓ рдЫреЛрдЯреЗ рдЕрдХреНрд╖рд░реЛрдВ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░реВрдВрдЧрд╛, рдФрд░ рд╡рд░реНрдгрд╛рдиреБрдХреНрд░рдо рдХреА рд▓рдВрдмрд╛рдИ рддрдп рдХреА рдЬрд╛рдПрдЧреА, рдПрдХ рдкрддреНрд░ рдПрдХ рд╡рд░реНрдгрд╛рдиреБрдХреНрд░рдо рд╕реЗ рдореЗрд▓ рдЦрд╛рддрд╛ рд╣реИ, рдореИрдВ рдПрдХ рд╡рд┐рднрд╛рдЬрдХ рдЪрд░рд┐рддреНрд░ рдирд╣реАрдВ рдбрд╛рд▓рддрд╛ред рд▓рд╛рдЗрдиреЛрдВ рдХреЗ рдЙрджрд╛рд╣рд░рдг:
() тИЕ тИЕ рдПрдХ рдЦрд╛рд▓реА рд╕реНрдЯреНрд░рд┐рдВрдЧ рд╣реИред
(a) - рдПрдХ рд╕реНрдЯреНрд░рд┐рдВрдЧ рдЬрд┐рд╕рдореЗрдВ рдПрдХ рдПрдордиреЙрдорд┐рдХреНрд╕ "
a " рд╣реИред
(рдПрдП) - рдПрдХ рд╕реНрдЯреНрд░рд┐рдВрдЧ рдЬрд┐рд╕рдореЗрдВ рдПрдордиреЙрдорд┐рдХреНрд╕ "
рдП " рдХреЗ рджреЛ рдЙрджрд╛рд╣рд░рдг рд╣реИрдВред
(рдПрдм) рдПрдХ рд╕реНрдЯреНрд░рд┐рдВрдЧ рд╣реИ рдЬрд┐рд╕рдореЗрдВ рджреЛ рдПрдордиреЙрдорд┐рдХреНрд╕ "
рдП " рдФрд░ "
рдмреА " рд╣реИрдВред
((рдП) (рдП)) - рдкрдВрдХреНрддрд┐ рдореЗрдВ рд╡рд░реНрдгрдорд╛рд▓рд╛ рдХреА рджреЛ рдкреНрд░рддрд┐рдпрд╛рдВ "
рдП " рдФрд░ рдХреЛрд╖реНрдардХ рдХреЗ рдиреЗрд╕реНрдЯреЗрдб рд╕реНрддрд░ рд╢рд╛рдорд┐рд▓ рд╣реИрдВред
рд╕рдВрд▓рдЧреНрди рдХреЛрд╖реНрдардХ, рдЙрдирдХреА рд╕рд╛рдордЧреНрд░реА рдХреЗ рд╕рд╛рде-рд╕рд╛рде рд╡реНрдпрдХреНрддрд┐рдЧрдд mnemonics рдХреЗ рд╕рд╛рде, рдХрднреА-рдХрднреА "рд╕реНрдЯреНрд░рд┐рдВрдЧ рдШрдЯрдХ" рдХрд╣рд╛ рдЬрд╛рдПрдЧрд╛, рдЙрди рдорд╛рдорд▓реЛрдВ рдореЗрдВ рдЬрд╣рд╛рдВ рдПрдХ рдЙрдкрдпреБрдХреНрдд рд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдг рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реЛрддреА рд╣реИред рдЙрджрд╛рд╣рд░рдг рдХреЗ рд▓рд┐рдП, рд▓рд╛рдЗрди
((рдП) рдЕрдм рдореЗрдВ рдЪрд╛рд░ рдШрдЯрдХ рд╣реЛрддреЗ рд╣реИрдВ, рдЙрдирдореЗрдВ рд╕реЗ рджреЛ рдШрдЯрдХ "
рдП ", рдПрдХ рдШрдЯрдХ "
(рдП) " рдФрд░ рдПрдХ рдШрдЯрдХ "
рдмреА "ред
рд╕реНрдЯреНрд░рд┐рдВрдЧ рдХреЗ рднреАрддрд░ рдШрдЯрдХреЛрдВ рдХреЗ рдкреБрдирд░реНрд╡реНрдпрд╡рд╕реНрдерд╛ рдХреЗ рд╕рд╛рде рдореЗрд▓ рдЦрд╛рдиреЗ рд╡рд╛рд▓реЗ рддрд╛рд░реЛрдВ рдХреЗ рд░рд┐рдХреЙрд░реНрдб рдХреЛ рд╕рдорд╛рди рдорд╛рдирд╛ рдЬрд╛рддрд╛ рд╣реИред рд╕рдорд╛рди рд▓рд╛рдЗрдиреЛрдВ рдХреЗ рдЙрджрд╛рд╣рд░рдг:
(ab) тЙб (рдмрд╛) ред
((рдП) (рдмреА)) тЙб ((рдмреА) (рдП)) ред
(abc) ab (bac) тЙб (cba) тЙб (acb)) (bca) cab (рдХреИрдм) ред
((a (ab)) тЙб ((a) (ba)) (((ab) (a))) ((ba) (a)) ред
рд▓рд╛рдЗрдиреЛрдВ рдореЗрдВ рд╕рдорд░реВрдк, рджреЛрд╣рд░рд╛рдП рдЬрд╛рдиреЗ рд╡рд╛рд▓реЗ рдШрдЯрдХреЛрдВ рдХреА рдХреЛрдИ рднреА рд╕рдВрдЦреНрдпрд╛ рд╣реЛ рд╕рдХрддреА рд╣реИ рдФрд░ рдЗрд╕ рдорд╛рдорд▓реЗ рдореЗрдВ, рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ рд╕реВрдЪрдХрд╛рдВрдХ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ рдПрдХ рдЫреЛрдЯрд╛ рд░рд┐рдХреЙрд░реНрдб рд╕рдВрднрд╡ рд╣реИ, рдЬреЛ рдХрд┐ рд╡рд┐рднрд╛рдЬрдХ рдХреЗ рдмрд┐рдирд╛, рдмрд╛рдИрдВ рдУрд░ рдШрдЯрдХ рд╕реЗ рдкрд╣рд▓реЗ рд░рдЦрд╛ рдЬрд╛рддрд╛ рд╣реИред рдЙрджрд╛рд╣рд░рдг:
(рдЖ) тЙб (реи рдЕ) ред
(aabb) тЙб (2a2b) ред
((рдП) (рдП) тЙб (2 (рдП)) ред
((рдЖ) (рдЖ)) тЙб (2 (2a)) ред
(рдЖ) (рдмреА рдмреА) (рдмреА рдмреА) (рд╕реА рд╕реА рд╕реА) (рд╕реА рд╕реА рд╕реА) (рд╕реА рд╕реА рд╕реА) тЙб (реи рдП реи (реи рдмреА) рей (рей рд╕реА)) ред
рдЙрди рдорд╛рдорд▓реЛрдВ рдореЗрдВ рдЬрд╣рд╛рдВ рд╕реНрдЯреНрд░рд┐рдВрдЧ рдореЗрдВ рдЦрд╛рд▓реА рдШрдЯрдХ рд╣реЛрддреЗ рд╣реИрдВ, рдЙрджрд╛рд╣рд░рдг рдХреЗ рд▓рд┐рдП,
(a () ,
((() (b)), рдкрд╣рдЪрд╛рди рд╣реЛрддреА рд╣реИ:
((()) тЙб (a) ,
(a () (b) ))) (рдП (рдмреА)) , рдпрд╛рдиреА рдЦрд╛рд▓реА рдШрдЯрдХреЛрдВ рдХреЛ рдлреЗрдВрдХ рджрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред
рдкрд░рд┐рднрд╛рд╖рд╛ред рд╕реЗрдЯ
S рдореЗрдВ рд╕рднреА рд╕рдВрднрд╛рд╡рд┐рдд рд╕реНрдЯреНрд░рд┐рдВрдЧреНрд╕ рд╣реЛрддреЗ рд╣реИрдВ рдЬреЛ рдПрдХ рдЦрд╛рд▓реА рд╕реНрдЯреНрд░рд┐рдВрдЧ рд╕рд╣рд┐рдд рдЙрдкрд░реЛрдХреНрдд рд╕рд┐рдВрдЯреИрдХреНрд╕ рдорд╛рдирджрдВрдб рдХреЛ рдкреВрд░рд╛ рдХрд░рддреЗ рд╣реИрдВред
рд╕реЗрдЯ
рдПрд╕ рдкрд░ рдХрдЯреМрддреА, рдЕрдореВрд░реНрддрддрд╛ рдФрд░ рд░рдЪрдирд╛ рдСрдкрд░реЗрдЯрд░реЛрдВ рдХреЛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ
ред рдСрдкрд░реЗрдЯрд░ рддрд░реНрдХ рдХреЛ рд╡рд░реНрдЧ рдХреЛрд╖реНрдардХ
[] рдореЗрдВ рджрд░реНрд╢рд╛рдпрд╛ рдЧрдпрд╛ рд╣реИ, рдХреНрдпреЛрдВрдХрд┐ рдХреЛрд╖реНрдардХ рд╕реНрдЯреНрд░рд┐рдВрдЧ рд╕рд┐рдВрдЯреИрдХреНрд╕ рдХреЗ рд▓рд┐рдП рдЖрд░рдХреНрд╖рд┐рдд рд╣реИрдВред рд╢рдмреНрдж "рдСрдкрд░реЗрдЯрд░" рд╢рдмреНрдж "рдлрд╝рдВрдХреНрд╢рди" рдХрд╛ рдкрд░реНрдпрд╛рдп рд╣реИред
рдХрдЯреМрддреА рд╕рдВрдЪрд╛рд▓рдХ ред рдкрд░рд┐рднрд╛рд╖рд╛ред
тИАs тИА S , рдХрдЯреМрддреА k [s] k S , k, N , k> рез, рдХрдЯреМрддреА [s]] рдХрдЯреМрддреА реи [s] ред рдПрдХ рддрд░реНрдХ рдХреЗ рд░реВрдк рдореЗрдВ
рдПрд╕ рд╕реЗ рд╕реНрдЯреНрд░рд┐рдВрдЧ
рдПрд╕ рд▓реЗрддрд╛ рд╣реИред рдирддреАрдЬрддрди,
рдПрд╕ рд╕реЗ рдПрдХ рд╕реНрдЯреНрд░рд┐рдВрдЧ рд▓реМрдЯрд╛рддрд╛ рд╣реИ
ред рдХрд╛рд░реНрд░рд╡рд╛рдИред рдСрдкрд░реЗрдЯрд░
k рд╕рдордп рд╕реНрдЯреНрд░рд┐рдВрдЧ рдФрд░ рдкреВрд░реЗ рд╕реНрдЯреНрд░рд┐рдВрдЧ рдХреЗ рдкреНрд░рддреНрдпреЗрдХ рдШрдЯрдХ рдХреА рдирдХрд▓ рдХрд░рддрд╛ рд╣реИред рдкрд░рд┐рдгрд╛рдореА рд╕рдВрд░рдЪрдирд╛ рдЖрдо рдмрд╛рд╣рд░реА рдХреЛрд╖реНрдардХ рджреНрд╡рд╛рд░рд╛ рддреИрдпрд╛рд░ рдХреА рдЬрд╛рддреА рд╣реИред рдбреБрдкреНрд▓реАрдХреЗрд╢рди рдШреЛрдВрд╕рд▓реЗ рдХреЗ рд╢рд┐рдХрд╛рд░, рдШрдЯрдХреЛрдВ рдХреЗ рдорд╛рдорд▓реЗ рдореЗрдВ рд╕рдмрд╕реЗ рдЧрд╣рд░реЗ рд╕реЗ рд╢реБрд░реВ рд╣реЛрддрд╛ рд╣реИред рдкреВрд░реА рдкрдВрдХреНрддрд┐ рдЕрдВрддрд┐рдо рджреЛрд╣рд░рд╛рдИ рдЬрд╛рддреА рд╣реИред рддрд╛рддреНрдХрд╛рд▓рд┐рдХ рд╡реНрдпрд╛рд╡рд╣рд╛рд░рд┐рдХ рдЙрджреНрджреЗрд╢реНрдпреЛрдВ рдХреЗ рд▓рд┐рдП, рдпрд╣ рдкрд░реНрдпрд╛рдкреНрдд рд╣реИ рдХрд┐
k = 2 , рдЗрд╕рд▓рд┐рдП рдореИрдВрдиреЗ
рдХрдЯреМрддреА рдХреЗ рдПрдХ рд╡рд┐рд╢реЗрд╖ рдорд╛рдорд▓реЗ рдХреЛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд┐рдпрд╛
[s]] рдХрдЯреМрддреА 2 / s] ред
рдХрдЯреМрддреА [] рдХрд╛ рдЕрд░реНрде рд╣реИ рдХрд┐
k = реи , рдЕрд░реНрдерд╛рдд
рдХрдЯреМрддреА [s] рдСрдкрд░реЗрдЯрд░ рдХреЗ рдкрд░рд┐рдгрд╛рдорд╕реНрд╡рд░реВрдк, рд╕реНрдЯреНрд░рд┐рдВрдЧ
s рдХреЗ рд╕рднреА рдШрдЯрдХ рджреЛрдЧреБрдиреЗ рд╣реЛ рдЧрдП рд╣реИрдВред рдЙрджрд╛рд╣рд░рдг:
рдХрдЯреМрддреА [(a)] = ((рдЖ) (рдЖ))ред
рдХрдЯреМрддреА [(рдЖ)] = ((рдЖ)) (рдЖрдЖрдЖ)
рдХрдЯреМрддреА [(ab)] = ((aabb) (aabb))ред
рдХрдЯреМрддреА [(((рдмреА))] = ((((рдмреА.рдмреА.))) (рдП.рдмреА. (рдмреА.рдмреА.)))ред
рдХрдЯреМрддреА [((рдП) (рдмреА)]] = (((рдЖ) (рдЖ) (рдмреА рдмреА) (рдмреА рдмреА)) ((рдЖ) (рдЖ) (рдмреА рдмреА) (рдмреА рдмреА))ред
рдХрдЯреМрддреА [(a) (b (cc))]] = (((рдЖ) (рдЖ) (bb (cccc)) (bb (cccc)) (bb (cccc))) ((aa) (aa) ( bb (cccc) (cccc)) (bb (cccc) (cccc))) ред
рдЕрдореВрд░реНрдд рд╕рдВрдЪрд╛рд▓рдХ ред рдкрд░рд┐рднрд╛рд╖рд╛ред
тИИs тИА S , рдЕрдореВрд░реНрддрддрд╛ [s] тИИ S. рдПрдХ рддрд░реНрдХ рдХреЗ рд░реВрдк рдореЗрдВ
рдПрд╕ рд╕реЗ рд╕реНрдЯреНрд░рд┐рдВрдЧ
рдПрд╕ рд▓реЗрддрд╛ рд╣реИред рдирддреАрдЬрддрди, рдХрдИ рдкрдВрдХреНрддрд┐рдпреЛрдВ рдХреЛ рд▓реМрдЯрд╛рддрд╛ рд╣реИред рдХреНрд░рд┐рдпрд╛ рдХрд╛ рд╕рд┐рджреНрдзрд╛рдВрддред рдПрдХ рдЕрдореВрд░реНрдд рдСрдкрд░реЗрдЯрд░ рдПрдХ рд╡рд┐рд╢реЗрд╖ рдСрдкрд░реЗрд╢рди рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ рд╕реНрд░реЛрдд рд▓рд╛рдЗрди рд╕реЗ рдмрд╣реБрдд рд╕рд╛рд░реА рд▓рд╛рдЗрдиреЗрдВ рдмрдирд╛рддрд╛ рд╣реИ - рд╕рдорд╛рди рдШрдЯрдХреЛрдВ рдХреЗ рдХреЛрд╖реНрдардХред рдмреНрд░реИрдХреЗрдЯрд┐рдВрдЧ рдХрд╛ рд╕рдВрдЪрд╛рд▓рди рдХреЗрд╡рд▓ рдиреЗрд╕реНрдЯреЗрдб рдмреНрд░реИрдХреЗрдЯреНрд╕ рдкрд░ рд▓рд╛рдЧреВ рд╣реЛрддрд╛ рд╣реИ рдЬреЛ рдиреЗрд╕реНрдЯрд┐рдВрдЧ рдХреЗ рд╕рдорд╛рди рд╕реНрддрд░ рдкрд░ рд╣реЛрддреЗ рд╣реИрдВред рдмреНрд░реИрдХреЗрдЯрд┐рдВрдЧ рдХрд╛ рд╕рд╛рдорд╛рдиреНрдп рд╕рд┐рджреНрдзрд╛рдВрддред рдпрджрд┐ рд╕рдорд╛рди рд╕реНрддрд░ рдкрд░ рд╕реНрдерд┐рдд рдХреЛрд╖реНрдардХ рдХреЗ рдХрд┐рд╕реА рднреА рд╕рдВрдпреЛрдЬрди рдореЗрдВ, рд╕рдорд╛рди рдШрдЯрдХ рдХреЛрд╖реНрдардХ рдХреЗ рдЕрдВрджрд░ рд╣реИрдВ, рддреЛ рд╕рдорд╛рди рдШрдЯрдХреЛрдВ рдХреЗ рдХрд┐рд╕реА рднреА рд╕реЗрдЯ рдХреЛ рдХреЛрд╖реНрдардХ рд╕реЗ рдмрд╛рд╣рд░ рд░рдЦрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ, рдФрд░ рдЬреЛ рдШрдЯрдХ рдмрд░рдХрд░рд╛рд░ рд░рд╣реЗ, рдЙрдиреНрд╣реЗрдВ рд╕рдорд╛рди рд╕реНрддрд░ рдХреЗ рд╕рдорд╛рди рд╕рд╛рдорд╛рдиреНрдп рдХреЛрд╖реНрдардХ рдХреЗ рддрд╣рдд рд╕рдВрдпреЛрдЬрд┐рдд рдХрд┐рдпрд╛ рдЬрд╛рдирд╛ рдЪрд╛рд╣рд┐рдПред рдПрдХ рдЙрджрд╛рд╣рд░рдг рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд░реЗрдВред рд╕реНрдЯреНрд░рд┐рдВрдЧ
((ab) (рдПрд╕реА)) ред рдЗрд╕ рд░реЗрдЦрд╛ рдкрд░, рдПрдХ рд╣реА рд╕реНрддрд░ рдкрд░ рджреЛ рд╕рдмрд╕реНрдЯреНрд░рд┐рдВрдЧ рд╣реЛрддреЗ рд╣реИрдВ:
(ab) рдФрд░
(ac) , рдЬрд┐рд╕рдХреЗ рдЕрдВрджрд░ рдПрдХ рд╣реА mnemonics "
a " рд╣реИ, рдЗрд╕ mnemonics рдХреЛ рдХреЛрд╖реНрдардХ рд╕реЗ рдмрд╛рд╣рд░ рд░рдЦрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ рдФрд░ рдкрд░рд┐рдгрд╛рдо
(a (bc)) рд╣реИ ред рдЬреИрд╕рд╛ рдХрд┐ рдЖрдк рджреЗрдЦ рд╕рдХрддреЗ рд╣реИрдВ, рд╢реЗрд╖ mnemonics "
b " рдФрд░ "
c " рд╕рдорд╛рди рдХреЛрд╖реНрдардХ рдореЗрдВ рд╕рдВрдпреБрдХреНрдд рд╣реИрдВред рдПрдХ рдХрдо рд╕реНрдкрд╖реНрдЯ рдЙрджрд╛рд╣рд░рдг рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд░реЗрдВред рд╕реНрдЯреНрд░рд┐рдВрдЧ
( рдПрдП
) ( рдПрдП
) рдореЗрдВ рд╕рдмреНрд╕рдЯреНрд░рд┐рдВрдЧреНрд╕
( рдПрдП
) рдФрд░
( рдПрдП
) рд╢рд╛рдорд┐рд▓ рд╣реИрдВ, рдЗрд╕ рдорд╛рдорд▓реЗ рдореЗрдВ рдмреНрд░реИрдХреЗрдЯ рд╕реЗ рдмрд╛рд╣рд░ рдирд┐рдХрд╛рд▓рдиреЗ рдХреЗ рд▓рд┐рдП рджреЛ рдЕрд▓рдЧ-рдЕрд▓рдЧ рд╡рд┐рдХрд▓реНрдк рд╣реИрдВред рдкрд╣рд▓реЗ рд╕рдВрд╕реНрдХрд░рдг рдореЗрдВ, рдХреЗрд╡рд▓ рдПрдХ рд╣реА рд╢рдмреНрдж "
рдПрдХ " рдХреЛ рдкреНрд░рддреНрдпреЗрдХ рд╡рд┐рдХрд▓реНрдк рд╕реЗ рдХреЛрд╖реНрдардХ рд╕реЗ рдмрд╛рд╣рд░ рдирд┐рдХрд╛рд▓рд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ, рдФрд░ рджреВрд╕рд░реЗ рд╕рдВрд╕реНрдХрд░рдг рдореЗрдВ, "
рдЖ " рдХреЗ рдПрдХ рд╕рдореВрд╣ рдХреЛ рдирд┐рдХрд╛рд▓рд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред рдЖрдЗрдП рджреЛрдиреЛрдВ рд╡рд┐рдХрд▓реНрдкреЛрдВ рдкрд░ рдЕрдзрд┐рдХ рд╡рд┐рд╕реНрддрд╛рд░ рд╕реЗ рд╡рд┐рдЪрд╛рд░ рдХрд░реЗрдВред
рдкрд╣рд▓рд╛ рд╡рд┐рдХрд▓реНрдк, рдХрджрдо рд╕реЗ рдХрджрдо рдкреНрд░рджрд░реНрд╢рди:
- рдПрдХ рдХрджрдо, рдЪреБрдиреЗрдВ ( рд▓рд╛рд▓ ) рдХреНрдпрд╛ рдмрд╛рд╣рд░ рдирд┐рдХрд╛рд▓рдирд╛ ((рдП) (рдП)) ред
- рдЪрд░рдг рджреЛ, рдЪрдпрдирд┐рдд ( a (... a) (... a)) рдХрд░реЗрдВ ред
- рдЪрд░рдг рддреАрди, рд╕рд╛рдорд╛рдиреНрдп рдХреЛрд╖реНрдардХ ((... рдП ... рдП) рдореЗрдВ рдЕрд╡рд╢реЗрд╖реЛрдВ рдХреЛ рдорд┐рд▓рд╛рдПрдВред
- рдкрд░рд┐рдгрд╛рдо ((рдЖ)) ред
рджреВрд╕рд░рд╛ рд╡рд┐рдХрд▓реНрдк, рдЪрд░рдгреЛрдВ рдореЗрдВ:
- рдПрдХ рдХрджрдо, рдЪреБрдиреЗрдВ рдХрд┐ рдХреНрдпрд╛ рдмрд╛рд╣рд░ рдирд┐рдХрд╛рд▓рдирд╛ (( рдЖ )) ( рдЖ ) ред
- рдЪрд░рдг рджреЛ, рдЪрдпрдирд┐рдд ( рдЖ ... (...)) рдмрдирд╛рдПрдВред
- рдЪрд░рдг рддреАрди, рд╕рд╛рдорд╛рдиреНрдп рдХреЛрд╖реНрдардХ ( рдЖ ... ()) рдореЗрдВ рдЕрд╡рд╢реЗрд╖реЛрдВ рдХреЛ рдорд┐рд▓рд╛рдПрдВред
- рдЪреМрдерд╛ рдЪрд░рдг, рдЦрд╛рд▓реА рдШрдЯрдХреЛрдВ ( рдПрдП ) рдХреЛ рдлреЗрдВрдХ рджреЗрдВред
- рдкрд░рд┐рдгрд╛рдо (рдЖ) ред
рдЙрджрд╛рд╣рд░рдг рдХреЛ рдЬрдЯрд┐рд▓ рдХрд░рддреЗ рд╣реИрдВред рдЗрд╕реЗ рд╕реНрдЯреНрд░рд┐рдВрдЧ
((рдПрдП) (рдПрдПрдмреА) (рдПрдПрдмреА) рджрд┐рдпрд╛ рдЬрд╛рдП, рдЗрд╕рдХреЗ рддреАрди рд╕реНрддрд░ рдПрдХ рд╣реА рд╕реНрддрд░ рдкрд░ рд╕реНрдерд┐рдд рд╣реИрдВ:
(рдПрдП) ,
(рдПрдПрдмреА) ,
(рдПрдПрдмреА) , рддреАрдиреЛрдВ рдореЗрдВ рдПрдХ рд╣реА рд╕рд╛рдордЧреНрд░реА рд╣реИред рдХреЛрд╖реНрдардХ рдирд┐рдпрдо рд╣рдореЗрдВ рдПрдХ рдмрд╛рд░ рдореЗрдВ рд╕рднреА рддреАрди рдкрджрд╛рд░реНрдереЛрдВ рдХреЗ рд╕рдВрдЪрд╛рд▓рди рдХреЗ рд▓рд┐рдП рдмрд╛рдзреНрдп рдирд╣реАрдВ рдХрд░рддрд╛ рд╣реИред рд╕рдВрдЪрд╛рд▓рди рдХреЗ рд▓рд┐рдП, рдЖрдк рд╕рдмрд╕реНрдЯреНрд░рд┐рдВрдЧ рдХреЗ рдХрд┐рд╕реА рднреА рд╕рдореВрд╣ рдХрд╛ рдЪрдпрди рдХрд░ рд╕рдХрддреЗ рд╣реИрдВред
рдЗрд╕ рдорд╛рдорд▓реЗ рдореЗрдВ, рд╕рдореВрд╣реАрдХрд░рдг рдХреЗ рд▓рд┐рдП рддреАрди рдЧреИрд░-рд╕рдорд╛рди рд╡рд┐рдХрд▓реНрдк рд╣реИрдВ:
- (рдЖ), (рдЖрдм) ред
- (рдЖрдм), (рдЖрдм) ред
- (рдЖ), (рдЖрдм), (рдЖрдм) ред
рд╣рдо рд╕рдореВрд╣рдмрджреНрдз рд╡рд┐рдХрд▓реНрдкреЛрдВ рдореЗрдВ рд╕реЗ рдкреНрд░рддреНрдпреЗрдХ рдХреЗ рд▓рд┐рдП рд╕рднреА рд╕рдВрднрд╡ рдмрдпрд╛рдиреЛрдВ рдХреЛ рдЖрдЧреЗ рдмрдврд╝рд╛рддреЗ рд╣реИрдВ, рдЪрд░рдг рджрд░ рдЪрд░рдгред
рд╕рдореВрд╣рди
(рдЖ) ,
(рдЖрдм) ред рд╕реНрдЯреНрд░рд┐рдВрдЧ
(рдЖ) (рдЖрдм) (рдЖрдм)) ред
рдкрд╣рд▓рд╛ рд╡рд┐рдХрд▓реНрдк:
- рд╕рд╛рдордЧреНрд░реА (( рдП ) (рдП) (рдПрдПрдмреА) рдХрд╛ рдЪрдпрди рдХрд░реЗрдВред
- рд╣рдо ( a (... a) (... ab) (aab)) рдирд┐рдХрд╛рд▓рддреЗ рд╣реИрдВ ред
- рдЧрдардмрдВрдзрди ( рдП (... рдП ... рдЕрдм) (рдПрдПрдмреА)) ред
- рдкрд░рд┐рдгрд╛рдо рдирдВрдмрд░ 1 (рдП (рдПрдПрдмреА) (рдПрдПрдмреА)) ред
рджреВрд╕рд░рд╛ рд╡рд┐рдХрд▓реНрдк:
- рд╕рд╛рдордЧреНрд░реА ((рдП) (рдП рдмреА) (рдПрдПрдмреА)) рдХрд╛ рдЪрдпрди рдХрд░реЗрдВ ред
- рд╣рдо рдмрд╛рд╣рд░ рдирд┐рдХрд╛рд▓рддреЗ рд╣реИрдВ ( рдЖ ... (...) (рдмреА) (рдПрдПрдмреА)) ред
- рдорд┐рд▓рд╛рдирд╛ ( рдЖ (... рдмреА) (рдЖрдм)) ред
- рдкрд░рд┐рдгрд╛рдо рд╕рдВрдЦреНрдпрд╛ 2 (a (b) (aab)) ред
рд╕рдореВрд╣рди
(рдЖрдм) ,
(рдЖрдм) ред рд╕реНрдЯреНрд░рд┐рдВрдЧ
(рдЖ) (рдЖрдм) (рдЖрдм)) ред
рдкрд╣рд▓рд╛ рд╡рд┐рдХрд▓реНрдк:
- рд╕рд╛рдордЧреНрд░реА ((рдПрдП) (рдП) (рдП)) рдХрд╛ рдЪрдпрди рдХрд░реЗрдВ ред
- рд╣рдо рдмрд╛рд╣рд░ рдирд┐рдХрд╛рд▓рддреЗ рд╣реИрдВ ((рдЖ) рдП (... рдЕрдм) (... рдЕрдм)) ред
- рдорд┐рд▓рд╛рдирд╛ ((рдЖ) рдП (... рдЕрдм ... рдЕрдм)) ред
- рдкрд░рд┐рдгрд╛рдо рд╕рдВрдЦреНрдпрд╛ 3 (рдП (рдЖ) (рдЖрдм)) ред
рджреВрд╕рд░рд╛ рд╡рд┐рдХрд▓реНрдк:
- рд╕рд╛рдордЧреНрд░реА рдХрд╛ рдЪрдпрди рдХрд░реЗрдВ ((рдП) (рдП рдмреА) (рдП рдмреА)) ред
- рд╣рдо рдмрд╛рд╣рд░ ((рдЖ) рдЖ (... рдмреА) (... рдмреА)) рд▓реЗрддреЗ рд╣реИрдВред
- рдорд┐рд▓рд╛рдирд╛ ((рдЖ) рдЖ (... рдм ... рдм)) ред
- рдкрд░рд┐рдгрд╛рдо рд╕рдВрдЦреНрдпрд╛ 4 (рдЖ) (рдЖ) (рдмреА рдмреА) ред
рддреАрд╕рд░рд╛ рд╡рд┐рдХрд▓реНрдк:
- рд╕рд╛рдордЧреНрд░реА (( рдПрдП ) ( рдП ) ( рдП )) рдХрд╛ рдЪрдпрди рдХрд░реЗрдВ ред
- рд╣рдо рдмрд╛рд╣рд░ ((рдЖ) рдПрдм (... рдП) (... рдП)) рд▓реЗрддреЗ рд╣реИрдВред
- рдорд┐рд▓рд╛рдирд╛ ((рдЖ) ab (... a ... a)) ред
- рдкрд░рд┐рдгрд╛рдо рд╕рдВрдЦреНрдпрд╛ 5 (ab (aa) (aa)) ред
рдЪреМрдерд╛ рд╡рд┐рдХрд▓реНрдк:
- рд╕рд╛рдордЧреНрд░реА рдХрд╛ рдЪрдпрди рдХрд░реЗрдВ (( рдП ) ( рдП рдмреА ) ( рдП рдмреА )) ред
- рд╣рдо рдмрд╛рд╣рд░ ((рдЖ) рдЦ (... рдЖ) (... рдЖ)) рд▓реЗрддреЗ рд╣реИрдВред
- рдорд┐рд▓рд╛рдирд╛ ((рдЖ) рдЦ (... рдЖ ... рдЖ)) ред
- рдкрд░рд┐рдгрд╛рдо рд╕рдВрдЦреНрдпрд╛ 6 (рдмреА (рдЖ)) (рдЖ) ред
рдкрд╛рдВрдЪрд╡рд╛ рд╡рд┐рдХрд▓реНрдк:
- рд╕рд╛рдордЧреНрд░реА (( рдПрдП ) ( рдПрдПрдмреА ) ( рдПрдПрдмреА ) рдХрд╛ рдЪрдпрди рдХрд░реЗрдВред
- рд╣рдо ((рдЖ) рдЖрдм (...) (...) рдирд┐рдХрд╛рд▓рддреЗ рд╣реИрдВред
- рдорд┐рд▓рд╛рдирд╛ ((рдЖ) рдЖрдм (...)) ред
- рдкрд░рд┐рдгрд╛рдо рд╕рдВрдЦреНрдпрд╛ 7 (рдЖрдм (рдЖ)) ред
рд╕рдореВрд╣рди
(рдЖ) ,
(рдЖрдм) ,
(рдЖрдм) ред рд╕реНрдЯреНрд░рд┐рдВрдЧ
(рдЖ) (рдЖрдм) (рдЖрдм)) ред
рдкрд╣рд▓рд╛ рд╡рд┐рдХрд▓реНрдк:
- рд╕рд╛рдордЧреНрд░реА (( рдП ) (рдП) (рдП)) рдХрд╛ рдЪрдпрди рдХрд░реЗрдВ ред
- рд╣рдо ( a (... a) (... ab) (... ab) рдирд┐рдХрд╛рд▓рддреЗ рд╣реИрдВред
- рдорд┐рд▓рд╛рдПрдВ ( a (... a ... ab ... ab)) ред
- рдкрд░рд┐рдгрд╛рдо рд╕рдВрдЦреНрдпрд╛ 8 (рдПрдХ (рдЖрдЖрдм)) ред
рджреВрд╕рд░рд╛ рд╡рд┐рдХрд▓реНрдк:
- рд╕рд╛рдордЧреНрд░реА рдХрд╛ рдЪрдпрди рдХрд░реЗрдВ ((рдП) (рдП рдмреА) (рдП рдмреА)) ред
- рд╣рдо рдмрд╛рд╣рд░ рдирд┐рдХрд╛рд▓рддреЗ рд╣реИрдВ ( рдЖ ... (...) (рдмреА) (... рдмреА)) ред
- рдорд┐рд▓рд╛рдирд╛ ( рдЖ (... рдм ... рдм)) ред
- рдкрд░рд┐рдгрд╛рдо рдирдВрдмрд░ 9 (рдЖрд╣рд╛ (рдмреА рдмреА)) ред
рдЕрдореВрд░реНрдд рд╕рдВрдЪрд╛рд▓рдХ рдХреА рдХрд╛рд░реНрд░рд╡рд╛рдИ ред рдЬреИрд╕рд╛ рдХрд┐ рдЖрдк рдЙрджрд╛рд╣рд░рдг рд╕реЗ рджреЗрдЦ рд╕рдХрддреЗ рд╣реИрдВ, рдореВрд▓ рдкрдВрдХреНрддрд┐
((рдПрдПрдмреА) (рдПрдПрдмреА) (рдПрдПрдмреА) рдХреЗ рд▓рд┐рдП, рдмреНрд░реИрдХреЗрдЯ рд╕реЗ рдмрд╛рд╣рд░ рдХреБрдЫ рдбрд╛рд▓рдиреЗ рдХреЗ рд▓рд┐рдП рдиреМ рдЕрд▓рдЧ-рдЕрд▓рдЧ рд╡рд┐рдХрд▓реНрдк рд╣реИрдВ, рдФрд░ рдиреМ рдкрд░рд┐рдгрд╛рдореА рд▓рд╛рдЗрдиреЗрдВ рдЗрди рд╡рд┐рдХрд▓реНрдкреЛрдВ рдХреЗ рдЕрдиреБрд░реВрдк рд╣реИрдВред рдПрдмреНрд╕рдЯреНрд░реИрдХреНрд╢рди рдСрдкрд░реЗрдЯрд░ рдЗрд╕ рддрд░рд╣ рд╕реЗ рдХрд╛рд░реНрдп рдХрд░рддрд╛ рд╣реИ - рдХреЛрд╖реНрдардХ рд╕реЗ рдмрд╛рд╣рд░ рд░рдЦрдиреЗ рдХреЗ рд▓рд┐рдП рд╕рднреА рд╕рдВрднрд╛рд╡рд┐рдд рд╡рд┐рдХрд▓реНрдкреЛрдВ рдкрд░ рдкреБрдирд░рд╛рд╡реГрддреНрдд рдХрд░рддрд╛ рд╣реИ рдФрд░ рдкрд░рд┐рдгрд╛рдорд╕реНрд╡рд░реВрдк рдкрдВрдХреНрддрд┐рдпреЛрдВ рдХреЗ рд╕рдВрдЧрдд рд╕реЗрдЯ рдХрд╛ рдирд┐рд░реНрдорд╛рдг рдХрд░рддрд╛ рд╣реИред рдЗрд╕рдХреЗ рдЕрд▓рд╛рд╡рд╛, рдЕрдореВрд░реНрдд рдСрдкрд░реЗрдЯрд░ рди рдХреЗрд╡рд▓ рд╕реНрд░реЛрдд рд▓рд╛рдЗрди рдореЗрдВ, рдмрд▓реНрдХрд┐ рд╕рднреА рдкрд░рд┐рдгрд╛рдореА рдкрд░рд┐рдгрд╛рдо рд▓рд╛рдЗрдиреЛрдВ рдореЗрдВ рднреА рдмрдирд╛рдиреЗ рдХреЗ рд▓рд┐рдП рд╡рд┐рдХрд▓реНрдкреЛрдВ рдХреА рддрд▓рд╛рд╢ рдХрд░ рд░рд╣рд╛ рд╣реИред рджреВрд╕рд░реЗ рд╢рдмреНрджреЛрдВ рдореЗрдВ, рдЕрдореВрд░реНрдд рдСрдкрд░реЗрдЯрд░ рдХреЛ рдЙрд╕рдХреЗ рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреЗ рд▓рд┐рдП рдкреБрдирд░рд╛рд╡рд░реНрддреА рд░реВрдк рд╕реЗ рд▓рд╛рдЧреВ рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ, рдФрд░ рддрдм рддрдХ рдЬрдм рддрдХ рдХрд┐ рд╕рднреА рд╕рдВрднрд╛рд╡рд┐рдд рд╡рд┐рдХрд▓реНрдк рд╕рдорд╛рдкреНрдд рдирд╣реАрдВ рд╣реЛ рдЬрд╛рддреЗред рд╕реНрдкрд╖реНрдЯ рдХрд╛рд░рдгреЛрдВ рдХреЗ рд▓рд┐рдП, рдХрд┐рд╕реА рднреА рдЕрдВрддрд┐рдо рдкрдВрдХреНрддрд┐ рдХреЗ рд▓рд┐рдП, рд╕рдВрднрд╛рд╡рд┐рдд рдирд┐рд╖реНрдХрд╛рд╕рди рд╡рд┐рдХрд▓реНрдкреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ рднреА рдкрд░рд┐рдорд┐рдд рд╣реИред
рдЖрдЗрдП рд╣рдо рдкрд┐рдЫрд▓реЗ рдЙрджрд╛рд╣рд░рдг рдкрд░ рд▓реМрдЯрддреЗ рд╣реИрдВред рдорд╛рдирд╛ рдЙрджрд╛рд╣рд░рдг рдореЗрдВ, рдореИрдВрдиреЗ рд╕рднреА рд╕рдВрднрд╛рд╡рд┐рдд рд╡рд┐рдХрд▓реНрдкреЛрдВ рдХреЛ рдирд╣реАрдВ рд▓рд┐рдЦрд╛, рд▓реЗрдХрд┐рди рдкрд╣рд▓реЗ рд╕реНрддрд░ рдХреЗ рдХреЗрд╡рд▓ рдиреМ рдЯреБрдХрдбрд╝реЗред рдЕрдореВрд░реНрдд рдСрдкрд░реЗрдЯрд░ рдХреЗ рдкреВрд░реНрдг рдкреНрд░рднрд╛рд╡ рдХреЛ рд╕реНрдкрд╖реНрдЯ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП, рдкрд╣рд▓реЗ рд╕реЗ рдкреНрд░рд╛рдкреНрдд рдиреМ рдкрд░рд┐рдгрд╛рдореЛрдВ рдореЗрдВ рд╕реЗ рдкреНрд░рддреНрдпреЗрдХ рдХреЗ рд▓рд┐рдП рдХреЛрд╖реНрдардХ рд╕реЗ рдмрд╛рд╣рд░ рд░рдЦрдиреЗ рдХреЗ рд▓рд┐рдП рд╕рднреА рд╡рд┐рдХрд▓реНрдкреЛрдВ рдХрд╛ рдирд┐рд░реНрдорд╛рдг рдХрд░рдирд╛ рдЖрд╡рд╢реНрдпрдХ рд╣реИред рд╣рдо рд╕рднреА рд╡рд┐рдХрд▓реНрдкреЛрдВ рдХреЛ рд▓рд┐рдЦреЗрдВрдЧреЗ, рд▓реЗрдХрд┐рди рдЕрдзрд┐рдХ рд╕рдВрдХреНрд╖рд┐рдкреНрдд рддрд░реАрдХреЗ рд╕реЗред
рдкрд░рд┐рдгрд╛рдо рдирдВрдмрд░ 1
(a (aab) (aab)) :
1.1ред
(a ( a ab) ( a ab)) => ( a (aabb)) ред
1.2ред
(рдП (рдП рдмреА) (рдП рдмреА)) => (рдПрдХ рдП (рдмреА рдмреА)) ред
1.3ред
(a (a ab ) (a ab )) => (a ab (aa)) ред * рдирдВрдмрд░ 7
1.4ред
(a ( aab ) ( aab )) => ( aab ) ред
1.5ред
(рдП ( рдП рдмреА ) ( рдП рдмреА )) => (рдП рдмреА (рдПрдПрдПрдП)) ред
рдкрд░рд┐рдгрд╛рдо рдирдВрдмрд░ 2
(a (b) (aab)) :
2.1ред
(a ( b ) (aa b )) => (a b (aa)) ред
рдкрд░рд┐рдгрд╛рдо рдХреНрд░рдорд╛рдВрдХ 3
(a (a) (aabb)) :
3.1ред
(a ( a ) ( a abb)) => ( a (aabb)) ред * рдирдВрдмрд░ 1.1
3.2ред
(рдПрдХ ( рдЖ ) ( рдЖ рдмрдм)) => (рдПрдХ рдЖ (рдмрдм)) ред * рдирдВрдмрд░ 1.2
рдкрд░рд┐рдгрд╛рдо рд╕рдВрдЦреНрдпрд╛ 4
(рдЖ) (рдЖ) (рдмреА рдмреА) ред
рдкрд░рд┐рдгрд╛рдо рд╕рдВрдЦреНрдпрд╛ 5
(ab (aa) (aa)) :
5.1ред
(ab ( a ) ( a ) a) => ( a ab (aa)) ред * рдирдВрдмрд░ 7, * рдирдВрдмрд░ 1.3
5.2ред
(рдЕрдм ( рдЖ ) ( рдЖ )) => ( рдЖ рдЕрдм) ред * рдирдВрдмрд░ 1.4
рдкрд░рд┐рдгрд╛рдо рд╕рдВрдЦреНрдпрд╛ 6
(b (рдЖ)) (aaaa) :
6.1ред
(b ( a ) ( a aa)) => ( a (aaaaa)) ред * рдирдВрдмрд░ 1.5
6.2ред
(b ( рдЖ ) ( рдЖ рдЖ)) => ( рдЖ рдм (рдЖ)) ред * рдирдВрдмрд░ 7, * рдирдВрдмрд░ 1.3, * рдирдВрдмрд░ 5.1
рдкрд░рд┐рдгрд╛рдо рд╕рдВрдЦреНрдпрд╛ 7
(рдЖрдм (рдЖ)) ред
рдкрд░рд┐рдгрд╛рдо рд╕рдВрдЦреНрдпрд╛ 8
(рдПрдХ (рдЖрдЖрдм)) ред
рдкрд░рд┐рдгрд╛рдо рдирдВрдмрд░ 9
(рдЖрд╣рд╛ (рдмреА рдмреА)) ред
рдПрдХ рддрд╛рд░рд╛рдВрдХрди рд╡рд┐рдХрд▓реНрдк рдХреЛ рджреЛрд╣рд░рд╛рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред рдЕрдореВрд░реНрддрддрд╛ рдХреЗ рдкрд░рд┐рдгрд╛рдо рдореЗрдВ рдХреЗрд╡рд▓ рдЕрдиреВрдареА рд╡рд┐рд╡рд┐рдзрддрд╛рдПрдВ рд╢рд╛рдорд┐рд▓ рд╣реИрдВред рдкрд╛рд░реНрд╕ рдХрд┐рдП рдЧрдП рдЙрджрд╛рд╣рд░рдг рдореЗрдВ, рдЪреМрджрд╣ рдЕрджреНрд╡рд┐рддреАрдп рдкрд░рд┐рдгрд╛рдо рд▓рд╛рдЗрдиреЗрдВ рд╣реИрдВред рдХреБрд▓:
рдЕрдореВрд░реНрддрддрд╛ [(рдЖ) ((рдЖрдм) (рдЖрдм)] =
{
(a (aab) (aab)), (рдЖ (aabb)), (aaa (bb)), (aaab), (a (b) (aab)), (ab (aa)), (a) (рдЖрдм)), (рдЖ (рдЖ) (рдмреА рдмреА)), (рдЕрдм (рдЖ) (рдЖ)), (рдм (рдЖ) (рдЖ), (рдЕ (рдЖ))), (рдЖрдм (рдЖ)), (рдП) ((рдЖрдм)), (рдЖрдм ())
}рд╕реНрдкрд╖реНрдЯрддрд╛ рдХреЗ рд▓рд┐рдП, рдХреБрдЫ рдФрд░ рдЙрджрд╛рд╣рд░рдгреЛрдВ рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд░реЗрдВред
рд╕реНрдЯреНрд░рд┐рдВрдЧ
((рдП (рдмреА)) (рдП (рдмреА))) ред рдХреЛрд╖реНрдардХ рд╡рд┐рдХрд▓реНрдкред рдкрд╣рд▓рд╛ рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐:
((( рдП (рдмреА)) ( рдП (рдмреА)) => ((рдП (рдмреА) (рдмреА)) , рдкрд░рд┐рдгрд╛рдо рдирдВрдмрд░ резред
((рдП (рдмреА) ) (рдП (рдмреА )) => ( (рдмреА) (рдПрдП)) , рдкрд░рд┐рдгрд╛рдо рдирдВрдмрд░ реиред
(( рдП (рдмреА) ) ( рдП (рдмреА )) => ( рдП (рдмреА) ) , рдкрд░рд┐рдгрд╛рдо рдирдВрдмрд░ 3ред
рдкрд╣рд▓реЗ рдкрд░рд┐рдгрд╛рдо рдореЗрдВ, рдПрдХ рдФрд░ рдирд┐рд░реНрдгрдп рд▓рд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред рджреВрд╕рд░рд╛ рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐:
(a ( b ) ( b ))) => (a ( b )) , рдкрд░рд┐рдгрд╛рдо рд╕рдВрдЦреНрдпрд╛ 1.2 рдкрд░рд┐рдгрд╛рдо рд╕рдВрдЦреНрдпрд╛ 3 рдХреЗ рд╕рд╛рде рдореЗрд▓ рдЦрд╛рддрд╛ рд╣реИред
рдХреБрд▓:
рдЕрдореВрд░реНрддрддрд╛ (((((рдмреА)) ((рдмреА))] = {(рдП ((рдмреА) (рдмреА))), (рдмреА (рдП)), (рдП (рдмреА))}рдорд╣рд╛рди рдЙрджрд╛рд╣рд░рдг:рдЕрдореВрд░реНрдд [ рдХрдЯреМрддреА [(((рдмреА))]] = рдЕрдореВрд░реНрдд [(((рдмреА.рдмреА.))) (рдПрдП (рдмреА.рдмреА.)) ()) =>
1. ( рдП ( рдмреА рдмреА) ( рдмреА рдмреА)) (рдП (рдмреА рдмреА) (рдмреА рдмреА)) => (( рдП рдмреА (рдмреА)) (рдП (рдмреА рдмреА)) (рдмреА рдмреА)) ред
1.1ред (( a ab (b)) ( a (bb) (bb)) => ((anab (b) (bb) (bb))) ред
1.1.1ред (a (anab ( b ) ( b b) (bb)) => (a (anab b (b) (bb))) ред
1.1.1.1ред (a (anabb ( b ) ( b b))) => (a (abb b (b))) ред
1.1.2ред (a (anab ( b ) ( b b) ( b b)) = = (a ( b b (bb)))) ред
1.1.3ред (a (anab (b) ( b b) ( b b)) => (a (a b b (b) (bb))) ред
1.1.3.1ред (a (anabb ( b ) ( b b))) => (a (abb b (b))) ред
1.1.4ред (a (anab (b) ( bb ) ( bb )) => (a (anab bb (b))) ред
1.2ред ((рдП рдмреА (рдмреА)) (рдП (рдмреА рдмреА) (рдмреА рдмреА)) => (рдП (рдмреА (рдмреА) (рдмреА рдмреА) (рдмреА рдмреА))) ред
1.2.1ред (рдП (рдмреА ( рдмреА ) ( рдмреА рдмреА) (рдмреА рдмреА)) => (рдП (рдмреА рдмреА (рдмреА) (рдмреА рдмреА))) ред
1.2.1.1ред (рдЖ (рдмреА рдмреА ( рдмреА )) ( рдмреА рдмреА)) => ( рдП (рдмреА рдмреА рдмреА (рдмреА))) ред
1.2.2ред (рдП (рдмреА ( рдмреА ) ( рдмреА рдмреА) ( рдмреА рдмреА)) => ( рдП (рдмреА рдмреА (рдмреА рдмреА))) ред
1.2.3ред (рдП (рдмреА (рдмреА) ( рдмреА рдмреА) ( рдмреА рдмреА)) => (рдП (рдмреА рдмреА (рдмреА) (рдмреА рдмреА))) ред
1.2.3.1ред (рдЖ (рдмреА рдмреА ( рдмреА )) ( рдмреА рдмреА)) => ( рдП (рдмреА рдмреА рдмреА (рдмреА))) ред
1.2.4ред (рдП (рдмреА ( рдмреА ) ( рдмреА рдмреА ) ( рдмреА рдмреА )) => (рдП (рдмреА рдмреА рдмреА (рдмреА))) ред
1.3ред ((anab (b)) (рдЖ ( b b) ( b b))) => ((anab (b)) (aa b (bb))) ред
1.3.1ред (( a ab (b)) ( a ab (bb)) => ((aabb (b) (bb))) ред
1.3.1.1ред (a (anabb ( b ) ( b b))) => (a (abb b (b))) ред
1.3.2ред ((рдП рдмреА (рдмреА)) (рдП рдмреА (рдмреА рдмреА)) => (рдП (рдмреА рдмреА (рдмреА)) (рдмреА рдмреА)) ред
1.3.2.1ред (рдЖ (рдмреА рдмреА ( рдмреА )) ( рдмреА рдмреА)) => ( рдП (рдмреА рдмреА рдмреА (рдмреА))) ред
1.3.3ред (( anab (b)) ( anab (bb))) => ( anab ((b) (bb)))) ред
1.3.3.1ред (anab (( b ) ( b b)) => (anab ( b (b)))) ред
1.3.4ред ((a ab (b)) (a ab (bb)) => ( ab (рдЖ (b) (bb))) ред
1.3.4.1ред (ab (рдЖ ( b ) ( b b))) => (ab (рдЖ b (b)))) ред
1.3.5ред ((рдЖ рдм (рдм)) (рдЖ рдм (рдмрдм)) => ( рдм (рдЖ) (рдм) (рдмрдм)) ред
1.3.5.1ред (b (рдЖрдЖрдЖ ( b ) ( b b))) => (b (рдЖрдЖрдЖ b (b)))) ред
1.4ред ((anab (b)) (рдЖ ( bb )) ( bb )) => ((anab (b)) (aa bb )) ред
1.4.1ред (( a ab (b)) ( a abb)) => ((aabbb (b))) ред
1.4.2ред ((рдП рдмреА) (рдмреА)) (рдП рдмреА рдмреА рдмреА) => (рдП (рдмреА рдмреА рдмреА (рдмреА))) ред
1.4.3ред (( anab (b)) ( aab b)) => ( anab (b (b)))) ред
1.4.4ред ((a ab (b)) (a ab b)) => ( ab (anab (b))) ред
1.4.5ред (( рдП рдмреА) (рдмреА)) ( рдП рдмреА рдмреА) => ( рдмреА (рдПрдПрдПрдмреА (рдмреА))) ред
реи. (рдЖ ( рдмрдм ) ( рдмрдм )) (рдЖ (рдмрдм) (рдмрдм)) => ((рдЖ рдмрдм ) (рдЖ (рдмрдм) (рдмрдм)) ред
2.1ред ((anabb) (рдЖ ( b b) ( b b))) => ((aabb) (aa b (bb))) ред
2.1.1ред (( a abb) ( a ab (bb)) => ((aabbb (bb))) ред
2.1.2ред ((рдП рдмреА рдмреА рдмреА) (рдП рдмреА рдмреА (рдмреА рдмреА)) => (рдП (рдмреА рдмреА рдмреА (рдмреА рдмреА))) ред
2.1.3ред (( anab b) ( anab (bb))) => ( anab (b (bb)))) ред
2.1.4ред ((a ab b) (a ab (bb)) => ( ab (anab (bb))) ред
2.1.5ред (( рдП рдмреА рдмреА) ( рдП рдмреА рдмреА (рдмреА рдмреА)) => ( рдмреА (рдПрдПрдПрдПрдмреА (рдмреА рдмреА))) ред
2.2ред ((anabb) (рдЖ ( bb )) ( bb )) => ((aabb) (aa bb )) ред
2.2.1ред (( a abb) ( a abb)) => ((abbbb)) ред
2.2.2ред ((рдЖрдм рдмрдм) ( рдЖ рдмрдм)) => ( рдЖ (рдмрдмреНрдм)) ред
2.2.3ред (( anab b) ( aab b)) => ( anab (bb)) ред
2.2.4ред ((a abb ) (a abb )) => ( abb (aa)) ред
2.2.5ред (( anabb ) ( aabb )) => ( aabb ) ред
2.2.6ред ((a ab b) (a ab b)) => ( ab (aabb)) ред
2.2.7ред (( рдП рдмреА рдмреА) ( рдП рдмреА рдмреА)) => ( рдмреА (рдПрдПрдПрдПрдмреА)) ред
2.2.8ред ((рдП рдмреА рдмреА рдП) (рдП рдмреА рдмреА рдП )) => ( рдмреА рдмреА (рдП рдП рдП рдП)) ред
2.3ред (( a abb) ( a (bb) (bb)) => ( a (anabb (bb) (bb))) ред
2.3.1ред (a (anabb ( b b) ( b b))) => (a (aabb b (bb)))) ред
2.3.2ред (a (anabb ( bb ) ( bb ))) => ((aabb bb )) ред
2.4ред ((рдП рдмреА рдмреА рдмреА) (рдП (рдмреА рдмреА) (рдмреА рдмреА)) => (рдП (рдмреА рдмреА) (рдмреА рдмреА)) ред
2.4.1ред (рдЖ (рдмреА рдмреА ( рдмреА рдмреА)) ( рдмреА рдмреА)) => (рдЖ (рдмреА рдмреА рдмреА (рдмреА рдмреА))) ред
2.4.2ред (рдЖ (bb ( bb )) ( bb )) => (aa (bb bb )) ред
рей. ((( рдП (рдмреА.рдмреА.)) ( рдП ) ( рдП (рдмреА.рдмреА.)) ()) => ( рдП (рдПрдПрдмреА (рдмреА.рдмреА.)) (рдмреА.рдмреА.) (рдмреА.рдмреА.)) ред
3.1ред (a (рдЖ ( b b) ( b b) (bb) (bb))) => (a (a b (bb) (bb) (bb))) ред
3.1.1ред (a (anab ( b b) ( b b) (bb)) => ((aab b (bb) (bb))) ред
3.1.1.1ред (a (anabb ( b b) ( b b))) => (a (aabb b (bb)))) ред
3.1.1.2ред (a (anabb ( bb ) ( bb ))) => ((aabb bb )) ред
3.1.2ред (a (anab ( b b) ( b b) ( b b)) = = ((aab b (bbb))) ред
3.1.3ред (a (anab ( bb ) ( bb ) (bb))) => (a (anab bb (bb)))) ред
3.1.4ред (a (anab ( bb ) ( bb ) ( bb )) => (a (anab bb )) ред
3.2ред (рдПрдХ ( рдП.рдмреА. ) ( рдмреА.рдмреА. ) (рдмреА.рдмреА.) (рдмреА.рдмреА.)) => (рдП (рдП рдмреА рдмреА рдмреА (рдмреА рдмреА)) (рдмреА рдмреА)) ред
3.2.1ред (a (anabb ( b b) ( b b))) => (a (aabb b (bb)))) ред
3.2.2ред (a (anabb ( bb ) ( bb ))) => ((aabb bb )) ред
3.3ред (рдП ( рдП ( рдмреА рдмреА) ( рдмреА рдмреА) ( рдмреА рдмреА) (рдмреА рдмреА)) => (рдП ( рдП рдмреА (рдмреА рдмреА рдмреА)) (рдмреА рдмреА)) ред
3.3.1ред (a (aab ( b bb) ( b b)) => (a (aab b (bbb))) ред
3.3.2ред (a (anab ( bb b) ( bb )) => ((aab bb (b))) ред
3.4ред (a (рдЖ ( b b)) ( b b) ( b b) ( b b)) >> (a (a b (bbbb))) ред
3.5ред (рдПрдХ ( рдП.рдмреА. ) ( рдмреА.рдмреА. ) ( рдмреА.рдмреА. ) (рдмреА.рдмреА.)) => (рдП (рдП рдмреА рдмреА рдмреА (рдмреА рдмреА))) ред
3.6ред (рдПрдХ рдЖ ( рдмреА рдмреА ) ( рдмреА рдмреА ) ( рдмреА рдмреА ) ( рдмреА рдмреА )) => (рдП (рдП рдмреА рдмреА рдмреА )) ред
4. ( рдЖ (рдмреАрдмреА)) (рдмреА рдмреА)) ( рдЖ (рдмреА рдмреА рдП) (рдмреА рдмреА)) => (рдП ((рдмреА рдмреА)) (рдмреА рдмреА) (рдмреА рдмреА)) ред
4.1ред (рдЖ (( рдмреА рдмреА) ( рдмреА рдмреА) (рдмреА рдмреА) (рдмреА рдмреА)) => ( рдП (рдмреА (рдмреА рдмреА)) (рдмреА рдмреА) (рдмреА рдмреА)) ред
4.1.1ред (рдП (рдмреА ( рдмреА рдмреА) ( рдмреА рдмреА) (рдмреА рдмреА)) => ( рдП (рдмреА рдмреА (рдмреА рдмреА)) (рдмреА рдмреА)) ред
4.1.1.1ред (рдЖ (рдмреА рдмреА ( рдмреА рдмреА)) ( рдмреА рдмреА)) => (рдЖ (рдмреА рдмреА рдмреА (рдмреА рдмреА))) ред
4.1.1.2ред (рдЖ (bb ( bb )) ( bb )) => (aa (bb bb )) ред
4.1.2ред (рдЖ (b ( b b)) ( b b) ( b b)) => (aa (b b (bbb))) ред
4.1.3ред (рдЖ (рдмреА ( рдмреА рдмреА )) ( рдмреА рдмреА ) (рдмреА рдмреА)) => (рдП (рдмреА рдмреА рдмреА рдмреА (рдмреА рдмреА))) ред
4.1.4ред (рдЖ (рдмреА ( рдмреА рдмреА )) ( рдмреА рдмреА ) ( рдмреА рдмреА )) => (рдП (рдмреА рдмреА рдмреА )) ред
4.2ред (рдЖ (( рдмреА рдмреА )) ( рдмреА рдмреА ) (рдмреА рдмреА) (рдмреА рдмреА)) => (рдЖ ( рдмреА рдмреА рдмреА) (рдмреА рдмреА)) ред
4.2.1ред (рдЖ (рдмреА рдмреА ( рдмреА рдмреА)) ( рдмреА рдмреА)) => (рдЖ (рдмреА рдмреА рдмреА (рдмреА рдмреА))) ред
4.2.2ред (рдЖ (bb ( bb )) ( bb )) => (aa (bb bb )) ред
4.3ред (рдЖ (( рдмреА рдмреА) ( рдмреА рдмреА) ( рдмреА рдмреА) (рдмреА рдмреА)) => ( рдП (рдмреА (рдмреА рдмреА рдмреА)) (рдмреА рдмреА)) ред
4.3.1ред (рдЖ (рдмреА ( рдмреА рдмреА рдмреА)) ( рдмреА рдмреА)) => (рдП (рдмреА рдмреА ( рдмреА рдмреА рдмреА ))) ред
4.3.2ред (рдП ( рдмреА ( рдмреА рдмреА рдмреА) ( рдмреА рдмреА )) => (рдП (рдмреА рдмреА рдмреА (рдмреА))) ред
4.4ред (рдЖ (( рдмреА рдмреА) ( рдмреА рдмреА) ( рдмреА рдмреА) ( рдмреА рдмреА)) >> (рдП ( рдмреА ( рдмреА рдмреА рдмреА рдмреА))) ред
4.5ред (рдЖ (( рдмреА рдмреА ) ( рдмреА рдмреА ) ( рдмреА рдмреА ) (рдмреА рдмреА)) => (рдЖ ( рдмреА рдмреА рдмреА))) ред
4.6ред (рдЖ (( рдмреА рдмреА )) ( рдмреА рдмреА ) ( рдмреА рдмреА ) ( рдмреА рдмреА )) => (рдЖ ( рдмреА рдмреА рдП )) ред
5. (рдЖ (рдЖрдм) (рдмрдм)) (рдЖ (рдмрдм) (рдмрдм)) = = ( (рдмрдм) (рдЖрдЖрдЖрдЖ (рдмрдм) (рдмрдм)) ред
5.1ред ((рдмреА рдмреА) (рдЖрдЖрдЖ ( рдмреА рдмреА) ( рдмреА рдмреА)) => ((рдмреА рдмреА) (рдЖ рдЖ рдм (рдмреА рдмреА))) ред
5.1.1ред (( b b) (aaaa b (bb))) => ( b (aaabab (bb)))) ред
5.2ред ((рдмреА рдмреА) (рдЖрдЖрдЖ ( рдмреА рдмреА ) ( рдмреА рдмреА )) => ((рдмреА рдмреА) (рдП рдП рдП рдмреА рдмреА рдмреА )) ред
5.2.1ред (( b b) (aaaa b b)) => ( b (aaababb)) ред
5.2.2ред (( рдмреА рдмреА ) (рдЖрдЖрдЖрд╣ рдмреА рдмреА )) => ( рдмреА рдмреА (рдПрдП рдП рдП)) ред
6. (рдЖ (рдмреАрдмреА)) (рдмреА рдмреА) ) (рдЖ (рдмреА рдмреА рдП) (рдмреА рдмреА )) => ( (рдмреА рдмреА) (рдмреА рдмреА) (рдЖрдЖ)) ред
6.1ред (( b b) ( b b) (aaaa)) => ( b (bb) (aaaa)) ред
6.2ред (( рдмреА.рдмреА. ) ( рдмреА.рдмреА.рдП. ) (рдЖрдЖрдЖ)) => ( рдмреА.рдмреА.рдП. (рдЖрдЖрдЖ))
7. ((рдП (рдмреА.рдмреА.) (рдмреА.рдмреА.)) (рдП (рдмреА.рдмреА.) (рдмреА.рдмреА.)) => ( рдП (рдмреА.рдмреА.) (рдЖ (рдмреА.рдмреА.)) (рдмреА.рдмреА.)) ред
7.1ред (a (рдмреА рдмреА) ( рдП ( рдмреА рдмреА) ( рдмреА рдмреА)) => (рдП (рдмреА рдмреА) ( рдП рдмреА (рдмреА рдмреА))) ред
7.1.1ред (a ( b b) (aa b (bb))) => (a b (anab (bb))) ред
7.2ред (рдПрдХ (рдмреА рдмреА) (рдЖ ( рдмреА рдмреА )) ( рдмреА рдмреА )) => (рдП (рдмреА рдмреА) (рдП рдмреА рдмреА рдмреА )) ред
7.2.1ред (a ( b b) (aa b b)) => (a ( b (aabb))) ред
7.2.2ред (a ( bb ) (aa bb )) => (a bb (aa)) ред
8. ( рдЖ (рдмреАрдмреА)) (рдмреА рдмреА)) ( рдЖ (рдмреА рдмреА рдП) (рдмреА рдмреА)) => ( рдЖ (рдмреА рдмреА рдП) ((рдмреА рдмреА)) (рдмреА рдмреА)) ред
8.1ред (рдЖ (рдмреА рдмреА) (( рдмреА рдмреА) ( рдмреА рдмреА)) => ( рдП (рдмреА рдмреА) ( рдмреА (рдмреА рдмреА))) ред
8.1.1ред ( рдП ( рдмреА рдмреА) ( рдмреА (рдмреА рдмреА)) => ( рдП рдмреА (рдмреА (рдмреА рдмреА))) ред
8.2ред (рдЖ (рдмреА рдмреА) (( рдмреА рдмреА ) ( рдмреА рдмреА )) => (рдЖ (рдмреА рдмреА рдП) ( рдмреА рдмреА )) ред
8.2.1ред (рдЖ ( b b) ( b b)) => (aa b (bb)) ред
8.2.2ред (рдЖ) ( рдмреА рдмреА ) ( рдмреА рдмреА )) => ( рдП рдмреА рдмреА рдмреА ) ред
9. (((рдП (рдмреА.рдмреА.) ) (рдП) (рдП (рдмреА.рдмреА.)) ( )) => ( рдП (рдмреА.рдмреА.) (рдмреА.рдмреА.) ( рдПрдП )) ред
9.1ред (a (рдЖ) ( b b) ( b b)) => (a b (aa) (bb)) ред
9.2ред (рдПрдХ (рдЖ) ( рдмреА рдмреА ) ( рдмреА рдмреА )) => (рдП рдмреА рдмреА (рдП рдП)) ред
10. ( рдЖрд╣рд╛ (рдмреА.рдмреА.) (рдмреА.рдмреА.) ) ( рдЖ (рдмреА.рдмреА.)) (рдмреА.рдмреА. )) = ( рдП (рдмреА.рдмреА.) (рдмреА.рдмреА.) ) ред
10.1ред (a ( b b) ( b b)) => (a b (bb)) ред
10.2ред (a ( bb ) ( bb )) => (a bb ) ред
рдкрд░рд┐рдгрд╛рдореА (рддреАрд░ рдХреЗ рджрд╛рдИрдВ рдУрд░) рдкрдВрдХреНрддрд┐рдпреЛрдВ рдХреА рдЙрдкрд░реЛрдХреНрдд рд╕реВрдЪреА рд╕реЗ, рдЖрдкрдХреЛ рд╕рднреА рдЕрдирдиреНрдп рд▓реЛрдЧреЛрдВ рдХрд╛ рдЪрдпрди рдХрд░рдиреЗ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реИ, рдФрд░ рдЕрджреНрд╡рд┐рддреАрдп рдкрдВрдХреНрддрд┐рдпреЛрдВ рдХрд╛ рдпрд╣ рд╕реЗрдЯ рдЕрдореВрд░реНрдд [((((рдмреА.рдмреА.))) (рдЖ (рдмреА.рдмреА.) (рдмреА.рдмреА.))] рдХрд╛ рдкрд░рд┐рдгрд╛рдо рд╣реЛрдЧрд╛ ред рдореИрдВ рдЕрджреНрд╡рд┐рддреАрдп рд▓рд╛рдЗрдиреЗрдВ рдирд╣реАрдВ рд▓рд┐рдЦреВрдВрдЧрд╛, рдХреНрдпреЛрдВрдХрд┐ рдЗрд╕рд╕реЗ рд╕реНрдкрд╖реНрдЯреАрдХрд░рдг рдореЗрдВ рдХреБрдЫ рднреА рдирд╣реАрдВ рдЬреЛрдбрд╝рд╛ рдЬрд╛рдПрдЧрд╛ред рдиреАрдЪреЗ, рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдХреЗ рдЕрдиреБрдХреВрд▓рди рдФрд░ рд╡реНрдпрд╛рд╡рд╣рд╛рд░рд┐рдХ рдЙрдкрдпреЛрдЧ рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд░рддреЗ рд╕рдордп, рдореИрдВ рдЗрд╕ рдЙрджрд╛рд╣рд░рдг рдХрд╛ рдЙрд▓реНрд▓реЗрдЦ рдХрд░реВрдВрдЧрд╛ред
рд░рдЪрдирд╛ рд╕рдВрдЪрд╛рд▓рдХ ред рдкрд░рд┐рднрд╛рд╖рд╛ред
тИАU тИА S , U тИЕ тИА, рд░рдЪрдирд╛ [U] тКВ тКВ, рд░рдЪрдирд╛ [U] тКВ рдПрд╕ ред рдпрд╣ рдЗрдирдкреБрдЯ рдХреА рдХрдИ рд▓рд╛рдЗрдиреЛрдВ рдХреЛ рд╕реНрд╡реАрдХрд╛рд░ рдХрд░рддрд╛ рд╣реИ, рдФрд░ рдПрдХ рд▓рд╛рдЗрди рджреЗрддрд╛ рд╣реИред рдХрд╛рд░реНрд░рд╡рд╛рдИред рдСрдкрд░реЗрдЯрд░ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдХреЗ рдЕрдЧрд▓реЗ рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ рдХреЗ рд▓рд┐рдП рд╕рд╛рдордЧреНрд░реА рддреИрдпрд╛рд░ рдХрд░рддрд╛ рд╣реИред рдЕрдореВрд░реНрдд рдСрдкрд░реЗрдЯрд░ рдХреА рдХрд╛рд░реНрд░рд╡рд╛рдИ рдХреЗ рдмрд╛рдж, рдХрдИ рд▓рд╛рдЗрдиреЗрдВ рджрд┐рдЦрд╛рдИ рджреЗрддреА рд╣реИрдВ, рдФрд░ рд░рдЪрдирд╛ рдХреЗ рдЪрд░рдг рдореЗрдВ, рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдХреЗ рдЕрдЧрд▓реЗ рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ рдХреЗ рд▓рд┐рдП рд▓рд╛рдЗрдиреЛрдВ рдХрд╛ рдЪрдпрди рдФрд░ рд╕рдВрдпреЛрдЬрди рд╣реЛрддрд╛ рд╣реИред рдЕрдзрд┐рдХ рд╡рд┐рд╕реНрддрд╛рд░ рд╕реЗ рдореИрдВ рдЗрд╕ рдореБрджреНрджреЗ рдХреЛ рдЕрдиреБрдХреВрд▓рди рдФрд░ рд╡реНрдпрд╛рд╡рд╣рд╛рд░рд┐рдХ рдЙрдкрдпреЛрдЧ рдХреЗ рд╡рд░реНрдЧреЛрдВ рдореЗрдВ рд╡рд┐рдЪрд╛рд░ рдХрд░реВрдВрдЧрд╛ред рд╕рд░рд▓рддрдо рдорд╛рдорд▓реЗ рдореЗрдВ, рд░рдЪрдирд╛ рд╕рдВрдЪрд╛рд▓рдХ рд╕рднреА рдЕрдореВрд░реНрдд рдкрд░рд┐рдгрд╛рдореЛрдВ рдХрд╛ рдПрдХ рд╕рд░рд▓ рд╕рдВрдпреЛрдЬрди рдХрд░рддрд╛ рд╣реИред рдЗрд╕рд▓рд┐рдП рд╣рдо рдЗрд╕реЗ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд░рддреЗ рд╣реИрдВред рдЙрджрд╛рд╣рд░рдг:
рд░рдЪрдирд╛ [ рдЕрдореВрд░реНрдд ] (((((рдмреА)) ((рдмреА)))] = рд░рдЪрдирд╛ [{(рдП (рдмреА (рдмреА)))], (рдмреА (рдП)), (рдП) b))}] = ((((((рдмреА) ()) ((рдмреА) (рдП)) (рдП (рдмреА))) ред
рдПрд▓реНрдЧреЛрд░рд┐рдердо рдЧреБрдг
рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рддрд╛рд░ рдкреИрджрд╛ рдХрд░рддрд╛ рд╣реИред рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдХреЗ рдЪрд▓рдиреЗ рдХреЗ рд╕рдВрдЪрд╛рд▓рди рдХреЗ рдкрд░рд┐рдгрд╛рдорд╕реНрд╡рд░реВрдк рдмрдирдиреЗ рд╡рд╛рд▓реА рд╕рднреА рд▓рд╛рдЗрдиреЛрдВ рдХреЗ рд╕реЗрдЯ рдХреЛ "рдПрд▓реНрдЧреЛрд░рд┐рджрдо рдЖрдЙрдЯрдкреБрдЯ" рдпрд╛ рдмрд╕ "рдЖрдЙрдЯрдкреБрдЯ" рдХрд╣рд╛ рдЬрд╛рдПрдЧрд╛ред рдЕрдиреБрдорд╛рди рдХреА рдкрд░рд┐рднрд╛рд╖рд╛ред
T s composition {t n | t n + 1 = рд░рдЪрдирд╛ [ рдЕрдореВрд░реНрдд [ рдХрдЯреМрддреА [t n ]]]; рдЯреА 0 = рдПрд╕; рдЯреА рдПрди , рдПрд╕ n рдПрд╕ ; n} рдПрди }ред T s рдмреАрдЬ
s рдХреЗ рд▓рд┐рдП рдЖрдЙрдЯрдкреБрдЯ рд╣реИред рдЙрди рдорд╛рдорд▓реЛрдВ рдореЗрдВ рдЬрд╣рд╛рдВ
рдЯреА рдПрдХ рдкреИрд░рд╛рдореАрдЯрд░ рдХреЗ рдмрд┐рдирд╛ рд╣реИ, рд╣рдо рдЬреЛ рднреА рдмреАрдЬ рдХреЗ рдирд┐рд╖реНрдХрд░реНрд╖ рдХреЗ рдмрд╛рд░реЗ рдореЗрдВ рдмрд╛рдд рдХрд░ рд░рд╣реЗ рд╣реИрдВред рдЕрдиреБрдорд╛рди рд╕рдВрдкрддреНрддрд┐:
,s, рдИ property рдПрд╕ , рдПрд╕ тИЕ тИА, рдИ :
тИА, рдПрд╕ тИй рдИ, рдЯреА рдПрд╕ T рдЯреА рдИ = тИА ред рдЗрд╕рдХрд╛ рдорддрд▓рдм рд╣реИ рдХрд┐ рдкреНрд░рддреНрдпреЗрдХ рдЖрдЙрдЯрдкреБрдЯ рддрддреНрд╡ рд╡рд┐рд╢рд┐рд╖реНрдЯ рд░реВрдк рд╕реЗ рдмреАрдЬ рд╕реЗ рдореЗрд▓ рдЦрд╛рддрд╛ рд╣реИред рдирддреАрдЬрддрди, рдирд┐рд╖реНрдХрд░реНрд╖ рдкреНрд░рддреНрдпреЗрдХ рдмреАрдЬ рдХреЗ рд▓рд┐рдП рдЕрджреНрд╡рд┐рддреАрдп рд╣реИред
рдХрдЯреМрддреА рдФрд░ рдЕрдореВрд░реНрдд рдХреА рдПрдХ рд╕рд╛рд░реНрдердХ рд╡реНрдпрд╛рдЦреНрдпрд╛ ред рдХрдЯреМрддреА рдСрдкрд░реЗрдЯрд░ рдХрд╛ рднреМрддрд┐рдХ рдЕрд░реНрде рдЗрд╕ рдкреНрд░рдХрд╛рд░ рд╣реИред рдореВрд▓ рд░реЗрдЦрд╛ рд╕реЗ, рдПрдХ рд╕рд╛рд░реНрд╡рднреМрдорд┐рдХ рддрд░реАрдХреЗ рд╕реЗ, рдХрдЯреМрддреА рдСрдкрд░реЗрдЯрд░ рдореМрд▓рд┐рдХ рд░реВрдк рд╕реЗ рдирдП рдФрд░ рдЕрдзрд┐рдХ рдЖрдВрддрд░рд┐рдХ рдЖрдВрддрд░рд┐рдХ рдЧреБрдгреЛрдВ рдХреЗ рд╕рд╛рде рдПрдХ рдореМрд▓рд┐рдХ рдирдИ рд░рдЪрдирд╛рддреНрдордХ рд╡рд╕реНрддреБ рдмрдирд╛рддрд╛ рд╣реИред рдПрдХ рд╕рд╣рдЬ рдЕрдиреБрдорд╛рди рдореЗрдВ, рд╣рдо рдХрд╣ рд╕рдХрддреЗ рд╣реИрдВ рдХрд┐ рдХрдЯреМрддреА рдЧреБрдгрд╛рддреНрдордХ рд░реВрдк рд╕реЗ рдирдИ рдЬрд╛рдирдХрд╛рд░реА рдЬреЛрдбрд╝рддреА рд╣реИред рдмрджрд▓реЗ рдореЗрдВ, рдЕрдореВрд░реНрдд рдСрдкрд░реЗрдЯрд░ рдирдП рдСрдмреНрдЬреЗрдХреНрдЯ рдХреЛ рднрд╛рдЧреЛрдВ рдореЗрдВ рдкрд╛рд░реНрд╕ рдХрд░рддрд╛ рд╣реИ рдФрд░ рдЗрд╕ рдкреНрд░рдХрд╛рд░ рдПрдХ рд░рдЪрдирд╛рддреНрдордХ рд╕рдордХрдХреНрд╖ рдореЗрдВ рдХрдЯреМрддреА рдЪрд░рдг рдореЗрдВ рдЬреЛрдбрд╝реА рдЧрдИ рдЬрд╛рдирдХрд╛рд░реА рдХреЛ рд╡реНрдпрдХреНрдд рдХрд░рддрд╛ рд╣реИред рдЖрдк рджреЗрдЦ рд╕рдХрддреЗ рд╣реИрдВ рдХрд┐ рдХреЛрд╖реНрдардХ рд╕реЗ рдмрд╛рд╣рд░ рд░рдЦрдиреЗ рдХреА рдкреНрд░рдХреНрд░рд┐рдпрд╛ рдХреЗ рдкрд░рд┐рдгрд╛рдорд╕реНрд╡рд░реВрдк, рдЬрд╛рдирдХрд╛рд░реА рдЦреЛ рдЧрдИ рд╣реИред рдЗрд╕рдХреЗ рдЕрд▓рд╛рд╡рд╛, рдЗрд╕ рд╡рд╛рдХреНрдпрд╡рд┐рдиреНрдпрд╛рд╕ рдХреЗ рд▓рд┐рдП, рдмреНрд░реИрдХреЗрдЯреНрд╕ рд╕реЗ рдмрд╛рд╣рд░ рд░рдЦрдирд╛ рд╕реНрдЯреНрд░рд┐рдВрдЧреНрд╕ рдХреЗ рдореВрд▓реНрдп рдХреЗ рдмрд╛рд░реЗ рдореЗрдВ рдХрд┐рд╕реА рднреА рдкреНрд░рд╛рдердорд┐рдХ рдбреЗрдЯрд╛ рдХреЗ рдЕрднрд╛рд╡ рдореЗрдВ рд╕рд╛рд░реНрдердХ рд░реВрдк рд╕реЗ рдЬрд╛рдирдХрд╛рд░реА рдЦреЛрдиреЗ рдХрд╛ рдПрдХ рд╕рд╛рд░реНрд╡рднреМрдорд┐рдХ рддрд░реАрдХрд╛ рд╣реИред рдпрд╣реА рд╣реИ, рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдХреЗ рджреГрд╖реНрдЯрд┐рдХреЛрдг рд╕реЗ, рдЬрд╛рдирдХрд╛рд░реА рдХреЗ рдиреБрдХрд╕рд╛рди рдХреЗ рд▓рд┐рдП рд╕рднреА рд╕рдВрднрд╛рд╡рд┐рдд рд╡рд┐рдХрд▓реНрдк рдЬреЛ рдЕрдореВрд░реНрддрддрд╛ рдХреЗ рдЪрд░рдг рдореЗрдВ рдЧрдгрдирд╛ рдХрд┐рдП рдЬрд╛рддреЗ рд╣реИрдВ, рд╡рд╛рд╕реНрддрд╡ рдореЗрдВ, рд▓рд╛рдЗрдиреЛрдВ рдХреЗ рдореВрд▓реНрдп рд╣реИрдВред рдЗрд╕ рдкреНрд░рдХрд╛рд░, рдкреНрд░рддреНрдпреЗрдХ рдЪрд░рдг рдореЗрдВ, рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдПрдХ рдирдпрд╛, рдЕрдиреЛрдЦрд╛ рд╡рд╛рдХреНрдп-рд╡рд┐рдиреНрдпрд╛рд╕ рд╡рд┐рдзрд░реНрдореА рдмрдирд╛рддрд╛ рд╣реИред рдФрд░ рдкреНрд░рддреНрдпреЗрдХ рдмрд╛рдж рдХреА рдЕрдиреБрдорд╛рдиреА рдореМрд▓рд┐рдХ рд░реВрдк рд╕реЗ рдЕрдзрд┐рдХ рдЬрдЯрд┐рд▓ рдФрд░ рдкрд┐рдЫрд▓реЗ рдПрдХ рдХреА рддреБрд▓рдирд╛ рдореЗрдВ рдЕрдзрд┐рдХ рдкрд░реНрдпрд╛рдкреНрдд рд╣реИред рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдХреЗ рдкреНрд░рддреНрдпреЗрдХ рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ рдкрд░, рдирдпрд╛ рдЬреНрдЮрд╛рди рдкреНрд░рдХрдЯ рд╣реЛрддрд╛ рд╣реИред
рд╡реНрдпрд╛рд╡рд╣рд╛рд░рд┐рдХ рдЕрдиреБрдкреНрд░рдпреЛрдЧ
рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдПрдХ "рдЕрдкрдиреЗ рдЖрдк рдореЗрдВ рдмрд╛рдд рд╣реИред"
рд╡рд╣ рд╕реЛрдЪрддрд╛ рд╣реИ, рд▓реЗрдХрд┐рди рдпрд╣ рдПрдХ "рд╡рд┐рджреЗрд╢реА" рдХреА рд╕реЛрдЪ рд╣реИред рд╡рд┐рджреЗрд╢реА рд╕реЛрдЪ рд╕реЗ рд╡реНрдпрд╛рд╡рд╣рд╛рд░рд┐рдХ рд▓рд╛рдн рдЙрдард╛рдиреЗ рдХреЗ рд▓рд┐рдП, рдЖрдкрдХреЛ рдЙрд╕рдХреЗ рд╕рд╛рде рдПрдХ рдЖрдо рднрд╛рд╖рд╛ рдЦреЛрдЬрдиреЗ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реИред рдПрдХ рдУрд░, рдПрдХ рд╡рд┐рджреЗрд╢реА рдХреЛ рдкреНрд░рд╢рд┐рдХреНрд╖рд┐рдд рдХрд░рдирд╛ рдЖрд╡рд╢реНрдпрдХ рд╣реИ, рдФрд░ рджреВрд╕рд░реА рдУрд░, рдЗрд╕реЗ рд╕рдордЭрдиреЗ рдХреЗ рд▓рд┐рдП, рдЕрдВрдд рдореЗрдВ, рд╕рд╛рд░реНрдердХ рд╕рдВрдЪрд╛рд░ рд╕реНрдерд╛рдкрд┐рдд рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рд╕реАрдЦрдирд╛ рд╣реИред рд╕рд╛рдорд╛рдиреНрдп рддреМрд░ рдкрд░, рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдХреЗ рд╕рд╛рде рдмрд╛рддрдЪреАрдд рдХрд╛ рдкреНрд░рддрд┐рдорд╛рди рдмреНрд▓реИрдХ рдмреЙрдХреНрд╕ рдХреЗ рд╕рд╛рде рдмрд╛рддрдЪреАрдд рдХреЗ рдкреНрд░рд╕рд┐рджреНрдз рд╕рд┐рджреНрдзрд╛рдВрддреЛрдВ рдХреЗ рд╕рдорд╛рди рд╣реИред рдЗрд╕рдХреЗ рдЕрд▓рд╛рд╡рд╛, рдЕрдзрд┐рдХ рд╕реБрд╡рд┐рдзрд╛ рдХреЗ рд▓рд┐рдП, рдореИрдВ рдХреЛрд▓реНрдпрд╛ рдХреЛ рдПрдХ рд╡рд┐рджреЗрд╢реА рд╕реЛрдЪ рдХрд╛ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдХрд╣реВрдВрдЧрд╛редрдЖрджрд░реНрд╢ рдорд╛рдорд▓реЗ рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд░реЗрдВред рдорд╛рди рд▓реАрдЬрд┐рдП рдХрд┐ рд╣рдорд╛рд░реЗ рдкрд╛рд╕ рдЕрдкрдиреЗ рдирд┐рдкрдЯрд╛рди рдореЗрдВ рдЕрд╕реАрдорд┐рдд рдХрдВрдкреНрдпреВрдЯрд┐рдВрдЧ рд╢рдХреНрддрд┐ рд╣реИ рдФрд░ рд╣рдо рдЕрдиреБрдХреВрд▓рди рд╕рдорд╕реНрдпрд╛рдУрдВ рдХреЗ рдмрд╛рд░реЗ рдореЗрдВ рдЪрд┐рдВрддрд╛ рдХрд┐рдП рдмрд┐рдирд╛ рдХреЛрд▓реНрдпрд╛ рдХреА рд╕реЛрдЪ рдХреЗ рдХрд┐рд╕реА рднреА рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐рдпреЛрдВ рдХреА рдЧрдгрдирд╛ рдХрд░ рд╕рдХрддреЗ рд╣реИрдВред рдЗрд╕ рдорд╛рдорд▓реЗ рдореЗрдВ, рдХреЛрд▓реНрдпрд╛ рдХреЗ рд╕рд╛рде рдмрд╛рддрдЪреАрдд рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рдирд┐рдореНрдирд▓рд┐рдЦрд┐рдд рдЕрд╡рдпрд╡реЛрдВ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реЛрдЧреА:- рдПрдХ рдЗрдВрдЯрд░реИрдХреНрдЯрд┐рд╡ рд╡рд╛рддрд╛рд╡рд░рдг рдХрд╛ рдПрдХ рдбрд┐рдЬрд┐рдЯрд▓ рдореЙрдбрд▓ рдЬрд┐рд╕рдХреА рдЧрддрд┐рд╡рд┐рдзрд┐ рдХрд╛ рдЕрд░реНрде рдЬреНрдЮрд╛рдд рд╣реИред
- рдПрдХ рдЙрдкрдХрд░рдг рдХрд╛ рдПрдХ рдбрд┐рдЬрд┐рдЯрд▓ рдореЙрдбрд▓ рдЬреЛ рдкрд░реНрдпрд╛рд╡рд░рдг рдХреЛ рдкреНрд░рднрд╛рд╡рд┐рдд рдХрд░ рд╕рдХрддрд╛ рд╣реИред
- рддрд╛рд░ рдХреЗ рд╡рд╛рддрд╛рд╡рд░рдг рд╕реЗ рдПрдирдХреЛрдб рд╕рдВрдХреЗрддреЛрдВ рдХреЛ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдПрдиреНрдХреЛрдбрд┐рдВрдЧ рдПрд╕ ред
- рдПрдХ рдбрд┐рдХреЛрдбрд┐рдВрдЧ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдЬреЛ рдХрд┐рд╕реА рддрд░рд╣ рдлрдЬреА рд╣реЛрдЧрд╛, рд▓реЗрдХрд┐рди рддрд░реНрдХрд╕рдВрдЧрдд рд░реВрдк рд╕реЗ рдПрд╕ рд╕реЗ рдкрд╣рд▓реЗ рдХреА рдЕрдЬреНрдЮрд╛рдд рд▓рд╛рдЗрдиреЛрдВ рдХреЛ рдбрд┐рдХреЛрдб рдХрд░рдиреЗ рдФрд░ рдЙрдиреНрд╣реЗрдВ рд╕рд╛рдзрди рдХреЗ рд▓рд┐рдП рд╕рдВрдХреЗрддреЛрдВ рдореЗрдВ рдкрд░рд┐рд╡рд░реНрддрд┐рдд рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рдЙрдЪрд┐рдд рд╣реИ ред
рдЗрд╕ рддрд░рд╣ рдХреЗ рдШрдЯрдХ рд╣реЛрдиреЗ рд╕реЗ, рдЕрдЬреНрдЮрд╛рдд рдкреНрд░реЗрд░рдгрд╛ рдХреЗ рд╕рд╛рде рдПрдХ рд╕рд╛рд░реНрд╡рднреМрдорд┐рдХ рд╕реАрдЦрдиреЗ рдХреА рдпреЛрдЬрдирд╛ рдХреЛ рд╡реНрдпрд╡рд╕реНрдерд┐рдд рдХрд░рдирд╛ рд╕рдВрднрд╡ рд╣реИ, рдЬреЛ рдкрд░реНрдпрд╛рд╡рд░рдг рдХреЗ рд▓рд┐рдП рдХреЛрд▓рд╛ рдХреА рд╕реЛрдЪ рдХреЛ рдЕрдкрдирд╛рдиреЗ рдХреА рдЕрдиреБрдорддрд┐ рджреЗрдЧрд╛ред рдиреАрдЪреЗ рдЫрджреНрдо рдХреЛрдб рд╣реИредS NextThought(S prevThought, S ExternalSignal, int exposure = 1) { S t = composition[prevThought, ExternalSignal]; for (int i = 0; i < exposure; i++) t = composition[abstraction[deduction[t]]]; return t; } EnvironmentModel e; S s = encode(e.GetState()); S o = тИЕ; while (0) { S o = NextThought(o, s); e.ImpactTool.perform(decode(o)); s = encode(e.GetState()); }
рдкреНрд░рддрд┐рдХреНрд░рд┐рдпрд╛ рд╕рд░реНрдХрд┐рдЯ ред рд╢реБрд░реБрдЖрдд рдореЗрдВ, рдХреЛрд▓реНрдпрд╛ рдХрд╛ рдХреЛрдИ рд╡рд┐рдЪрд╛рд░ рдирд╣реАрдВ рд╣реИред рдХреЛрд▓реНрдпрд╛ рдХрд╛ рдкрд╣рд▓рд╛ рд╡рд┐рдЪрд╛рд░ рдорд╛рдзреНрдпрдо рдХрд╛ рдПрдиреНрдХреЛрдбреЗрдб рдкреНрд░рд╛рд░рдВрднрд┐рдХ рдЕрд╡рд╕реНрдерд╛ рд╣реИред рдкреНрд░рддреНрдпреЗрдХ рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ рдкрд░, рдХреЛрд▓реНрдпрд╛ рдХреЗ рд╡рд┐рдЪрд╛рд░ рдореЗрдВ рдПрдХ рдмрд╛рд╣рд░реА рд╕рдВрдХреЗрдд рдбрд╛рд▓рд╛ рдЬрд╛рддрд╛ рд╣реИред рдЬрд┐рд╕рдХреЗ рдмрд╛рдж рдХреЛрд▓реНрдпрд╛ рдПрдХреНрд╕рдкреЛрдЬрд╝рд░ рдХреЗ рд╕рдордп рд╕реЛрдЪрддреА рд╣реИред рд╕реЛрдЪ рдХреЗ рдкрд░рд┐рдгрд╛рдо рдХреЛ рдбрд┐рдХреЛрдб рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ рдФрд░ рдЙрдкрдХрд░рдг рдХреЛ рднреЗрдЬрд╛ рдЬрд╛рддрд╛ рд╣реИред рдмрджрд▓реЗ рдореЗрдВ, рдЙрдкрдХрд░рдг рдХреА рдХрд╛рд░реНрд░рд╡рд╛рдИ рдХрд┐рд╕реА рддрд░рд╣ рдкрд░реНрдпрд╛рд╡рд░рдг рдХреА рд╕реНрдерд┐рддрд┐ рдХреЛ рдмрджрд▓ рджреЗрддреА рд╣реИред рдФрд░ рд╕рдм рдХреБрдЫ рдлрд┐рд░ рд╕реЗ рджреЛрд╣рд░рд╛рддрд╛ рд╣реИред рд╕рдордп рдХреЗ рд╕рд╛рде, рдХреЛрд▓реНрдпрд╛ рдХреА рд╕реЛрдЪ рдкрд░реНрдпрд╛рд╡рд░рдг рдХреЗ рдЕрдиреБрдХреВрд▓ рд╣реЛ рдЬрд╛рдПрдЧреА рдФрд░ рд╡рд╣ рдЕрддреНрдпрдзрд┐рдХ рд╕рдВрдЧрдард┐рдд, рд╡рд┐рд╖рдп рд╕реЗ рдкреНрд░реЗрд░рд┐рдд рд╡реНрдпрд╡рд╣рд╛рд░ рдХреЗ рд▓рдХреНрд╖рдг рджрд┐рдЦрд╛рдирд╛ рд╢реБрд░реВ рдХрд░ рджреЗрдЧрд╛ред рд╣рд╛рд▓рд╛рдВрдХрд┐, рдХреЛрд▓реНрдпрд╛ рдХреА рдкреНрд░реЗрд░рдгрд╛ рдЕрдЬреНрдЮрд╛рдд рд░рд╣реЗрдЧреАред рдЙрдирдХреА рдкреНрд░реЗрд░рдгрд╛ рдХреЛ рд╕рдордЭрдиреЗ рдХреЗ рд▓рд┐рдП, рдкреНрд░рд╢рд┐рдХреНрд╖рдг рдХреЗ рдЕрдЧрд▓реЗ рдЪрд░рдг рдореЗрдВ, рдкреНрд░рдпреЛрдЧреЛрдВ рдХреЛ рд╕реНрдерд╛рдкрд┐рдд рдХрд░рдирд╛ рдЖрд╡рд╢реНрдпрдХ рд╣реИ, рдЕрд░реНрдерд╛рддреН рдкрд░реНрдпрд╛рд╡рд░рдг рдХреЛ рдЙрджреНрджреЗрд╢реНрдпрдкреВрд░реНрдг рд░реВрдк рд╕реЗ рдмрджрд▓рдирд╛ рдФрд░ рдкрд░рд┐рд╡рд░реНрддрди рдХреЗ рд▓рд┐рдП рдХреЛрд▓реНрдпрд╛ рдХреА рдкреНрд░рддрд┐рдХреНрд░рд┐рдпрд╛рдУрдВ рдХрд╛ рдЕрдзреНрдпрдпрди рдХрд░рдирд╛ред рдпрджрд┐ рдХрд┐рд╕реА рдЙрджреНрджреЗрд╢реНрдп рд╕рдорд╛рд░реЛрд╣ рдХреЗ рд╕рдВрджрд░реНрдн рдореЗрдВ рдХреЛрд▓рд╛ рдХреЗ рд╡рд╛рдВрдЫрд┐рдд рдмрд╛рд╣рд░реА рд╡реНрдпрд╡рд╣рд╛рд░ рдХрд╛ рд╡рд░реНрдгрди рдХрд░рдирд╛ рд╕рдВрднрд╡ рд╣реИ, рддреЛ рдПрдХ рдЖрдиреБрд╡рдВрд╢рд┐рдХ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ, рд╕реАрдЦрдиреЗ рдХреА рдкреНрд░рдХреНрд░рд┐рдпрд╛ рдХреЛ рд╕реНрд╡рдЪрд╛рд▓рд┐рдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред
рдбрд┐рдХреЛрдбрд┐рдВрдЧ рдХреА рд╕рдорд╕реНрдпрд╛ ред рд╕рд╛рдзрди рдХреЗ рд▓рд┐рдП рдПрдХ рд╕рдВрдХреЗрдд рдХреЛ рд╕рдВрд╢реНрд▓реЗрд╖рд┐рдд рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рдХреЛрд▓реНрдпрд╛ рдХреЗ рд╡рд┐рдЪрд╛рд░реЛрдВ рдХреЛ рдбрд┐рдХреЛрдб рдХрд░рдирд╛ рдЖрд╡рд╢реНрдпрдХ рд╣реИред рдХрдард┐рдирд╛рдИ рдпрд╣ рд╣реИ рдХрд┐ рд╣рд░ рд╡рд┐рдЪрд╛рд░, рдЬреИрд╕рд╛ рдХрд┐ рдореИрдВрдиреЗ рдкрд┐рдЫрд▓реЗ рднрд╛рдЧ рдореЗрдВ рдиреЛрдЯ рдХрд┐рдпрд╛ рд╣реИ, рдПрдХ рдореМрд▓рд┐рдХ рд░реВрдк рд╕реЗ рдирдпрд╛ рдбрд┐рдЬрд╝рд╛рдЗрди рд╣реИред рдпрд╣реА рд╣реИ, рдПрдХ рдХрд╛рд▓реНрдкрдирд┐рдХ рд╢реЛрдзрдХрд░реНрддрд╛ рдХреЛрд▓реНрдпрд╛ рдХреЗ рд╡рд┐рдЪрд╛рд░реЛрдВ рдХреА рд╕рд╛рдордЧреНрд░реА рдХреЛ рдкреВрд░реА рддрд░рд╣ рд╕реЗ рд╕рдордЭ рдирд╣реАрдВ рд╕рдХрддрд╛ рд╣реИред рдХреЛрд▓реНрдпрд╛ рдХреА рд╕реЛрдЪ рджреНрд╡рд╛рд░рд╛ рдирд┐рд░реНрдорд┐рдд рд╕рд╛рдордЧреНрд░реА рдХрд╛ рдПрдХ рд╣рд┐рд╕реНрд╕рд╛, рдЪрд╛рд╣реЗ рд╡рд╣ рдХрд┐рддрдирд╛ рднреА рдЕрдзреНрдпрдпрди рдХрд┐рдпрд╛ рд╣реЛ, рд╣рдореЗрд╢рд╛ рдХреЗ рд▓рд┐рдП рдкреВрд░реА рддрд░рд╣ рд╕реЗ рдЕрд╕реНрдкрд╖реНрдЯ рд░рд╣реЗрдЧрд╛ред рдХреЗрд╡рд▓ рд╕реЛрдЪ рдХреЗ рд╕рдмрд╕реЗ рдЙрдЪреНрдЪ рд╕рдВрдЧрдард┐рдд рдЕрдВрд╢реЛрдВ рдореЗрдВ рд╕реЗ рдХреБрдЫ рдХреЛ рд╕рд╛рд░реНрдердХ рд░реВрдк рд╕реЗ рдкрд╣рдЪрд╛рдирд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ, рдФрд░ рдпрд╣ рдХреЛрд▓реНрдпрд╛ рдХреЗ рд╕рд╛рде рд╕рдВрдЪрд╛рд░ рдореЗрдВ рдПрдХ рдореМрд▓рд┐рдХ рдФрд░ рджреБрд░реНрдЧрдо рдкреНрд░рддрд┐рдмрдВрдз рд╣реИред рд▓реЗрдХрд┐рди рд╡реНрдпрд╛рд╡рд╣рд╛рд░рд┐рдХ рд░реВрдк рд╕реЗ, рдпрд╣ рдкреНрд░рддрд┐рдмрдВрдз рдореМрд▓рд┐рдХ рдирд╣реАрдВ рд╣реИред рдЪреВрдВрдХрд┐, рд╕рдмрд╕реЗ рдкрд╣рд▓реЗ, рдХреЛрдИ рд╡реНрдпрдХреНрддрд┐ рдХреЛрд▓реНрдпрд╛ рдХреЗ рд╡рд┐рдЪрд╛рд░реЛрдВ рдХреЗ рд╕рд╛рд░реНрдердХ рдкрдХреНрд╖ рдХреЛ рдирд┐рд░реНрджрд┐рд╖реНрдЯ рдХрд░ рд╕рдХрддрд╛ рд╣реИ, рдФрд░ рджреВрд╕рд░реА рдмрд╛рдд, рдХреЛрд▓реНрдпрд╛ рдХреЛ рдкреВрд░реА рддрд░рд╣ рд╕реЗ рд╕рдордЭрдиреЗ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рдирд╣реАрдВ рд╣реИред рдпрд╣ рдПрдХ рдЖрдо рднрд╛рд╖рд╛ рд╡рд┐рдХрд╕рд┐рдд рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рдкрд░реНрдпрд╛рдкреНрдд рд╣реИ рдЬрд┐рд╕рдХреЗ рднреАрддрд░ рдЖрдк рд╡реНрдпрд╛рд╡рд╣рд╛рд░рд┐рдХ рдореБрджреНрджреЛрдВ рдкрд░ рд╡реНрдпрд╛рдЦреНрдпрд╛ рдХрд░ рд╕рдХрддреЗ рд╣реИрдВред рддрдХрдиреАрдХреА рджреГрд╖реНрдЯрд┐рдХреЛрдг рд╕реЗ, рд╕реНрдерд┐рддрд┐ рдЗрд╕ рдкреНрд░рдХрд╛рд░ рд╣реИред рдорд╛рдзреНрдпрдо рдХреА рд╕реНрдерд┐рддрд┐ рдХрд╛ рд╡рд░реНрдгрди рдХрд░рдиреЗ рд╡рд╛рд▓рд╛ рдЖрдиреЗ рд╡рд╛рд▓рд╛ рд╕рдВрдХреЗрдд рдХреБрдЫ рднрд╛рд╖рд╛ рдореЗрдВ рдПрдиреНрдХреЛрдбреЗрдб рд╣реИред рд╢рдмреНрдж рдФрд░ рднрд╛рд╖рд╛ рдХрдерди
рдПрд╕ рд╕реЗ рддрд╛рд░ рд╣реИрдВ
ред рднрд╛рд╖рд╛ рдХреА рдЕрдкрдиреА рд╢рдмреНрджрд╛рд╡рд▓реА, рд╡рд╛рдХреНрдп рд░рдЪрдирд╛ рдФрд░ рд╢рдмреНрджрд╛рд░реНрде рд╣реИред рд╡реНрдпрд╛рдХрд░рдгрд┐рдХ рдорд╛рдирджрдВрдбреЛрдВ рдХреЗ рдЕрдиреБрд╕рд╛рд░ рд╕реЛрдЪ рдХреЗ рдкреНрд░рддреНрдпреЗрдХ рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ рдХреА рд╕рд╛рдордЧреНрд░реА рдХреЛ рдХрдИ рд╢реНрд░реЗрдгрд┐рдпреЛрдВ рдореЗрдВ рд╡рд┐рднрд╛рдЬрд┐рдд рдХрд┐рдпрд╛ рдЬрд╛рдПрдЧрд╛:
1. рдЕрдЬреНрдЮрд╛рдд рд╢рдмреНрджрд╛рд╡рд▓реА рдХреЗ рд╕рд╛рде рдЯреБрдХрдбрд╝реЗред
2. рдЕрдЬреНрдЮрд╛рдд рд╡рд╛рдХреНрдп-рд╡рд┐рдиреНрдпрд╛рд╕ред
3. рдЕрдЬреНрдЮрд╛рдд рд╢рдмреНрджрд╛рд░реНрдеред
4. рд╡реНрдпрд╛рдХрд░рдгрд┐рдХ рдФрд░ рд╢рдмреНрджрд╛рд░реНрде рд░реВрдк рд╕реЗ рд╕рд╣реА рдЕрдВрд╢ред
рдЗрди рд╕рднреА рд╢реНрд░реЗрдгрд┐рдпреЛрдВ рдХреА рд╕рд╛рдордЧреНрд░реА рдШрдЯрдирд╛ рдХреА рд╡рд┐рдзрд┐ рдХреЗ рдЕрдиреБрд╕рд╛рд░ рдордирдорд╛рдиреА рд╣реИред рдпрд╣реА рд╣реИ, рдпрд╣рд╛рдВ рддрдХ тАЛтАЛрдХрд┐ рд╡реНрдпрд╛рдХрд░рдгрд┐рдХ рд░реВрдк рд╕реЗ рд╕рд╣реА рдЯреБрдХрдбрд╝реЛрдВ рдХреЗ рдорд╛рдорд▓реЗ рдореЗрдВ рднреА - рдпрд╣ рдПрдХ рджреБрд░реНрдШрдЯрдирд╛ рд╣реИ рдФрд░ рдпрд╣ рдЬреНрдЮрд╛рдд рдирд╣реАрдВ рд╣реИ рдХрд┐ рдХреЛрд▓реНрдпрд╛ рдХреНрдпрд╛ рдЕрд░реНрде рд░рдЦрддрд╛ рд╣реИ, рдХреНрдпреЛрдВрдХрд┐ рдЙрд╕рдХрд╛ рдЖрдВрддрд░рд┐рдХ рдЕрд░реНрде рдХреЗрд╡рд▓ рд╕реНрд╡рдпрдВ рдХреЗ рд▓рд┐рдП рд╕реБрд▓рдн рд╣реИред рдПрдХ рдкреНрд░рд╛рдердорд┐рдХрддрд╛, рдХреЛрд▓реНрдпрд╛ рдХреЗ рд╡рд┐рдЪрд╛рд░реЛрдВ рдФрд░ рдЙрдкрдХрд░рдг рдХреЗ рд╕рдВрдмрдВрдзрд┐рдд рдХрд╛рд░реНрдпреЛрдВ рдХреЛ рд╕рд╣реА рдврдВрдЧ рд╕реЗ рдЬреЛрдбрд╝рдиреЗ рдХреЗ рд▓рд┐рдП рдХреЛрдИ рдорд╛рдирджрдВрдб рдирд╣реАрдВ рд╣реИрдВред рдФрд░ рдЗрд╕ рдорд╛рдорд▓реЗ рдореЗрдВ рдпрд╣ рдкреВрд░реА рддрд░рд╣ рд╕реЗ рдЦреБрдж рдХреЛрд▓реНрдпрд╛ рдкрд░ рдирд┐рд░реНрднрд░ рд░рд╣рдиреЗ рдХреЗ рд▓рд┐рдП рд╣реИред рдЙрд╕рдХрд╛ рд╡реНрдпрд╡рд╣рд╛рд░ рдордирдорд╛рдирд╛ рд╣реИ рдФрд░ рдХреЗрд╡рд▓ рд╡рд╣ рдЕрдкрдиреА рдкреНрд░реЗрд░рдгрд╛ рдХреЛ рд╕рдордЭ рд╕рдХрддрд╛ рд╣реИ рдХреНрдпреЛрдВрдХрд┐ рдЙрд╕рдХреА рд╕реЛрдЪ рдХреЗ рд╕рдВрдЧрдарди рдХреА рдбрд┐рдЧреНрд░реА рдмрдврд╝ рдЬрд╛рдПрдЧреАред рдЗрд╕ рдорд╛рдорд▓реЗ рдореЗрдВ, рдХреЛрд▓рд╛ рдХреЗ рд╡рд┐рдЪрд╛рд░реЛрдВ рдХрд╛ рдЬрд╡рд╛рдм рджреЗрдиреЗ рдХреЗ рд▓рд┐рдП рдХреЛрдИ рднреА рддрд░реНрдХрд╕рдВрдЧрдд рдпреЛрдЬрдирд╛ рд╕реНрд╡реАрдХрд╛рд░реНрдп рдФрд░ рдЙрддреНрдкрд╛рджрдХ рд╣реЛрдЧреА, рдПрдХрдорд╛рддреНрд░ рд╕рд╡рд╛рд▓ рд╡рд┐рднрд┐рдиреНрди рдпреЛрдЬрдирд╛рдУрдВ рдХреА рд╕рд╛рдкреЗрдХреНрд╖ рдкреНрд░рднрд╛рд╡рд╢реАрд▓рддрд╛ рд╣реИред рдореВрд▓ рд╡рд┐рдХрд▓реНрдк рд╕рднреА рд╡реНрдпрд╛рдХрд░рдгрд┐рдХ рд░реВрдк рд╕реЗ рд╕рд╣реА рдЕрдВрд╢реЛрдВ рдХрд╛ рдЬрд╡рд╛рдм рджреЗрдирд╛ рд╣реИ, рднрд▓реЗ рд╣реА рд╡реЗ рд╕рд╛рдордЧреНрд░реА рдореЗрдВ рдмреЗрддреБрдХреЗ рд╣реЛрдВред рд╕рд╛рдорд╛рдиреНрдп рддреМрд░ рдкрд░, рдореВрд▓ рдПрдиреНрдХреЛрдбрд┐рдВрдЧ рдХреЗ рд╕рдВрджрд░реНрдн рдореЗрдВ рдкрд░рд┐рд╡рд░реНрддрд┐рдд рдХреА рдЬрд╛ рд╕рдХрдиреЗ рд╡рд╛рд▓реА рд╕рднреА рдЪреАрдЬрд╝реЛрдВ рдХреЛ рд░реВрдкрд╛рдВрддрд░рд┐рдд рдФрд░ рдкреНрд░рддрд┐рдХреНрд░рд┐рдпрд╛ рдХрд┐рдпрд╛ рдЬрд╛рдирд╛ рдЪрд╛рд╣рд┐рдПред рдФрд░ рддрдм рддрдХ рдЬрдм рддрдХ рдХреЛрд╣рд▓ рд╕рд╛рд░реНрдердХ рдкреНрд░рддрд┐рдХреНрд░рд┐рдпрд╛рдУрдВ рдХреЗ рд▓рд┐рдП "рдЬрд╛рдЧ" рдЧрдПред рдФрд░ рдирд┐рд╢реНрдЪрд┐рдд рд░реВрдк рд╕реЗ, рдмрдбрд╝реА рд╕рдВрдЦреНрдпрд╛ рдореЗрдВ рд╕реНрд╡рддрдВрддреНрд░рддрд╛ рдХреЗ рд╕рд╛рде рдкрд░реНрдпрд╛рд╡рд░рдг рдХрд╛ рд╕рдмрд╕реЗ рдкреНрд▓рд╛рд╕реНрдЯрд┐рдХ рдореЙрдбрд▓ рдЙрдкрдпреЛрдЧреА рд╣реЛрдЧрд╛ред рдорд╛рдзреНрдпрдо, рдХрд┐рд╕реА рддрд░рд╣, рдХреЛрд▓рд╛ рдХрд╛ рд╢рд░реАрд░ рдмрди рдЬрд╛рдПрдЧрд╛ред
рд╕реАрдорд┐рдд рдХрдВрдкреНрдпреВрдЯрд┐рдВрдЧ рд╢рдХреНрддрд┐ рдХреА рд╕рдорд╕реНрдпрд╛ ред рдЧрдгрдирд╛ рдХреА рдорд╛рддреНрд░рд╛ рдХреЗ рд╕рдВрджрд░реНрдн рдореЗрдВ, рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рднрд╛рд░реА рд╣реИред рд╕реНрдкрд╖реНрдЯ рд░реВрдк рд╕реЗ, рдХрдИ рджрд░реНрдЬрди рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐рдпреЛрдВ рдЧреНрд░рд╣ рдХреА рд╕рдВрдкреВрд░реНрдг рдХрдВрдкреНрдпреВрдЯрд┐рдВрдЧ рд╢рдХреНрддрд┐ рдХреЛ рд╕рдорд╛рдкреНрдд рдХрд░ рджреЗрдВрдЧреЗред рд╣рдо рдХреНрд╡рд╛рдВрдЯрдо рдЙрдкрдХрд░рдгреЛрдВ рдФрд░ рдЗрд╕ рддрдереНрдп рдкрд░ рднрд░реЛрд╕рд╛ рдХрд░ рд╕рдХрддреЗ рд╣реИрдВ рдХрд┐ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдХрд╛ рдПрдХ рдХреНрд╡рд╛рдВрдЯрдо рдПрдирд╛рд▓реЙрдЧ рд╣реИ, рд▓реЗрдХрд┐рди рдЕрднреА рддрдХ рдХреЗрд╡рд▓ рдПрдХ рд╣реА рд░рд╛рд╕реНрддрд╛ рдирд┐рдХрд▓рд╛ рд╣реИ: рдПрдХ рдмрд╣реБрдд рдЬрдЯрд┐рд▓ рд╡рд┐рдЪрд╛рд░ рдХреЗ рдмрдЬрд╛рдп, рд╕рдорд╛рдирд╛рдВрддрд░ рдореЗрдВ рдмрд╣реБрдд рд╕реЗ рдЫреЛрдЯреЗ рдФрд░ рд╕рд░рд▓ рд╡рд┐рдЪрд╛рд░ рд╕реЛрдЪреЗрдВред рдЗрд╕рдХреЗ рд▓рд┐рдП рдХрдИ рддрдХрдиреАрдХреА рддрд░рдХреАрдмреЗрдВ рд╣реИрдВ:
1. рд░рдЪрдирд╛ рдХреЗ рдЪрд░рдг рдореЗрдВ, рдкрд░рд┐рдгрд╛рдо рдореЗрдВ рд╕рднреА рдХрдИ рд╕рд╛рд░ рд╢рд╛рдорд┐рд▓ рдХрд░рдирд╛ рдЖрд╡рд╢реНрдпрдХ рдирд╣реАрдВ рд╣реИред рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдореЗрдВ рдЕрдкрдиреЗ рдореМрд▓рд┐рдХ рдЧреБрдгреЛрдВ рдХреЛ рдмрдирд╛рдП рд░рдЦрдиреЗ рдХреЗ рд▓рд┐рдП, рдпрд╣ рд╕реЗрдЯ рд╕реЗ рдХреЗрд╡рд▓ рджреЛ рд╕реНрд╡рддрдВрддреНрд░ рдкрд░рд┐рдгрд╛рдореА рдкрдВрдХреНрддрд┐рдпреЛрдВ рдХрд╛ рдЪрдпрди рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рдкрд░реНрдпрд╛рдкреНрдд рд╣реИред рд╕реНрд╡рддрдВрддреНрд░рддрд╛ рдорд╛рдирджрдВрдб рдЕрдореВрд░реНрддрддрд╛ рдХреЗ рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреА рд╢реНрд░реЗрдгреАрдмрджреНрдз рд╕рдВрдЦреНрдпрд╛ рдореЗрдВ рдкрд╣рд▓реЗ рдЕрдВрдХреЛрдВ рдХрд╛ рдЧреИрд░-рдЕрдВрддрд░ рд╣реИред рд╣рдо рдорд╣рд╛рди рдЙрджрд╛рд╣рд░рдг рдХреА рдУрд░ рдореБрдбрд╝рддреЗ рд╣реИрдВ, рдЬреЛ рд╕реНрдкреЙрдЗрд▓рд░ рдХреЗ рдиреАрдЪреЗ рдЕрдзрд┐рдХ рд╣реИред рд╕рднреА рдкрдВрдХреНрддрд┐рдпреЛрдВ рдХреЛ
abcd рдХреЗ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рдЕрдиреБрд╕рд╛рд░ рдХреНрд░рдордмрджреНрдз рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ
.. рд╕реВрдЪрдХрд╛рдВрдХ
a1.b1.c1.d1 ... ,
a2.b2.c2.d2 ... рдХреЗ рд╕рд╛рде рдкрдВрдХреНрддрд┐рдпреЛрдВ рдХреА рдПрдХ рдЬреЛрдбрд╝реА рдХреЛ
a1 2 a2 рдХрд╣рд╛ рдЬрд╛рддрд╛ рд╣реИред рдФрд░ рдЗрд╕рдХрд╛ рдорддрд▓рдм рдпрд╣ рд╣реИ рдХрд┐ рдЕрдореВрд░реНрдд рдХреЗ рдкреВрд░реЗ рдкрд░рд┐рдгрд╛рдо рдХреЛ рд╕реНрд╡рддрдВрддреНрд░ рдЬреЛрдбрд╝реЗ рдореЗрдВ рд╡рд┐рднрд╛рдЬрд┐рдд рдХрд░рдирд╛ рд╕рдВрднрд╡ рд╣реИ рдФрд░ рдЕрдЧрд▓реЗ рдЪрд░рдг рдореЗрдВ рдкреНрд░рддреНрдпреЗрдХ рдЬреЛрдбрд╝реА рдХреЗ рд▓рд┐рдП, рдЕрдкрдиреА рдХрдореНрдкреНрдпреВрдЯреЗрд╢рдирд▓ рд╢рд╛рдЦрд╛ рд╢реБрд░реВ рдХрд░реЗрдВред рдЗрд╕рдХреЗ рдЕрд▓рд╛рд╡рд╛, рдЕрдореВрд░реНрддрддрд╛ рдХреЗ рд╕рднреА рдкрд░рд┐рдгрд╛рдореЛрдВ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдиреЗ рдХреА рдХреЛрдИ рдЖрд╡рд╢реНрдпрдХрддрд╛ рдирд╣реАрдВ рд╣реИред рдиреНрдпреВрдирддрдо рдорд╛рдорд▓реЗ рдореЗрдВ, рдЖрдк рдХреЗрд╡рд▓ рдПрдХ рдЬреЛрдбрд╝реА рд▓рд╛рдЗрдиреЛрдВ рдХрд╛ рдЪрдпрди рдХрд░ рд╕рдХрддреЗ рд╣реИрдВ, рдФрд░ рдмрд╛рдХреА рд╕рднреА (рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдп рд░реВрдк рд╕реЗ рд╣рд╛рд░) рдХреЛ рддреНрдпрд╛рдЧ рд╕рдХрддреЗ рд╣реИрдВ рдФрд░ рд╕реЛрдЪ рдХреЗ рд╕рднреА рд╕рд┐рджреНрдзрд╛рдВрддреЛрдВ рдХреЛ рд╕рдВрд░рдХреНрд╖рд┐рдд рдХрд┐рдпрд╛ рдЬрд╛рдПрдЧрд╛ред рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреЛ рдЦреЛрдиреЗ рдХреА рдХреНрд╖рдорддрд╛ рдХреЛ рджреЗрдЦрддреЗ рд╣реБрдП, рдПрдХ рдЕрддрд┐рд░рд┐рдХреНрдд рдЪрдпрди рдЪрд░рдг рдХреЛ рд╡реНрдпрд╡рд╕реНрдерд┐рдд рдХрд░рдирд╛ рд╕рдВрднрд╡ рд╣реИ, рдЬрд┐рд╕рдореЗрдВ, рдХреБрдЫ рддрд░реНрдХрд╕рдВрдЧрдд рддрд░реАрдХреЗ рд╕реЗ, рдЙрджрд╛рд╣рд░рдг рдХреЗ рд▓рд┐рдП, рд╕рд╛рдВрдЦреНрдпрд┐рдХреАрдп рдорд╣рддреНрд╡ рдХреЗ рдЕрдиреБрд╕рд╛рд░, рдЖрдЧреЗ рдХреА рдЧрдгрдирд╛ рдХреЗ рд▓рд┐рдП рд╕рд╛рдордЧреНрд░реА рдХрд╛ рдЪрдпрди рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдПред
2. рджреВрд╕рд░реА рдЪрд╛рд▓ рдЗрд╕ рдзрд╛рд░рдгрд╛ рдкрд░ рдЖрдзрд╛рд░рд┐рдд рд╣реИ рдХрд┐ рдкрдВрдХреНрддрд┐ рдореЗрдВ рдЬрд┐рддрдирд╛ рдЕрдзрд┐рдХ рдЧрд╣рд░рд╛рдИ рд╕реЗ рдХреЛрд╖реНрдардХ рд░рдЦрд╛ рдЬрд╛рддрд╛ рд╣реИ, рдЙрддрдиреА рд╣реА рдХрдо рд╕рд╛рдордЧреНрд░реА рдХреЛ рд╡реНрдпрд╡рд╕реНрдерд┐рдд рдХрд░рддреЗ рд╣реИрдВред рддрджрдиреБрд╕рд╛рд░, рдмреНрд░реИрдХреЗрдЯрд┐рдВрдЧ рдХреЗ рдкрд░рд┐рдгрд╛рдорд╕реНрд╡рд░реВрдк рд╕рд╛рдордЧреНрд░реА "рдкреЙрдк-рдЕрдк" рдХреЛрд▓рд╛рдпрд╛ рдХреЗ рдЖрдВрддрд░рд┐рдХ рдЕрд░реНрдереЛрдВ рдХреЗ рджреГрд╖реНрдЯрд┐рдХреЛрдг рд╕реЗ рдЕрдзрд┐рдХ рд╕рдВрдЧрдард┐рдд рдФрд░ рд╕рд╛рд░ рд╣реИ, рдЬрд┐рд╕рдХрд╛ рдЕрд░реНрде рд╣реИ рдХрд┐ рдШреЛрдВрд╕рд▓реЗ рдХреЗ рдЧрд╣рд░реЗ рд╕реНрддрд░ рдХреЛ рд╣рдЯрд╛рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред рдЗрд╕ рдкреНрд░рдХрд╛рд░, рдЕрдЧрд▓реЗ рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ рдореЗрдВ рдЧрдгрдирд╛ рдХреА рдорд╛рддреНрд░рд╛ рддреЗрдЬреА рд╕реЗ рдШрдЯ рдЬрд╛рддреА рд╣реИред рд╕рд╣рдЬ рдЕрд░реНрде рдореЗрдВ, рдпрд╣ рдкреНрд░рдХреНрд░рд┐рдпрд╛ рдЖрдкрдХреЛ рдХреЗрд╡рд▓ рд╕реЛрдЪрдиреЗ рдХреЗ рд╕рдмрд╕реЗ рд╕рд╛рд░ рднрд╛рдЧ рдХрд╛ рдЕрдиреБрдорд╛рди рд▓рдЧрд╛рдиреЗ рдХреА рдЕрдиреБрдорддрд┐ рджреЗрддреА рд╣реИред
3. рдХрдИ рдЫреЛрдЯреА рд╢рд╛рдЦрд╛рдУрдВ рдХреЗ рд╕рдорд╛рдирд╛рдВрддрд░ рд╣реЛрдиреЗ рдХреЗ рдкрд░рд┐рдгрд╛рдорд╕реНрд╡рд░реВрдк, рдЧрдгрдирд╛ "рдЪреМрдбрд╝рд╛рдИ рдореЗрдВ" рдмрдврд╝реЗрдЧреАред рдпрд╣ рдЪреМрдбрд╝рд╛рдИ рди рдХреЗрд╡рд▓ рд╡реНрдпрдХреНрддрд┐рдЧрдд рдХрдВрдкреНрдпреВрдЯрд┐рдВрдЧ рд╢рд╛рдЦрд╛рдУрдВ рдХреЗ рд╕реНрддрд░ рдкрд░, рдмрд▓реНрдХрд┐ рд╕рдорд╛рдирд╛рдВрддрд░ рд╢рд╛рдЦрд╛рдУрдВ рдХреЗ рдкреВрд░реЗ рд╕рд░рдгреА рдореЗрдВ рдЪрдпрди рджреНрд╡рд╛рд░рд╛ рдкреВрд░реА рддрд░рд╣ рд╕реЗ рд╕реАрдорд┐рдд рд╣реЛ рд╕рдХрддреА рд╣реИред рдпрд╣ рдПрдХ рдирд┐рд╢реНрдЪрд┐рдд рдЖрдХрд╛рд░ рдХреЗ рдПрдХ рд╕рд╛рдорд╛рдиреНрдп рдкреВрд▓ рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ, рдЬрд╣рд╛рдВ рд╕реЗ рдкреНрд░рддреНрдпреЗрдХ рд╢рд╛рдЦрд╛ рдЕрдЧрд▓реЗ рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ рдХреЗ рд▓рд┐рдП рд▓рд╛рдЗрдиреЗрдВ рдЦреАрдВрдЪреЗрдЧреА, рдФрд░, рддрджрдиреБрд╕рд╛рд░, рдЬрд╣рд╛рдВ рдпрд╣ рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреЛ рдбрдВрдк рдХрд░реЗрдЧрд╛ред рдФрд░ рд╕реНрдЯреНрд░рд┐рдВрдЧреНрд╕ рдХреЗ рд▓рд┐рдП, рдЖрдк рдХреЛрд╖реНрдардХ рдХреЗ рдШреЛрдВрд╕рд▓реЗ рдХреЗ рд╢рд┐рдХрд╛рд░ рдХреЗ рд╕реНрддрд░ рдХреЛ рдмрд┐рд▓реНрдХреБрд▓ рд╕реАрдорд┐рдд рдХрд░ рд╕рдХрддреЗ рд╣реИрдВред рдЗрд╕ рддрд░рд╣ рдХреЗ рд╕рдВрдпреБрдХреНрдд рджреГрд╖реНрдЯрд┐рдХреЛрдг рд╕реЗ рдЧрдгрдирд╛ рдХреА рдорд╛рддреНрд░рд╛ рдХреЗ рд╡рд┐рдХрд╛рд╕ рдХреЛ рдирд┐рдпрдВрддреНрд░рд┐рдд рдХрд░рдиреЗ рдФрд░ рд╡рд┐рдирд┐рдпрдорд┐рдд рдХрд░рдиреЗ рдореЗрдВ рдорджрдж рдорд┐рд▓реЗрдЧреАред
рд╡реНрдпрд╛рдЦреНрдпрд╛ рдФрд░ рдЯрд┐рдкреНрдкрдгреА
рд╕рд╛рдХреНрд╖реНрдп ред рдХреЛрдИ рд╕рдмреВрдд рдирд╣реАрдВ рд╣реИ рдФрд░ рдирд╣реАрдВ рд╣реЛ рд╕рдХрддрд╛ рд╣реИред рд╡рд┐рдЪрд╛рд░ рдХрд╛ рдХреЛрдИ рднреА рд╕рд┐рджреНрдзрд╛рдВрдд рдкрд░рд┐рднрд╛рд╖рд╛ рдХрд╛ рд╡рд┐рд╖рдп рд╣реИред рдкреНрд░рд╕реНрддреБрдд рдПрд▓реНрдЧреЛрд░рд┐рдердо рд╕реЛрдЪ рдХрд╛ рдПрдХ рд░рдЪрдирд╛рддреНрдордХ рд╕рд┐рджреНрдзрд╛рдВрдд рд╣реИред рдФрд░ рдЗрд╕рд▓рд┐рдП рд╡рд╣ рдПрдХ рд╕реНрд╡рдпрдВрд╕рд┐рджреНрдз рд╣реИред рд╕реЛрдЪ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рд╕реЛрдЪ рдХреЗ рд╡рд┐рд╖рдп рдХреЗ рд▓рд┐рдП рдорд╛рдлреА рдпреЛрдЧреНрдп рдкрд╣рдЪрд╛рдирдиреЗ рдпреЛрдЧреНрдп рд╣реИред рдорд╛рдиреНрдпрддрд╛ рдХреЛ рдкрд╣рд▓реЗ рдПрдХ рдЧреИрд░-рд░рдЪрдирд╛рддреНрдордХ рд╕реНрд╡рдпрдВрд╕рд┐рджреНрдзрддрд╛ рдХрд╛ рд╕рд╣рд╛рд░рд╛ рд▓реЗрддреЗ рд╣реБрдП рд╕реБрдЧрдо рдмрдирд╛рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ рдЬреЛ рдЕрдзрд┐рдХ рд╕рд╣рдЬ рд╣реИ, рдФрд░ рдлрд┐рд░ рд░рдЪрдирд╛рддреНрдордХ рдФрд░ рдЧреИрд░-рд░рдЪрдирд╛рддреНрдордХ рдкрд░рд┐рднрд╛рд╖рд╛рдУрдВ рдХреЗ рдЧреБрдгреЛрдВ рдХрд╛ рд╕рдВрдпреЛрдЧ рдкрд╛рддреЗ рд╣реИрдВред
рд╕реЛрдЪ рдХреА рдЕрд╕рдВрд╡реИрдзрд╛рдирд┐рдХ рдкрд░рд┐рднрд╛рд╖рд╛ ред рд╕реЛрдЪ рд╕рд╛рдордЧреНрд░реА рдХрд╛ рдПрдХ рдПрд▓реНрдЧреЛрд░рд┐рдердо рдЙрддреНрдкрд╛рджрди рдирд╣реАрдВ рд╣реИред рдПрдХ рд╕рд╣рдЬ рдЬреНрдЮрд╛рди рдпреБрдХреНрдд рд╕рдордЭ рдореЗрдВ, рдЧреИрд░-рдПрд▓реНрдЧреЛрд░рд┐рджрдорд┐рдХ рдШрдЯрдирд╛рдУрдВ рдореЗрдВ рдирд┐рдореНрдирд▓рд┐рдЦрд┐рдд рд╡рд┐рд╢рд┐рд╖реНрдЯ рд╡рд┐рд╢реЗрд╖рддрд╛рдПрдВ рд╣реИрдВ: рд╕реНрд╡рддрдВрддреНрд░рддрд╛, рд╕рд╣рдЬрддрд╛, рд╡рд┐рд╢рд┐рд╖реНрдЯрддрд╛, рд╕реНрд╡-рд╕рдВрдЧрдарди, рдордирдорд╛рдиреА, рд╡рд┐рд╖рдп, рдЬрдЯрд┐рд▓рддрд╛, рдореМрд▓рд┐рдХ рдЕрдкреНрд░рддреНрдпрд╛рд╢рд┐рддрддрд╛ рдФрд░ рдЕрдирд┐рд╢реНрдЪрд┐рддрддрд╛, рд╡реИрдЪрд╛рд░рд┐рдХ рдмрд╛рдзрд╛рдУрдВ рдХреА рдЕрдиреБрдкрд╕реНрдерд┐рддрд┐ рдФрд░ рд╡реНрдпрд╛рдкрдХ рдЕрд░реНрдереЛрдВ рдореЗрдВ, рдореМрд▓рд┐рдХ рдирд╡реАрдирддрд╛ рдХреА рдПрдХ рдЕрдВрддрд░реНрдирд┐рд╣рд┐рдд рдФрд░ рд╕реНрдерд╛рдпреА рд╕рдВрднрд╛рд╡рдирд╛ред рд╕реВрдЪреАрдмрджреНрдз рд╕реБрд╡рд┐рдзрд╛рдУрдВ рдХреЗ рд╕рднреА рд╡рд░реНрдгрд┐рдд рд╕реЛрдЪ рдПрд▓реНрдЧреЛрд░рд┐рджрдо рдореЗрдВ рдирд┐рд╣рд┐рдд рд╣реИрдВред рдпрджреНрдпрдкрд┐ рдПрдХ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдФрд░ рдЧреИрд░-рдПрд▓реНрдЧреЛрд░рд┐рджрдо рдЧреБрдгреЛрдВ рдХрд╛ рд╕рдВрдпреЛрдЬрди рд╕рд╣рдЬ рдирд╣реАрдВ рд╣реИ рдФрд░ рдкрд╣рд▓реА рдирдЬрд╝рд░ рдореЗрдВ рд╡рд┐рд░реЛрдзрд╛рднрд╛рд╕реА рд╣реИ, рд╡рд╛рд╕реНрддрд╡ рдореЗрдВ рдХреЛрдИ рд╡рд┐рд░реЛрдзрд╛рднрд╛рд╕ рдирд╣реАрдВ рд╣реИред рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдЕрдЪреНрдЫреА рддрд░рд╣ рд╕реЗ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдПрд▓реНрдЧреЛрд░рд┐рдердо рдкреНрд░рдХреНрд░рд┐рдпрд╛рдУрдВ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ рд╕рд╛рдордЧреНрд░реА рдХреЛ рдЪрд┐рддреНрд░рд┐рдд рдХрд░рддрд╛ рд╣реИ, рд▓реЗрдХрд┐рди рддреИрдирд╛рддреА рдХреА рдкреНрд░рдХреНрд░рд┐рдпрд╛ рдореЗрдВ, рд╕рд╛рдордЧреНрд░реА рдореЗрдВ рдПрдХ рдЧреИрд░-рдПрд▓реНрдЧреЛрд░рд┐рдердо рд╕рдВрдЧрдарди рд╣реИред рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдХреА рдбрд┐рдЬрд╝рд╛рдЗрди рдмрд╛рд░реАрдХрд┐рдпреЛрдВ рдХреЛ рджреЗрдЦрддреЗ рд╣реБрдП, рд╕рд╛рдордЧреНрд░реА рдХреЗ рд╕реНрд╡рдпрдВ, рдЖрдВрддрд░рд┐рдХ, рдЧреИрд░-рдПрд▓реНрдЧреЛрд░рд┐рдердо рдЧреБрдгреЛрдВ рд╕реЗ рд╕рд╛рдордЧреНрд░реА рд╕реНрдЯреЗрдо рдХреЗ рд╕рдВрдЧрдарди рдореЗрдВ рдЧреИрд░-рдПрд▓реНрдЧреЛрд░рд┐рдердо рдЧреБрдгред
рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдкрд░ рджреЗрдЦрдиреЗ рдХреЗ рдЕрддрд┐рд░рд┐рдХреНрдд рдмрд┐рдВрджреБ ред рд╕реЛрдЪ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рд╣реИ, рдЬрд┐рд╕рдореЗрдВ рд╢рд╛рдорд┐рд▓ рд╣реИрдВ:
1. рдПрдХ рд░реВрдкрдХ рдХрд╛ рд░рдЪрдирд╛рддреНрдордХ рдХрд╛рд░реНрдпрд╛рдиреНрд╡рдпрдиред рд╕реЛрдЪ рдЕрдирд┐рд╡рд╛рд░реНрдп рд░реВрдк рд╕реЗ рд░реВрдкрдХ рд╣реИред рд▓рд╛рдХреНрд╖рдгрд┐рдХ (рд╕рдВрднрд╡) рдХреЗ рдЕрд▓рд╛рд╡рд╛ рдФрд░ рдХреЛрдИ рдЕрд░реНрде рдирд╣реАрдВ рд╣реИрдВред рд╣рд╛рд▓рд╛рдВрдХрд┐, рдПрдХ рдЖрд▓рдВрдХрд╛рд░рд┐рдХ рдЕрд░реНрде рдореЗрдВ, рд╢рд╛рдмреНрджрд┐рдХ рдЕрд░реНрде (рдПрд▓реНрдЧреЛрд░рд┐рджрдо) рд╕рдВрднрд╡ рд╣реИрдВред
2. рдкреВрд░реНрдг рдЕрд░рд╛рдЬрдХрддрд╛ рдХрд╛ рд╕реНрд╡-рд╕рдВрдЧрдарди рдореЙрдбрд▓ред рд╡реИрдЪрд╛рд░рд┐рдХ рд╕рд╣рдЬрддрд╛ рдХрд╛ рдПрдХ рдореЙрдбрд▓ред
3. рдкреВрд░реА рддрд░рд╣ рд╕реЗ рд╕реНрд╡рддрдВрддреНрд░, рд╡рд┐рд╖рдп рд╕реЗ рдкреНрд░реЗрд░рд┐рдд рд╡реНрдпрд╡рд╣рд╛рд░ рдХрд╛ рдПрдХ рдореЙрдбрд▓ред рд░рдЪрдирд╛рддреНрдордХрддрд╛ рдХрд╛ рдореЙрдбрд▓ред
4. рд╕реНрд╡рдпрдВрднреВ рднрд╛рд╖рд╛ред
5. рдЧреИрд░-рд░рдЪрдирд╛рддреНрдордХ, рд╡рд┐рд╢реБрджреНрдз рд░реВрдк рд╕реЗ рд╕рдВрднрд╡ рд╢рдмреНрджрд╛рд░реНрде рдХреЗ рд▓рд┐рдП рд░рдЪрдирд╛рддреНрдордХ рд╕рдиреНрдирд┐рдХрдЯрди рдХрд╛ рдореЙрдбрд▓ред
рдЪреЗрддрдирд╛ред рдЪреЗрддрдирд╛ рдХрд╛ рдкреНрд░рд╢реНрди рдкрд░рд┐рднрд╛рд╖рд╛ рдХреЗ рд╕реНрддрд░ рдкрд░ рднреА рд╣рд▓ рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред рдЪреЗрддрдирд╛ рдПрдХ рдРрд╕реА рдЪреАрдЬ рд╣реИ рдЬреЛ рдХрд┐рд╕реА рднреА рд╡реИрдЪрд╛рд░рд┐рдХ рд╕реАрдорд╛рдУрдВ рд╕реЗ рдкрд░реЗ рд╣реИред рдЗрд╕ рдкрд░рд┐рднрд╛рд╖рд╛ рдХреЗ рдкреНрд░рдХрд╛рд╢ рдореЗрдВ, рдХреЛрдИ рдХреЗрд╡рд▓ рдЪреЗрддрдирд╛ рдХреЗ рдмрд╛рд░реЗ рдореЗрдВ рдЕрдзрд┐рдХ рдпрд╛ рдХрдо рдЬрдЯрд┐рд▓ рдХрд╣рд╛рдирд┐рдпреЛрдВ рдХреЛ рдЬрд╣рд░ рджреЗ рд╕рдХрддрд╛ рд╣реИ, рдЬрд┐рдирдореЗрдВ рд╕реЗ рдкреНрд░рддреНрдпреЗрдХ рдЪреЗрддрдирд╛ рдХреА рдХреБрдЫ рд╕рдВрднрд╛рд╡рдирд╛рдУрдВ рдХреЛ рдкреНрд░рддрд┐рдмрд┐рдВрдмрд┐рдд рдХрд░реЗрдЧрд╛, рд▓реЗрдХрд┐рди рдЙрдирдореЗрдВ рд╕реЗ рдПрдХ рднреА рд╕рдЪ рдирд╣реАрдВ рд╣реЛрдЧрд╛ред рдЗрд╕реА рд╕рдордп, рдЪреЗрддрдирд╛ рдХреЗ рдмрд╛рд░реЗ рдореЗрдВ рдХрд╣рд╛рдирд┐рдпреЛрдВ рдореЗрдВ рдЕрд▓рдЧ-рдЕрд▓рдЧ рдЕрдиреБрдорд╛рдиреА рд╕рдВрднрд╛рд╡рдирд╛рдПрдВ рд╣реИрдВред рд╕рднреА рдХрд╣рд╛рдирд┐рдпреЛрдВ рдореЗрдВ рд╕реЗ, рдЬреЛ рдЕрдзрд┐рдХ рдХрдард┐рди рд╣реИрдВ рд╡реЗ рдЕрдзрд┐рдХ рдЙрдкрдпреЛрдЧреА рд╣реИрдВред рдПрд▓реНрдЧреЛрд░рд┐рджрдо рдХреЗ рджреГрд╖реНрдЯрд┐рдХреЛрдг рд╕реЗ, рдЪреЗрддрдирд╛ рдПрдХ рдЯреНрд░рд╛рдВрд╕-рдПрд▓реНрдЧреЛрд░рд┐рджрдо рд╣реИ, рдЕрд╕реАрдо рд░реВрдк рд╕реЗ рдЬрдЯрд┐рд▓ (рдпрд╛ рдмрд╕ - рдЬрдЯрд┐рд▓) рд╡рд╕реНрддреБред рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ рдЪреЗрддрдирд╛ рдХреА рдПрдХ рдХрд╣рд╛рдиреА рджрд░реНрдЬ рдХреА рдЬрд╛ рд╕рдХрддреА рд╣реИред рдРрд╕рд╛ рд▓рдЧрддрд╛ рд╣реИ:
lim n тЖТ ab [t n + 1 = рд░рдЪрдирд╛ [ рдЕрдореВрд░реНрдд [ рдХрдЯреМрддреА [t n ]]]]; рдЯреА 0 = рдПрд╕; рдЯреА рдПрди , рдПрд╕ n рдПрд╕ ; n тИИ рдПрди