オートマトン ― 第4章 p.1

0ÿ023ÿ

456ÿ849 59 ÿ6ÿ!"#$%&'(#)*%ÿÿÿ3

+,-./012#$%
3454!678%3454!#9:;<%&=>?@456ÿ9:;<ABC&2#$%456ÿDE@34ÿÿ?F7G@54+HIJDEKLMN#$%OAB#ÿ ÿ679:;<7GKÿ ÿI8PQÿRSTUV WXÿYÿ"NZ-8%[\]#$I54+H^?@34+_`GaKbcNZOd_@ef8gAh`Zic#$%ÿ456ÿ#jGÿÿ8XkVlkmnVVo99ÿZ>%pqr#stjGpqrÿ8XkVlkmnVVu9Xo 9oVÿZc>%vc#?wKx<=>%
VlyV WX "X zV{Q8-?@p|}ÿ8XkVlkmVXWkW~Vÿo99ÿZ9:;<AB_@=>8!ac#$%
OO#ÿÿv+#@ ÿÿÿ+ #$%
p|}pqr=2Kch`v_@ 
@1@pqr?&a&>#@p|}_Z8OZ@Z8c%ÿÿÿÿÿÿ ÿ#$%I ÿÿÿÿÿÿÿ
Kc>NOZ?@=>8H ¡=c%

ÿ%Zオートマトン ― 第4章 p.201234ÿ ÿ16789 0  ÿ
0011 ÿ 6!1"#$%&' 0ÿ ÿ(ÿ)*+&' 0,ÿ./0/0ÿ ÿÿ12ÿ4ÿ5ÿ6ÿ78ÿ 9: 0 ;<./=ÿÿÿ ÿ>?@ABCDEFG
HI%JKLMNO%PQ 0Q*+RSTR4UVWXÿY'Z%[\] !7^_`4_ab $cdR1eÿfgÿhgÿ4gÿ6ÿ4i
ÿ>DjDk?@ABCDEFG
ÿ1lm%PQ RSTR 
no+1pq!rsn4i$ ] ÿcdR1e ÿ ÿ
ÿ!tJuKv$
w16 ] 
ÿ U3"|   }~*+1ÿxÿy z{<ÿ!B@?EÿBjF$ U3
}~1 U31  
ÿ>Aj?CjDÿAF@Gÿ ÿn161`10ÿ>?EA?ÿBjFGJKLMN4iVWXÿ%]PU10!%_4UVWXÿ1"+%`Q7%4 $  ÿ¡¢ÿ£ÿ¤¥¦ÿ¨©ªÿ«¬­®¯°£±²³ÿ´µ¶ÿ UY'Z[·!1ÿ̧ ÿ8$Rp¹ 0 7ºU

ÿ=yU%»¼½¾T23
?@AB¿ÀE?jAÁÂjD?ED? ÃÄÅEACEF@ ÆÄhÿ4ÿÇÿÈÿÉÿ4ÿÊÿ ÿ 

オートマトン ― 第4章 p.3

ÿ123456ÿ74668
ÿ15()73*ÿ74668

9
 !"#$ %& '+, -.
