012ÿ456789

 1ÿ4567ÿÿÿÿ!!"#$%ÿ&'()*+,-.+/
012/34/56/789:;<=>?@9-ABCD'E=>'ÿ=F'ÿ$%ÿG<HI,JK,LM/ÿNÿ8/OP(QR62ES8<TUVÿWDXYZ&DG<
TUVÿ[X?@\&]G<8^X=>?@9?@9_;'&ÿTUVÿ9?@9_;<`abTUVÿ[Xcd[efg9_;<h/`ij*klmQ)lmEno;<1ÿ4567pqr

ÿEs3t;)*/01t;<uvÿ ÿ/wxÿyÿ&ÿÿ/z/=>?@9:;<{vÿ|-.+(}ÿÿ~e:;2ÿ&ÿÿ/z/=>?@9:;<Nvÿÿÿÿÿÿ/z/=>?@9:;_uvÿ ÿ ÿÿÿÿ/ÿ{vÿ ÿ ÿÿÿÿ/ÿNvÿ ÿ ÿÿ/ÿ ÿ( ÿ/ÿÿz/ Xb2
ÿÿ/z/=>?@9:;<=>?@/OP&ÿ}~(HI2}~/jt;<OP/E;j&}~Et;<y &ÿÿ/9:;<y &ÿ ¡¢& ÿ( ÿ/ÿuÿz/ Xb2& ÿ( ÿ/ÿÿ^`&ÿuÿ/£@2¤y¥&y¤y¦§¥&y¨§¤©y¥ &yªÿªÿÿ«/¬­/)*
オートマトン第3章 p.1

012345 6728ÿ8ÿ8ÿ4ÿ ÿÿ6728ÿ8ÿ8ÿ4ÿ6

22!"267 ÿ2228ÿ22ÿ
2 2"#267 ÿ228ÿ2228ÿ22228ÿÿ$%$!$3$"&0'3(5%67)*+,-.
0234/30150234/30'3(15# 672ÿ34567*89%:;93:6<=>?@ABCD>79$%$:;9$3$:
EFGHIJKLMNOGEPQ79%:93:ORFST@U
QR9V%:EFG9V:WXYZ[-Y\]^@5PQ_`aTbcdÿfghijkjl

@mno-pqr_O@s6ÿtuvwvxyÿz{x|}zx|w8ÿ~ÿ6@qr 
RBW_[^@AB
WTN^GEPQ@ÿtxzxÿxzxyW_U^6 B¡¢£ÿtuvwz¤ÿxzxyW_¥^6 B ¦ÿtxzxyÿxzwvxv|wÿ§vz¨z}ÿ ©ÿªÿ«¬­®R_EF>Tz¯ÿ@qr_ÿ~
²yv|°{ÿz¯³ÿ@qr_ÿ~

²zz±¯~¯bcdćÿµ¶·オートマトン第3章 p.2~

0123ÿÿ56789ÿ ÿ 9ÿ56789ÿ ÿ 9

!"5#$%&'()*+,-56789ÿ ÿ5./&'01
23ÿ

45ÿ

78ÿ

9*+,-:;8912<56789=>?89ÿ@ÿABCDEFG
HIFGJ9K ÿ5./899LMN9ÿOP&9./QN
9 RSTUVWX$YZY[9\]^]^ÿ̀ abcdefghihj

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

ÿ123245657892969ÿ92965ÿ638 632ÿ ÿÿ !"#$%&%'()*+,"-./012/345(6789:;<=>?@A!*+BCD5E'FG$H$
IJKLMANOPQ*/RNS*+TUVUTÿXYZ[\]^_`_aÿ145657892969ÿ92965ÿ638 632ÿ ÿÿ
*#$%&%'()*+

TUTÿbcdefghijkÿlmno/p,nqrstl?@Q*BujkÿvwQ*xyz{|M,ÿBl}~Q*+ÿijkÿ/9:/, Blÿujkÿ//9:A!Q+
ijkÿ/9:ÿÿ. ÿÿ=((*9:/ijkÿ/9:/ÿÿ. ÿÿAÿÿ=((*9:/ÿl AN=5D(= D; ÿÿNÿÿlN"9:AN"-+, ÿ6A/ÿijk/9:B
ÿÿ Q*ÿijkCD ¡¢£l¤¥Q*+ÿ ÿA§-

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

ÿ1 ÿ234567
899 5  225629 !5 "#$ÿ&'(ÿ)*+,)-./

012ÿ34567839:; <= ÿ012ÿ>?; 9@ 1>?AB CD2EF; 78GHID2EF; 45JK39:;
<= ÿ012ÿ2GLMN 93O;9@ ÿ 9P4012ÿ 3<=Q; 9RSTU 4VW3ID; 9@ X
Y@Z[ ÿ012ÿ3<=Q\G 2 5 *+]^_`a bc2 T1ÿÿ (e f & ghi

ÿ789

9@ オートマトン第3章 p.5

0123456789

0 ÿ !2"#$ % &'(ÿ*ÿ+&'(ÿ,-./021234561788
9:9 # ;<=ÿ>ÿ?@,- ABC8DEFGHIJ"#KL9 D
M1"#KL8N=O1PQ%9 RST0 UÿVWXYZ[Z\]^_`abcd

ef2gh9 i1jkl/mnmo<=pqrEsJtu9 2345Jv
L9 w1Txy 0 ÿz{|12345 45 % ?@}~6z{|123?@;1jkl/mnmo  % ?@}~29 ÿ^_ 2345 245 %,AsSi0 123452<w8245 %,|18iL|z^_ ÿ¡¢ÿ£¤¥ÿ¦§¨ÿ̈¤¢£¥¨ÿ£¥¡¢¥¢¤©ªÿ1T­
«¬2ÿ
2345i459 6z{|jkl/mnmoi9 ;?@ÿÿ89M®1­,¯°J±D9"²³ÿ ÿi´µ9 ÿ8¶9 ·Cÿÿ¸¹rEsÿÿ2ÿ
ÿ1Q ®1º»ÿÿ·C2ÿºÿ 0 
¼»ÿ ÿ·C2ÿÿ½ 0 ¾»ÿ9¿®ÿ ÿ89M®1 ÿTÿÿ8¶9 
ef21jkl/mnmoÀÁ³iÿ ÿ,=1ÿÿ·CAsJ
ÂÃÄÅ 1%81ÆOÇ1pqÀÁ8ÈÉ9 w1<=? Êÿ­8Ë Ì1Ë ÌJp³ÍÎÏAsSÿÿ212345 24Ð,ÑÒÓÿ2345 4ÐD1M®ÔÕJÖ× ÿJ2345 4ÐD19 11Øo38|1­,¯°J±D9"²³ÿÿi´µ9 
ÿ19 9 11
ÿ1ÙGMD1%81ÿÿIÙ82Ë ÌM<´µM,w1%1 ÿ2Ë Ì1Ë Ì³iÚ, i1ÿÿ8¶9 w18,|
ÔÕ9 Ûÿ^_ ÜÝdオートマトン第3章 p.6

0123456789 9 

01!" #$%01!"&'(ÿ*+, 01!" -./001!"&'
1&'

オートマトン第3章 p.7

オートマトン第3章 p.8