2436587:9;<>=@?ACBDBEGFH=I.JA=KELNM
◦
OQPRTSGUGVGWXY[Z\S ]V_^a`[b]c`[Y]Xb]
de>fhgihjkifGl m> nKo)pqsr r@t)u0v)rxw)n,w Cy*Cy*z{w|vn*u0w (*}
f(l) = g(l, f (h(l)))
u0w>~u0w zr*u0)nu0)
k + 1
.wps{,}f (l, a 1 , ..., a k ) = g(l, a 1 , ..., a k , f (h(l), i 1 (a 1 )..., i k (a k )))
u0w nKoQ0hw)u0)nu0$npyryyw.h.~)ru0) (y*hwQu0$n*u0 *u0)r){q}
{0:xx0[Dx.
0Q¢¡£xx¥¤¢h¡
¦§©¨0ª
{h«
¬
®h¯
¨0ª¥°±
®²¯x.Q¢x:³>´h´
+
{0:x
xµ
D:¶
0Q¢¡£ ¤¢h¡
¦§ ¨0ª¶·
hx.
¬ µ
{&¸
¨0ª
.
µ
¬{¬
xµ
x:D¸´{´
¹
{0:xD
±
{
{ºx
x[£xh¢x
0Q¢¡£xx¥¤¢h¡
¦§©¨0ª¶»
¬D¦
§Q¨0ª
¬
®{
µ
h¼
¨ª
¶½¾
±
{
{ºx
x[:¼
de>fhgihjkif\¿ m>C )n(rxwHÀ" )Q kw)u0xÁÂÄÃqÅ@ÆÇhÅ@ÈÉ*Ê0ÆËÌ*8yzw.h(}0u0w 8w)zy
l
~.u0n*u0pps)n*Q 8n*u0) w zy*rwxÍsu0w)¯y*
l p l i~hhw)n*u0{)h **npshÎy*8ypsh
rÏ)rxn*Q z(pQ (r
l
ÂÐn*u0 Ku0Ñ*(y*nÀ&Q ¯ÁÄÌ
Ò $ÂkQ ,Ðw)u0Ì
l p
l i
~>wHu0GÐw)u0)Óy*,rwxÍÔy* **
l triee p l i triee~Tu0ÕQ{
)
l triee
vwu. rxu. zrÏw)pyhKu0_ÑnpyTr*u0)nu0)zrQ Ku0ÑCkw)u0G}
0x.x.Ö¶×Dx
¨ª
²Ø×:xxÚÙÛ×:xh¢x)³
·
«){
±0°
¥²Ø×DxÜÙÛ×:xh¢x)³
¨0ª
×Dx
8n Ñnpy>yu0)nu0
{Q0º
·
«Q{
±.°
Ý×:xx
¨ª
×:¢
+
CÞ
ßtQ hw)
{Q0º
·
«Q{
±.° >àQ hsQ0svy)p,Õy|rsu0)nu0)r@t)KÕy*Ó**n\y
Kno)pq
f (l) = g(l, f (h(l))
~8, u0u. wKno)pqÑyw) ) Ky~{wÎ)nywHr*,u0)nu0) n*u0ppsh0º
·
«)Ø
±0° ÂÐu0w
h0º00¢áØ
Ì
¹
â
ynwy (y,n*u0py@Íx r
h0º
·
«)Ø
±0° \ ps*CrxwN)u0p,Õ r n*u0pQ Ku0)~K0nKoQhz{w)
y|)u0pÕ $r|n*u0pQ Ku0)Ó)*n**K *su0w Ðw)u0) ÓrwxÍãy*ÓrNyu0 .w)w
n
*\wpwxÍ
n
~)wN2n − 1
~)z{w) yu0 Ku0vrQ Ku0|) CQ0zrn*u0pQ Ku0)
de>fhgihjkif m{ *nu0ÔrrwxÍvy*K) u0)
l 1 l 2 *w),yhwn*u0h{y*
ypsh{wQ Khy,Ðu0(r))
l 1 (r)) l 2
)Ðu0)nu0qwxÍxy wyÎu0w u0 . Kpps y{ *nu0q*
ص
x ¶×
¨ª
×:¢
¨0ª
µ
±{±
ÂÐ@Íx nn*
Ì
8n yÓÐu0)nu0npy
°
0Q.x¢Q
±0°
¶×:xh¢
¨ª
×:¢
¨0ª
×:x
~{w® y
y*{wQu0 }
f (l 1 , l 2 ) = g(l 1 , l 2 , f (h(l 1 ), i 1 (l 2 ))) g(a :: l 1 , l 2 , r) =
a :: r
xµ x(a, l 2 )
r
)u0h(a :: l) = l i 1 (l) = l
u0w (nynwy zy{ *nu0Ñr rwxÍ y*C **~xyÏ>*CQ0C)*n**K rÏwy (y*zrÏàx
Q Q)n*
+
8n y,u0)nu0
°
0)x¢Q
±.°
¥²Ø×D¾ÙÛ×D³
¨ª
×:xh¢
wy h
{Q.º
·
«Q{
±0° C>wy h(Q0
xµ
¹
â
u0pQ y*n*u0py@Íx*r
°
x.).[
±0°
°
x.)x[
±.°
~Ô ps*rxwG)u0pÕ \r
n*u0pQ KKu0)C*(rÏ hyÓÂÐ{w>u0|) rx .w) Q0 Ì
de>fhgihjkif ® u0w zyH u0u.u0vw0{s}Tu0w u0w y