/0 123456'7+, 1289:;<'=>?@A>?@A L B>AC>?@A L B>ACDEFBGA
L
B>AC
B>AC J DEFBGA FGHIB ÿOLO
DEFBGA DEFBGA FGHIBKJNFGHIB FGHIBMNKM+,ÿ/0QÿRÿSÿÿTUVÿ2WÿXYZ[X\Z]^Wÿ_`6 ab c'ÿefgfhÿij;< kl'+, mnoÿpÿ\ÿrÿYÿsÿtÿuÿ7RÿSÿÿTUVÿÿ ÿ=Soÿvwxyzÿ{xÿ|ÿ}~ÿÿÿÿÿYÿxÿxÿÿxÿÿpÿÿ7 ÿ2onÿÿTUVÿ73766)7ÿ=ÿXpÿ\ÿrÿYÿsZ+, 2ÿオートマトン ― 第4章 p.4012ÿ456
ÿ012ÿ4869ÿ ÿ46ÿ!"ÿ4 # 6 $% &'()*+,012-./019!" 2-3)45  67 89:;ÿ)<=,ÿ ÿÿÿ>?@+,!" 8A9-BC91DEFGÿIÿJÿIÿKLFÿKÿMÿJÿNÿGL OPQR
STUVWX YZ[P>UVAE\]O ^_`abc`deFMLfÿFILYZ[ OPQREgQRSTUVWX YZ[g>UVAEh=iÿjÿde FkLYZ[ OgQRECFlÿkÿmÿkÿnLFlÿkÿomÿkÿnpLEDqQR
STUVWX YZ[-r0 sat) E^_`abc`de) u,FvLfÿFwLYZ[ OqQRxyzÿ|}~)*+,tc-*A ) 2)*+,
1Cq@D^ctc -*A9-, E, Q > +)Exyzyÿ^ctc ¡¢£ \¤)ÿÿ>¥¦¡ V§ &'C ÿ1¨ D¢£ ©)ÿ
ÿ1ª«) ,¬ ­®-#E¬ ­® B)¯°± ²®C$³´ &'>µ^+,¶ÿ·´ &'>^AD>¸u,1¨ E ¹-tcº Eq@^ctc ¡ V§¯°± $³´¢£¬ ­®-$»)@#
C%#0 8%¤ ¼½¾-D^ctcE¿ÀÁÂÿÃÿjjÿ9ÄÅÆÇÿ4ÁÈÈÉÊÃÃÀËÂÈÌÂÀÍÎËÃÏÀÂÍÂÃÐÅÃÑÎ¶6¬ ÒÓ-, E

オートマトン ― 第4章 p.501234563789
 !"#$%&'()*+,-,(./0123012 !"#$%&'()*+,-,(89
345637./0123
 !"#$%&'()*+,-,( 244"56780 9: ;00 <=>?@A3 2BC "567D(6EF2.3GH1
 !"#$%&'()*+,-,( 244IA/0JK0L@A33456EFM NOPQR8J STUV7IAÿXYZ[\]^Y_`a\b]
cdedfgÿ7@hij A3kl2mn 2op2ÿqÿr8stUuvwxx/0ij A3yz{z|ÿ !"#$%&'()*+,-,(J ~20#2,#"012S18 4"#$%&'()*+,-,(13*+,-,(2mnJ  !*+,-,(0 !*+,-,(2J1B3 x  !"#$%&'()*+,-,(0!"#$%&'()*+,-,(2mnJ1J@A 4  !"#$%&'()*+,-,(1J12  !"#$%&'()*+,-,(1J12@AEF/0ij A34B  !"#$%&'()*+,-,(8;pEFJ ÿÿB [ÿÿÿ0A71pEF0/0ijA3ÿÿ78A J2 (¡¢7£1¤3¥ 9IT8<=2>A.3GH7ij A2J ÿ2pj8¦§¨#,8@ÿ©ÿ0A.3GH713

yzyÿ3456371J12@AEFª2«n¬3EF3456EF1­@A/0®BC8J 2¯°±8²3ÿ³´µ¶´·¸¹ÿº»¶¶¼ÿ½¾¿ÿÀ¾¸Á»ÂÁÃ½¿»»ÿº¼¸¹µ¼¹»ÄÅ
Æ("2¯°0hA3345637EFÿÿ892;@ÇÈÉB5ÊËÿÿÌ¥3
ÿ8ÍopÿÿÎÏ20123ÐÿÿJÿÿ0ÑÒÓÿ ÿ2opJÿÿÎÏ134 Ôÿÿ2Õ@?0hJÖ1J@A3×Óÿ ÿ2opJÿÿÎØ13qÓÿÙ 2ÿ ÿ89
ÿhÿÿ8Í3ÚÛ@ÜÝBC8J 3456372Þßà2áâ @ÒãAÒ@
A21äå3æçJÎØ2;@èé0êxëA3

オートマトン ― 第4章 p.6
 0 1 2 3 4
026789 48 50
9818 99

4

 4

9 980123


0 1 3 41 23
 4
9 980123

ÿ!"#$%#&'ÿ(ÿ))ÿ!*+,-ÿ.''/01((#%'234405#$(6200(78+0%(95:;<=>? ÿ@ABCDEFGHIJKFL?MNO@PQRSTUVWXJK>?YZ[@\]^_`abcABde@f@ghiÿ jDÿkÿlmnFoZ@ÿÿ[pÿ ÿ=^qrstuvwx>dyz@fj?{>|wx>d}z@fj~
FZL^pnFABCRi>ÿÿV~Foÿ<=>ÿ
ÿL ÿÿi^iKoÿ^xLwsJoÿÿs^xL~FL?V>?e@Ksx~Tÿ ÿD~Foÿ
ÿL~Fo~FL?
ÿLrMwxLXVÿ ÿ@IQiÿÿzK@^?ÿÿLÿÿ@s ¡ZLiKo~FLÿ ÿiÿÿV~FD?ÿ
Lÿÿ@¢mlD£K>~Fo