8Q 1  Y

& %

Ç a

Ä ª¥ U ># a

1

'

&

$

%

V

 1 ⠉ Ç a Ä ªÐ Ï 

úd”(arithmetic expression)õ Ä» > &ñ½©d”(regular expression)`¦ &ñ_ôÇ.

Ç a

˜+ 1 ·ú˜ Ï@ Σ ©œ_ &ñ½©d”õ Õªכ s ³ðr H |9½+˓Ér 6£§õ

° ú  

1. ∅H &ñ½©d”s“¦ /BN|9½+Ë`¦ ³ðrôÇ<sub>.</sub> 2. ǫH &ñ½©d”s“¦ <sub>{ǫ}</sub>`¦ ³ðrôÇ_.

3. yŒ• a ∈ ӍH &ñ½©d”s“¦ {a}\¦ ³ðrôÇ_.

4. rõ _s &ñ½©d”s“¦ yŒ•yŒ• _Rõ _S |9½+Ë`¦ ³ðrôÇ€<sub>, (r + s),</sub> (rs), (r<sup>∗</sup>)H &ñ½©d”s“¦ yŒ•yŒ• <sub>R∪ S, RS, R</sub><sup>∗</sup> |9½+Ë`¦ ³ðrôÇ_.

&

ñ

½©d” r_ ƒ#Q L(r)“Ér rs ³ðr H |9½+Ës.

&

ñ

½©d” aü< /åJ aH "f–Ð Ér כ `¦
?/
, °ú “Ér +þAIe”`¦ Ä»_

. 7£¤ L(a) = {a}s“¦ L(ǫ) = {ǫ}s.

& %

&

ñ

½©d”\"f ƒíߖ_ íH"f\¦ ∗ · +–Ð &ñ € ´ú§“Ér F‹c ñ\¦ Òqt|Ä̽+É Ãº e”

. 7£¤ ((1(0^∗)) + 0) = 10^∗+ 0s“¦ s &ñ½©d”“Ér {0, 1, 10, 100, . . .}`¦

·p. ¢¸ôÇ 6£§õ °ú “Ér ƒíߖ_ ZOgË:`¦ &h6 x½+É Ãº e”.

• + ƒíߖ“Ér ½+Ë|9½+Ë`¦
?/Ù¼–Ð, “§¨8ŠZOgË:õ ½+ËZOgË:s $íwn ô

Ç. 7£¤ r + s = s + rs“¦ (r + s) + t = r + (s + t)s.

• · ƒíߖ“Ér ]X½+Ë`¦
?/Ù¼–Ð, “§¨8ŠZOgË:“Ér $íwn t ·ú§“¦ ½+ËZO g

Ë:“Ér $íwnôÇ. 7£¤ (rs)t = r(st)s.

• +ü< · s\ ìrCZOgË:s $íwnôÇ. 7£¤ r(s + t) = rs + rts“¦ (r + s)t = rt + sts.

Ça

˜+ 2 &ñ½©d”ܼ–Ð ³ðr÷&H ƒ#Q\¦ &ñ½©ƒ#Q“¦ ÂҏÉr_. U

dV 1 &ñ½©d”

(00)^∗(11)^∗1

“ É

r ‹Œ•Ãº >h_ ₀ 6£§\ f.Ëú >h_ ₁s
š¸H Û¼àÔaA_ |9½+Ë`¦ ³ð r

ôÇ_.

3

'

&

$

% U

dV 2 {0ⁿ1^m : (n + m)“Ér ‹Œ•Ãº}\¦
?/H &ñ½©d”`¦ ½¨ _.

&

ñ

½©d”_ ƒíߖ ₊H _“¢¸H_”_ _psÙ¼–Ð_,&ñ½©d”`¦ ½¨½+É M: #ŒQ

â

ĺ–Ð
¾º#Q"f ÒqtyŒ• H כ s a%~. 0s ‹Œ•Ãº >h
š¸“¦ 1s ‹Œ• Ã

º >h
š¸ŽHt ₀s f.Ëú >h
š¸“¦ ₁s f.Ëú >h
ü< ÷&Ù¼–Ð_, ²úš

“ É

r ₍₀₀₎^∗₍₁₁₎^∗_{+ 0(00)}^∗₁₍₁₁₎^∗s_.

· ú

¡Ü¼–Ð \V]j\"f ·ú˜ Ï@\ @/ôÇ Z>Ér ƒ/åLs \Oܼ€ Σ = {0, 1}s.

U

dV 3 1s ôÇ >h ¢¸H ¿º >h e”H Û¼àÔaA_ |9½+Ë`¦ ³ðr H &ñ½© d

”

`¦ ½¨ _.

1s ôÇ >h e”H Û¼àÔaA_ |9½+˓Ér ₀^∗₁₀^∗s“¦_{, 1}s ¿º >h e”H Û¼àÔaA _ |9½+˓Ér 0^∗10^∗10^∗sÙ¼–Ð Ñüt`¦ ½+Ëu€ 0^∗10^∗(ǫ + 10^∗)s.

U

dV 4 U´s ₃_ Cú“ Û¼àÔaA_ |9½+Ë`¦ ³ðr H &ñ½©d”`¦ ½¨

. U´s 3“ Û¼àÔaA`¦ ³ðr H &ñ½©d”s

(0 + 1)(0 + 1)(0 + 1)sÙ¼–Ð ²úš“Ér ((0 + 1)(0 + 1)(0 + 1))^∗s_. (0 + 1)(0 + 1)(0 + 1)`¦ צ#Œ"f _{(0 + 1)}³Ü¼–Ð æ¼l–Ð ôÇ_.

& % U

dV 5 11`¦ ÂÒìrÛ¼àÔaAܼ–Ð °úH Û¼àÔaA_ |9½+Ë`¦ ³ðr H &ñ½© d

”

“Ér _{(0 + 1)}^∗_{11(0 + 1)}^∗s_. U

dV 6 111s ˆÃÌ ôÇ 

H Û¼àÔaA_ |9½+Ë`¦ ³ðr H &ñ½© d

”

`¦ ½¨ _. U

dV 7 11`¦ ÂÒìrÛ¼àÔaAܼ–Ð °út ·ú§H Û¼àÔaA_ |9½+Ë`¦ ³ðr H

&

ñ

½©d”`¦ ½¨ . U

dV 8 Σ = {a, b, c}{9 M:_, 'Í /åJ r

t ·ú§H Û¼àÔaA_

| 9

½+Ë`¦ ³ðr H &ñ½©d”`¦ ½¨ _.

ƒ



#Q\¦ ³ð‰&³ H ~½Ód”\H &ñ½©d”, š¸žÐ, ëHZO 1pxs e”.

Ça

˜+ 3 ƒ#Q_ ³ð‰&³ ~½Ód” _{A, B} L(A) = L(B)\¦ ëߖ7ᤠ€_{, A}ü<

BH 1lx1px(equivalent) .

5

'

&

$

%

V

 2 ⠉ Ë Âø 5  › ïŸ ×  

(

Ž

ÉÓ'H {9ìøÍ&hܼ–Ð ×怩œ%ƒo©œu, Bj—¸o, {9ئ§4©œu–Ð ½¨$í÷&

#Q e”. ·ú¡Ü¼–Ð (ŽÉÓ'_ s:r&h“ —¸4Sq[þt`¦ Cĺ> ÷&HX<, Õª ×æ

\

"f ©œ çߖéߖôÇ כ s Ä»ôÇ š¸žÐs. Ä»ôÇ š¸žÐH ×怩œ

%

ƒo©œu\ K{©œ H Ä»ôÇ]j#Qlü< {9§4©œu“{9§4_…{9ܼ–Ð ½¨$í

)

a. Ä»ôÇ š¸žÐ_ :£¤fç“Ér Bj—¸o\¦ t“¦ e”t ·ú§H כ s

. {9§4_…{9“Ér ñߖ[þt–Ð
¾º#Qt“¦ yŒ• ñߖ“Ér 
_ /åJ\¦ |9 ú e

”

. {9§4_…{9\H K‰×¼(head) e”#Q"f K‰×¼ ovH ñߖ\ e”



H /åJ\¦ {9`¦ ú e”. Ä»ôÇ]j#QlH ©œI[þt–Ð ½¨$í)a. Õª a

Ë> 1\¦ ˜Ð.

& %

1 0 1 1 0

ÕªaË> 1:

œ

íl\ K‰×¼H {9§4_…{9_ ±p¢,aAᤠñߖ`¦ ov“¦, Ä»ôÇ]j#QlH œí l

 ©œI\ Z~#Œ e”. yŒ• éߖ>\"f ‰&³F ©œIü< _…{9_ /åJ\ _K

"

f 6£§ ©œI &ñ÷&“¦, K‰×¼H ôÇ ñߖ š¸ÉrAá¤Ü¼–Ð ”'ŸôÇ.

Ç a

˜+ 4 &ñ Ä»ôÇ š¸žÐ M“Ér $Á t כ¹™è (Q, Σ, δ, q0, F)–Ð

½

¨$í)a. #Œl\"f

1. QH ©œI[þt_ Ä»ôÇ |9½+Ës“¦ 2. ӍH ·ú˜ Ï@s“¦

7

'

&

$

% 3. „s†<Êú δH Q× Σ\"f Q–Ð_ †<Êús“¦

4. q0 ∈ QH œíl©œIs“¦

5. F ⊆ QH þj7áx©œI[þt_ |9½+Ës_.



&ñ Ä»ôÇ š¸žÐ(deterministic finite automata)\¦ צ#Œ"f DFA

–

Ð ÂÒØÔl–Ð _.

„



s †<Êú δ\¦ SX‰©œ #Œ Q × Σ^∗\"f Q–Ð_ †<Êú δ^∗\¦ 6£§õ °ú s

&

ñ

_ôÇ.

• δ^∗(q, ǫ) = q

• —¸ŽH w ∈ Σ^∗ü< a ∈ Σ\ @/ #Œ, δ^∗(q, wa) = δ(δ^∗(q, w), a) Û

¼àÔaA w ∈ Σ^∗\ @/ #Œ δ^∗(q₀, w)s DFA M _ þj7áx©œIs€, M s w\¦ ~ÃÎ[þt““¦ ´ú˜ôÇ. M _ ƒ#Q L(M )“Ér M s ~ÃÎ[þts



H —¸ŽH Û¼àÔaA_ |9½+Ës. 7£¤

L(M ) = {w ∈ Σ^∗ : δ^∗(q0, w) ∈ F }.

& % DFA_ ©œS!(configuration)“Ér ‰&³F ©œIü< {9§4 Û¼àÔaA_ {9t ·ú§

“ É

r ÂÒìrܼ–Ð &ñ)a. {9§4 Û¼àÔaAs w{9 M:, DFA_ rŒ• ©œS!“Ér (q₀, w) s“¦, 7áx«Ñ ©œS!“Ér #Q‹" q ∈ Q\ @/ #Œ (q, ǫ) s.

ô

Ç _ „s\ _K"f DFA M _ ©œS!s o H õ&ñ`¦ ⊢Mܼ–Ð

³

ðrôÇ. 7£¤ ‰&³F ©œS!s (q, 10110)s“¦ δ(q, 1) = q^′s€, (q, 10110) ⊢M (q^′,0110)

s

. DFA M s "îSX‰ôÇ âĺ ⊢M @/’ ⊢\¦ 6 x½+É Ãº e”. 0 s



©

œ_ „s\¦ ⊢^∗–Ð ³ðrôÇ.

U

dV 9 M = ({q0, q₁}, {0, 1}, δ, q₀,{q₀}) s“¦_{, δ}H 6£§õ °ú _. 0 1

q₀ q₀ q₁ q₁ q₁ q₀

L(M )“Ér ‹Œ•Ãº >h_ ₁`¦ ” Û¼àÔaA_ |9½+Ës_.

9

'

&

$

% Ä

»ôÇ š¸žÐ\¦ sK l ~1•¸2Ÿ¤ FAÕªaË>ܼ–Ð
·p. ©œIH

&

ñ

&hܼ–Ð, „s δ(p, a) = qH ©œI p\"f q–Ð H 6\š a ·¡­“Ér çߖ

‚



ܼ–Ð, þj7áx©œIH s×æ"é¶Ü¼–Ð, œíl©œIH o¶ú˜³ð–Ð ³ðrôÇ.

\

V]j 9_ DFA\¦ ÕªaË>ܼ–Ð
?/€ ÕªaË> 2ü< °ú .

q

q

1

1 0 0

ÕªaË> 2:

{ 9

ìøÍ&hܼ–Ð 6£§ ¿º éߖ>\ _K DFA\¦ ëߖŽH.

1. ‰&³Ft {9“Ér ÂÒìr\"f #Q‹" &ñ˜Ð\¦ l%3K Ht\¦ &ñ 

“

¦ s &ñ˜Ð\¦ ©œI–Ð ³ðrôÇ.

2. Dh–Ðîr /åJ\¦ {9%3`¦ M: l%3K H &ñ˜Ð #QbG> 7 H t

\¦ ˜Ð“¦ „s†<Êú\¦ &ñôÇ.

& % s

 ×æ\"f ×æכ¹ôÇ כ “Ér l%3K H &ñ˜Ð\¦ &ñ H כ s. \V ]j 9\"fH 1_ >hú ‹Œ•Ãº“t f.Ëú“t\¦ l%3K ôÇ. 

"

f ©œI q₀“Ér 1_ >hú ‹Œ•Ãº, q₁“Ér 1_ >hú f.Ëúe”`¦
·p.

U

dV 10 L = {w : N₀(w) mod 2 > N₁(w) mod 2}`¦ ~ÃÎ[þtsH DFA\¦ ½¨ _.#Œl\"f _Na(w)H _w\ e”H _a_ >hú\¦
·p_. 7

£

¤_, s _DFAH ₀_ >húH f.Ëús“¦ ₁_ >húH ‹Œ•Ãº“ Û¼àÔaA`¦

~ Ã

Î[þt#Œ )a_. s

 âĺ _{N0(w) mod 2}ü< _{N1(w) mod 2}\¦ l%3 € )a_. ÕªaË> _3.

11

'

&

$

%

0 0 0 0

1 1

1 1

10

00 01

11

ÕªaË> 3:

U

dV 11 0101`¦ ÂÒìrÛ¼àÔaAܼ–Ð °úH Û¼àÔaA`¦ ~ÃÎ[þtsH _DFA

\



¦ ½¨ _. s

 ëH]j\"fH0101_ #Q¿º ×æ\"f ‰&³Ft {9“Ér ÂÒìr`¦ l%3K ô

Ç_. "f ₀₁₀₁_ #Q¿º\¦ ©œI–Ð ³ðr H _DFA\¦ ëߖ[þt€ )a_. (ÕªaË> ₄₎ s]j „s†<Êú\¦ &ñôÇ_. \V\¦ [þt€_, ‰&³Ft {9“Ér #Q¿º

 ₀s“¦_, Õª 6£§\ ₁`¦ {9ܼ€ {9“Ér #Q¿º <sub>01</sub>s ÷&“¦<sub>, 0</sub>`¦ {9ܼ

& %

€



 {9“Ér ÂÒìrs ₀₀s ÷&HX< ₀₁₀₁_ #Q¿º\ K{©œ÷&H כ “Ér ₀s_.

1 1

0 0

0 0 0,1

1 1

0 01 010 0101

ε

ÕªaË> 4:

U

dV 12 0101`¦ ÂÒìrÛ¼àÔaAܼ–Ð °út ·ú§H Û¼àÔaA`¦ ~ÃÎ[þtsH DFA\¦ ½¨ .

ÕªaË> ₄_ _DFA\"f þj7áx©œIü< Õª ü@_ ©œI\¦ ´ú˨€ )a_{. (}s ü

< °ú s #Œ|9½+Ë`¦ ³ðr H ëH]j &ñ½©d”\"fH #Q9°?HX<<sub>,</sub> DFA\"fH /'îr כ `¦ ÅÒ3lq _.)

U

dV 13 Û¼àÔaA\"f ƒ5Åq_(run)sêøÍ °ú “Ér /åJ–Ðëߖ ½¨$í)a (8 s

13

'

&

$

%



©

œ Zþtwn= ú \OH₎ ÂÒìrÛ¼àÔaA`¦ ´ú˜ôÇ_. \V\¦ [þt€_{, 0110001}“Ér U´ s

 ₂“ ₁_ ƒ5Åqõ U´s ₃“ ₀_ ƒ5Åq`¦ t“¦ e”_.U´s

2“ ƒ5Åq`¦ °út ·ú§H Û¼àÔaA`¦ ~ÃÎ[þtsH _DFA\¦ ½¨ _. 7£¤ Û¼ àÔaAs U´s 2“ ƒ5Åq“Ér °út ·ú§ “¦ U´s 1s
 3s©œ“

ƒ



5Åq“Ér |9 ú e”_. s

 ëH]j\"fH ©œ þjH_ ƒ5Åq`¦ l%3K “¦ Õª ×æ\"f U´s

 3s “ ƒ5Åq`¦ l%3 € )a. U

dV 14 010`¦ ÂÒìrÛ¼àÔaAܼ–Ð t“¦<sub>, 100</sub>`¦ ÂÒìrÛ¼àÔaAܼ–Ð °ú t

 ·ú§H Û¼àÔaA`¦ ~ÃÎ[þtsH _DFA\¦ ½¨ _. s

 ëH]jH €•çߖ #Q§>_{. 010}s
 ₁₀₀s ÂÒìrÛ¼àÔaAܼ–Ð e”Ht \O





Ht\¦ ·ú˜l 0AK"fH ·ú¡_ \V]j\"f%ƒ!3 ₀₁₀õ ₁₀₀_ #Q¿º\¦ l

% 3

K ôÇ_.1lxr\ ‰&³F ₁₀₀`¦ {9“¦ e”€ s„\ ₀₁₀s e”%3H t

 \O%3Ht\¦ ·ú˜“¦ e”#Q ôÇ. ìøÍ@/–Ð ‰&³F 010`¦ {9“¦ e”`¦ M: s

„\ ₁₀₀s e”%3Ht\¦ l%3½+É €9כ¹H \O_. =
 € ₁₀₀s e”

% 3

€ s Û¼àÔaA“Ér ~ÃÎ[þt#Œtt ·ú§l M:ëHs_.

& % δ ÂÒìr†<Êú{9 M:•¸ DFA–Ð ^¦ ú e”. s âĺ 0A_ &ñ_\ _ôÇ

DFA–Ð ˨9€, Dh–Ðîr ©œI q^′ 6∈ F `¦ •¸{9 #Œ

• &ñ_÷&t ·ú§“Ér —¸ŽH „sH q^′ܼ–Ð •¸2Ÿ¤ “¦,

• —¸ŽH a ∈ Σ\ @/ #Œ δ(q^′, a) = q^′s ÷&•¸2Ÿ¤ ôÇ.

q^′õ °ú s ôÇ  [þt#Q€ 4R
`¦ ú \OH ©œI\¦ º¡¤“Ér ©œI(dead state)“¦ ÂҏÉr. \V]j 12\"f ©œI 0101•¸ º¡¤“Ér ©œIs.

V

 3 ⠉ j Ú r Ç a  Ë Âø 5  › ïŸ ×  

q

&ñ Ä»ôÇ š¸žÐ(nondeterministic finite automata)\¦ צ#Œ"f NFA–Ð ÂÒØÔl–Ð . NFAH 6£§ ¿º t €\"f DFA\¦ {9ìøÍo ô

Ç כ s.

1. yŒ• ©œIü< /åJ ÅÒ#Q&’`¦ M:, 6£§ ©œI \O
 
 s©œ {

9

 ú e”.

15

'

&

$

% 2. yŒ• ©œI\"f /BNÛ¼àÔaA ǫ\ _ôÇ „s e”`¦ ú e”.

Ça

˜+ 5 q&ñ Ä»ôÇ š¸žÐ _M“Ér $Á t כ¹™è

(Q, Σ, ∆, q₀, F)–Ð ½¨$í)a_.#Œl\"f Q,Σ, q₀, FH _DFA\"fü< °ú  s

 &ñ_)a_{. ∆}H Q× (Σ ∪ {ǫ}) × Q_ ÂÒìr|9½+˓ „s ›'a>–Ð_,

¢

¸H _Q× (Σ ∪ {ǫ})\"f ₂^Q–Ð_ „s †<Êú–Ð &ñ_½+É Ãº e”_. NFA\¦ &ñ_½+É M:H ∆\¦ DFA_ „s †<Êú\"f {9ìøÍo)a„s ›'a

>

–Ð €Œ• H כ s ƒÛ¼Qĺ
, [O"î\"fH ∆\¦ „s †<Êú–Ð

˜

ЍH כ s ¼#o Ù¼–Ð sÊê\H ∆\¦ 2^Qܼ–Ð_ †<Êú–Ð çߖÅÒôÇ.

¢

¸ôÇ [O"î_ ¼#_\¦ 0AK"f ∆\¦ 2^Q × (Σ ∪ {ǫ})\"f_ †<Êú–Ð 6£§ õ

 °ú s SX‰©œôÇ. P ⊆ Qü< a ∈ Σ ∪ {ǫ}\ @/ #Œ

∆(P, a) = [

q∈P

∆(q, a).

e

”

__ ©œI q\ @/ #Œ, E(q)\¦ q\"fÂÒ' {9§4 /åJ\¦ {9t ·ú§“¦ (ǫ 6\šs ·¡­“Ér çߖ‚`¦ ) •¸²ú˜½+É Ãº e”H ©œI_ |9½+Ës“¦ 

. E•¸ %ir SX‰©œ #Œ, ©œI |9½+Ë P \ @/ #Œ E(P ) = S_q∈P E(q).

& %

∆\¦ SX‰©œ #Œ Q × Σ^∗\"f 2^Qܼ–Ð_ †<Êú ∆^∗\¦ 6£§õ °ú s &ñ_ ô

Ç.

• ∆^∗(q, ǫ) = E(q)

• —¸ŽH w ∈ Σ^∗ü< a ∈ Σ\ @/ #Œ, ∆^∗(q, wa) = E(∆(∆^∗(q, w), a)) Û

¼àÔaA w ∈ Σ^∗\ @/ #Œ ∆^∗(q₀, w)s NFA M _ þj7áx©œI\¦ &h#Q

•

¸ 
 Ÿí†<Ê €, M s w\¦ ~ÃÎ[þt““¦ ´ú˜ôÇ. M _ ƒ#Q L(M )“Ér M s ~ÃÎ[þtsH —¸ŽH Û¼àÔaA_ |9½+Ës. 7£¤

L(M ) = {w ∈ Σ^∗ : ∆^∗(q₀, w) ∩ F 6= ∅}.

¢

¸H „sõ&ñ`¦ 6 x #Œ L(M )`¦ 6£§õ °ú s &ñ_½+É Ãº e”.

L(M ) = {w ∈ Σ^∗ : (q0, w) ⊢^∗_M (q, ǫ), q ∈ F }.

{ 9

ìøÍ&hܼ–Ð NFAH DFA˜Ð s`› ~1> ƒ#Q\¦ ³ð‰&³½+É Ãº e”.

U

dV 15 &ñ½©d” _{(010 + 01)}^∗ ³ðr H ƒ#Q\¦ ~ÃÎ[þtsH _NFA

\



¦ ½¨ _.

17

'

&

$

% ÕªaË> 5. {9§4 Û¼àÔaAs ₀₁₀{9 M:_,

• ∆^∗(q1,0) = {q2},

• ∆^∗(q₁,01) = {q₃, q₁},

• ∆^∗(q₁,010) = {q₁, q₂} s

“¦_, #Œl\ þj7áx©œI q₁s Ÿí†<Ê÷&#Q e”ܼټ–Ð s _NFAH ₀₁₀`¦

~ Ã

Î[þt“_. sכ `¦ „s õ&ñܼ–Ð
?/€ 6£§õ °ú _. (q₁,010) ⊢ (q₂,10) ⊢ (q₃,0) ⊢ (q₁, ǫ)

7

£

¤ _{(q1,010) ⊢}^∗ _{(q1, ǫ)}s“¦ _q1s þj7áx©œIsÙ¼–Ð s _NFAH ₀₁₀`¦ ~ÃÎ



[þt“.

& % 1

0

0 ε

q

q q

1

2 3

ÕªaË> 5:

U

dV 16 =åQ\"f ¿º P: /åJ ₁“ Û¼àÔaA`¦ ~ÃÎ[þtsH _NFA\¦

½

¨ _. s _NFAH _q1\ QÓüt =åQ\"f ¿º P: /åJ\¦ ÆÒ8£¤ #Œ Õ

ª /åJ ₁s€ q₂–Ð s1lxôÇ_{. q3}H s ÆÒ8£¤s ´ú€Œ¤Ht SX‰“ôÇ



_.

ÕªaË> 6. {9§4 Û¼àÔaAs 011{9 M:,

19

'

&

$

%

• ∆^∗(q₁,0) = {q₁},

• ∆^∗(q₁,01) = {q₁, q₂},

• ∆^∗(q₁,011) = {q₁, q₂, q₃} s

Ù¼–Ð_, s _NFAH ₀₁₁`¦ ~ÃÎ[þt“_. {9§4ۼ߼aAs ₁₀₀{9 M:_,

• ∆^∗(q₁,1) = {q₁, q₂},

• ∆^∗(q₁,10) = {q₁, q₃},

• ∆^∗(q₁,100) = {q₁} s

Ù¼–Ð, s NFAH 100`¦ ~ÃÎ[þtst ·ú§H.

1 0,1

0,1

q

q

q

ÕªaË> 6:

& % NFA_ þj7áx©œIH ôÇ >h“¦ &ñ½+É Ãº e”. NFA_ Q\ ¿º >h s



©

œ_ þj7áx©œI e”ܼ€, Dh–Ðîr ©œI qfëߖ`¦ þj7áx©œI–Ð “¦ —¸

Ž

H q ∈ F \ @/K „s (q, ǫ, qf)\¦ 8Kïr.



= q&ñ$í(nondeterminism)s €9כ¹ôÇ? ‰&³F 6 x÷&H nt_O (Ž

ÉÓ'H ¢-a„y &ñ&hܼ–Ð ¹¡§f”“. ¢¸ pA\ q&ñ&hܼ–Ð Œ• 1

l

x÷&H (ŽÉÓ'\¦ ëߖ[þt 0px$í“Ér &h. (‰&³F quantum computer, DNA computing 1pxs r•¸÷&“¦ e”tëߖ) Õª!3\•¸ Ô¦½¨ “¦, 6£§ õ

 °ú “Ér sÄ»–Ð q&ñ$í“Ér ×æכ¹ôÇ %i½+É`¦ ôÇ.

• q&ñ$í`¦ s6 x € š¸žÐ\¦ ~1> ëߖ[þt ú e”. #Q‹" ƒ#Q

\

¦ ~ÃÎ[þtsH NFA\¦ ëߖ׼H כ s {9ìøÍ&hܼ–Ð DFA\¦ ëߖ׼H

כ

˜Ð ~1.

• ëH]j_ [j>ü< ëH]j\¦ ÉҍH •¸½¨_ [j>\¦ ÒqtyŒ•K˜Ð. ëH]j_ [

j>H ĺo_ ëH]jK 0px§4õ ›'a>\Os ƒ\ ÅÒ#Q4Re”H

כ

s. s\ qK nt_O (ŽÉÓ' 1px“Ér ĺo t“¦ e”H ëH ]

jK•¸½¨s. ‰&³F ĺo t“¦ e”H ëH]jK•¸½¨H 

21

'

&

$

%

&

ñ

&hܼ–Ð ¹¡§f”stëߖ, ëH]j_ [j>\H q&ñ$ís sp ”>rF ô

Ç. "f ëH]j_ [j>\¦ sK l 0AK"fH q&ñ$ís



H >h¥Æs €9כ¹ .

V

 4 ⠉ Ë Âø 5  › ïŸ ×  ˜ + ž ⠞  Å ] 

DFA ~ÃÎ[þtsH ƒ#Q 7áxÀÓü< NFA ~ÃÎ[þtsH ƒ#Q 7áxÀÓ °ú  6

£

§`¦ ˜Ðs“¦ ôÇ. DFAH NFA_ {97áxsÙ¼–Ð DFA_ ƒ#Q 7áxÀÓ



H NFA_ ƒ#Q 7áxÀÓ_ ÂÒìr|9½+Ës. s]j ìøÍ@/_ âĺ\¦ 7£x"î 

.

Ç a

h 1 e”__ _NFA\ @/ #Œ sü< 1lx1pxôÇ _DFA ”>rFôÇ_.

¤

ÃZ. N = (QN,Σ, ∆, q₀, FN)`¦ e”__ NFA“¦ . s]j N õ 1

l

x1pxôÇ DFA D = (QD,Σ, δ, q^′, FD)\¦ ëߖ[þt“¦ ôÇ. 7£x"î_ Ùþ˜d”

“ É

r #QÖ¼ r&h\"f NFA_ ‰&³F ©œI[þt_ |9½+Ë`¦ DFA_ 
_ ©œ I

–Ð çߖÅÒ H כ s. 7£¤ DFA D_ ©œIH QN_ "4|9½+Ë_ "鶙ès

& %

.

DFA D_ œíl ©œI q^′H E(q₀)s. D_ ©œI P ⊆ QNü< /åJ a∈ Σ\ @/ #Œ, D_ „s †<ÊúH δ(P, a) = E(∆(P, a))s. s\¦ s

6 x #Œ 6£§õ °ú s DFA D\¦ ½¨ôÇ.

QD ← {E(q₀)}

mark E(q₀)

while ∃ marked state P ∈ QD do unmark P

for each a ∈ Σ do R← E(∆(P, a)) if R is not in QD then

add R as marked state to QD fi δ(P, a) ← R

od od

23

'

&

$

%



t}Œ•Ü¼–Ð, D_ ©œI P  FN_ "鶙è\¦ &h#Q•¸ 
 Ÿí†<Ê € P H FD_ "鶙ès.

s

]j NFA N õ DFA D 1lx1px†<Ê`¦ ˜Ðs. {9§4 Û¼àÔaA_ U´s\

@

/ôÇ ) ±úšZOܼ–Ð

∆^∗(q0, w) = δ^∗(E(q0), w) (1) e

”

`¦ 7£x"îôÇ.

1. |w| = 0{9 M:, ∆^∗(q₀, ǫ) = E(q₀) s“¦ δ^∗(E(q₀), ǫ) = E(q₀)sÙ¼

–Ð (1) $íwnôÇ.

2. |w| < k{9 M:, (1) $íwnôÇ“¦ &ñ .

3. |w| = k ≥ 1{9 M:, w = ua (u ∈ Σ^∗, a∈ Σ) “¦ . &ñ_\ _ K NFA N \"fH ∆^∗(q₀, w) = E(∆(∆^∗(q₀, u), a))s“¦, DFA D\"fH

δ^∗(E(q₀), w) = δ(δ^∗(E(q₀), u), a) = E(∆(δ^∗(E(q₀), u), a) s.

)

±úšZO &ñ\ _K ∆^∗(q0, u) = δ^∗(E(q0), u)sÙ¼–Ð (1) $íwn ô

Ç.

& %



"f ∆^∗(q0, w) FN_ "鶙è\¦ &h#Q•¸ 
 Ÿí†<Ê H âĺ\ëߖ δ^∗(E(q₀), w) ∈ FDs. 7£¤ L(N ) = L(D). 2

U

dV 17 \V]j ₁₆_ _NFAü< 1lx1pxôÇ _DFA\¦ ½¨ _.

ÕªaË> _7. s _DFA\¦ f”]X ½¨ l 0AK"fH _DFA {9“Ér s„ ¿º /åJ



\¦ l%3K ôÇ. s„ ¿º /åJH 00, 01, 10, 11 ×æ 
sÙ¼–Ð s

[þt`¦ ©œI–Ð
?/€ )a_. ÕªaË> ₇\"f ©œI {1}s _{00, {1, 2}} 01, {1, 3}s 10, {1, 2, 3}s 11s )a.

25

'

&

$

% 0

1 0

1

0 1

0

1,2 1

1,2,3 1 1,3

ÕªaË> 7:

U

dV 18 \V]j ₁₅_ _NFAü< 1lx1pxôÇ _DFA\¦ ½¨ _.

ÕªaË> _8. s _DFA\"f /BN|9½+Ë`¦
?/H ©œIH ₍†½Ó©œ₎ º¡¤“Ér ©œI s

.

& % 1

0

2

0,1

0 0

1 1 1 0

1 1,3 1,2

ÕªaË> 8:

27

'

&

$

%

V

 5 ⠉ Ç a Ä ªÐ Ï ø  Ë Âø 5  › ïŸ ×  

· ú

¡ ©œ\"f DFA_ ƒ#Q 7áxÀÓü< NFA_ ƒ#Q 7áxÀÓ °ú 6£§`¦ ˜Ð€Œ¤H X<, s]j s ƒ#Q 7áxÀÓ &ñ½©ƒ#Q 7áxÀÓe”`¦ ˜Ðs“¦ ôÇ.

Ç a

h 2 r`¦ &ñ½©d”s“¦ €<sub>, L(r)</sub>`¦ ~ÃÎ[þtsH _NFA ”>rFôÇ



.

¤

ÃZ. &ñ½©d”“Ér &ñ_ 1\ _K ½¨$í÷&Ù¼–Ð yŒ• âĺ\ @/ #Œ 1lx1px ô

Ç NFA e”6£§`¦ ˜Ðs€ )a. s õ&ñ\"f ëߖ[þt#QtH NFAH †½Ó



©

œ 6£§ ›¸| `¦ ëߖ7á¤ôÇ.

• þj7áx©œIH 
s.

• œíl©œI–Ð [þt#QH „sü< þj7áx©œI\"f
H „s \O

.

&

ñ

½©d” ∅, ǫ, a ∈ Σü< 1lx1pxôÇ NFAH ÕªaË> 9õ °ú . &ñ½©d” r, sü< 1lx 1

p

xôÇ NFA\¦ yŒ•yŒ• R, S “¦ € (r + s), (rs), (r^∗)ü< 1lx1pxôÇ NFA



H ÕªaË> 10, 11, 12õ °ú . 2

& % ε a

ÕªaË> 9:

ε ε

ε ε

ÕªaË> 10:

29

'

&

$

% ÕªaË> 11:

ε ε

ε ε

ÕªaË> 12:

& % U

dV 19 &ñ½©d” _{(0 + 11)}^∗ü< 1lx1pxôÇ _NFA\¦ ½¨ _. ÕªaË> _13.

ε ε ε

ε ε

ε ε

ε

1 1

0

ÕªaË> 13:

Ç a

h 3 DFA M_ ƒ#Q _{L(M )}\ @/ #Œ_{, L(M )}`¦ ³ðr H &ñ½©d” s e”.

31

'

&

$

%

¤

ÃZ. M = ({q₁, . . . , qn}, Σ, δ, q₁, F)“¦ . R^k_ij\¦ ks _ ( ñ

\

¦ ”) ©œIëߖ`¦ t
€"f M `¦ qi\"f qj–Ð „srvH Û¼àÔaA _ |9½+Ës“¦ . —¸ŽH ©œIH ns sÙ¼–Ð, R_ijⁿH qi\"f qj–Ð

„



srvH —¸ŽH Û¼àÔaA_ |9½+Ës. "f L(M ) = [

q_j∈F

Rⁿ_1j.

R^k_ijH 6£§õ °ú s F) &hܼ–Ð ½¨K|9 ú e”.

R⁰_ij =







{a : δ(qi, a) = qj} if i 6= j {a : δ(qi, a) = qj} ∪ {ǫ} if i = j

R^k_ij = R^k−_ij ¹∪ R^k−_ik ¹(R^k−_kk¹)^∗R^k−_kj¹ (2) d

” 2_ _pH ks _ ©œI\¦ t
€"f qi\"f qj–Ð l 0AK"fH 1. k − 1s _ ©œI\¦ t
€"f qi\"f qj–Ð ŽHt

& % 2. yŒ• âĺ\ k − 1s _ ©œI\¦ t
€"f, qi\"f qk–Ð “¦ qk\

"

f qk–Ð 0 s©œ íH¨8Š “¦ qk\"f qj–Ð € )aH כ s.

d

” 2\"f R^k_ijH ∗, ·, ∪ ƒíߖ\ _K ³ðr÷&Ù¼–Ð &ñ_ 1\ _K R^k_ij

| 9

½+Ë`¦ ³ðr H &ñ½©d”s e”6£§`¦ k\ @/ôÇ ) ±úšZOܼ–Ð 7£x"î½+É Ãº e

”

. L(M )“Ér yŒ• qj ∈ F \ @/ #Œ R_1jⁿ_ ½+Ë|9½+ËsÙ¼–Ð, s\ @/ôÇ

&

ñ

½©d”•¸ %ir ”>rFôÇ. 2 U

dV 20 \V]j 18_ DFA Mõ 1lx1pxôÇ &ñ½©d”`¦ ½¨ . M\"f q₁ = {1}, q₂ = {2}, q₃ = {1, 3}, q₄ = {1, 2} “¦ . ∅“Ér º¡¤“Ér ©œ I

sÙ¼–Ð “¦9 t ·ú§•¸ )a_. sÊê_ „>h\"f 6£§ d”`¦ s6 x ô

Ç_.

(st)^∗s = (ǫ + st + stst + · · ·)s

= s+ sts + ststs + · · ·

= s(ǫ + ts + tsts + · · ·)

= s(ts)^∗

33

'

&

$

%

| 9

½+Ë _Rij^k\¦
?/H &ñ½©d”`¦ _r^k_ij“¦  ₍7£¤ _R^k_{ij = L(rij}^k_)).

d

”

 ₂\ _K_, ½¨ H &ñ½©d”“Ér

r= r₁₁⁴ + r⁴₁₃+ r⁴₁₄ s

_{. r11}⁴ _{= ǫ}e”`¦ ~1> ·ú˜ ú e”_. r⁴₁₃ = r³₁₃+ r₁₄³ (r₄₄³ )^∗r³₄₃

= 01 + 010(ǫ + 010 + 10)^∗(01 + 1)

= 01 + 010((01 + 1)0)^∗(01 + 1)

= 01 + 01(001 + 01)^∗(001 + 01)

= 01(001 + 01)^∗



ðøÍt–Ð r⁴₁₄ = 010(010 + 10)^∗ s_. "f

r = ǫ+ 01(001 + 01)^∗+ 010(010 + 10)^∗

= ǫ+ (010 + 01)^∗01 + (010 + 01)^∗010

= (010 + 01)^∗

& %

V

 6 ⠉ Ç a Ä ª¥ U ># a˜ + Å ]  ™

Ç a

h 4 &ñ½©ƒ#Q 7áxÀӍH 6£§ ƒíߖ\ @/ #Œ {Œ—)€ e”_{: (1)} ½+Ë|9

½+

Ë_{, (2)} ]X½+Ë, (3) Kleene YL_{, (4)} #Œ|9½+Ë_{, (5)} “§|9½+Ë_.

¤

ÃZ. &ñ½©d”_ &ñ_\ _K &ñ½©ƒ#QH ½+Ë|9½+Ë, ]X½+Ë, Kleene YL\

@

/K {Œ—)€ e”.

(4) &ñ½©ƒ#Q L`¦ ~ÃÎ[þtsH DFA\¦ (Q, Σ, δ, q, F )“¦ . ÕªQ

€

 DFA (Q, Σ, δ, q, Q − F ) #Œ|9½+Ë L = Σ^∗− L`¦ ~ÃÎ[þt“.

(5) 6£§ d”\ _K “§|9½+Ë\ @/ #Œ {Œ—)€ e”.

L₁∩ L₂ = L₁∪ L₂ 2

&

ñ

½©ƒ#Q\ @/ #Œ #ŒQ t |9ëH`¦ ~|9 ú e”. 6£§_ |9ëH\

@

/ #Œ ²úš H ~½ÓZO(·ú˜“¦o7£§)s e”.

35

'

&

$

% U

dV 21 (š¿¢4´%KV) &ñ½©ƒ#Q Lõ Û¼àÔaA w ÅÒ#Q&’`¦ M:_{, w} L\ 5Åq Ht &ñ _.

Ls &ñ½©d”ܼ–Ð ÅÒ#Qt€ Õªü< 1lx1pxôÇ Ä»ôÇ š¸žÐ–Ð õH Êê_, w\¦ {9#Q"f ~ÃÎ[þtsHt &ñôÇ_.

U

dV 22 Ä»ôÇ š¸žÐ _Ms ÅÒ#Q&’`¦ M:, L(M ) = ∅ “t &ñ 



.

M`¦ _DFA–Ð õH Êê_,œíl©œI\"f þj7áx©œI–Ð H â–Ð e”H t

 U·s ĺ‚ „ÃÐҐo(depth-first search)s
 -q ĺ‚ „ÃÐ Ò



o(breadth-first search)\¦ s6 x #Œ SX‰“ôÇ. U

dV 23 ¿º &ñ½©ƒ#Q L₁, L₂ ÅÒ#Q&’`¦ M:_{, L1 = L2} “t &ñ 



_.

L₁ = L₂\¦ 7£x"î l 0AK"fH L₁ ⊆ L₂ü< L₂ ⊆ L₁`¦ ˜Ðs€ )a. L<sub>1</sub> ⊆ L<sub>2</sub>H L<sub>1</sub>∩ L<sub>2</sub> = ∅õ °ú Ü¼Ù¼–Ð<sub>, L1</sub>∩ L<sub>2</sub>\¦ ~ÃÎ[þtsH <sub>DFA</sub> M`¦ ëߖŽH Êê _{L(M ) = ∅} “t SX‰“ôÇ_.

& %

#

Q‹" ƒ#Q &ñ½©ƒ#Q _”`¦ ˜Ðsl 0AK"fH 6£§ &ño\¦ 6 x ô

Ç.

Ç a

h 5 (Š\è« Çah) L`¦ ÁºôÇ &ñ½©ƒ#Q“¦ €<sub>,</sub> 6£§`¦ ëߖ7ᤠ





H €ªœ_ &ñú t ”>rFôÇ_. U´s t s©œ“ e”__ Û¼àÔaA w ∈ LH _{w= xyz}–Ð ³ð‰&³÷& 9 #Œl"f

1. |xy| ≤ t, 2. |y| ≥ 1,

3. —¸ŽH _{i≥ 0}\ @/ #Œ _xyⁱ_{z ∈ L} s_.

¤

 ÃZ. Ls &ñ½©ƒ#QsÙ¼–Ð L`¦ ~ÃÎ[þtsH DFA

M = (Q, Σ, δ, q₀, F) ”>rFôÇ. M _ ©œI_ Ì ú\¦ t .

w= a₁a₂· · · an (n ≥ t)\ @/ #Œ δ^∗(q₀, a₁· · · ai) = qi“¦ .

M “Ér t >h_ ©œIëߖ`¦ tÙ¼–Ð, %ƒ6£§ t + 1 >h_ ©œI q₀, q₁, . . . , qt „ÂÒ \¦ úH \O. 7£¤ qj = qk“ ¿º ú j, k (0 ≤ j < k ≤ t) ”>rFôÇ.

37

'

&

$

%

q

...

a a

a a

n k+1 k

j+1

1 aj

q q

... ...

0 j n

ÕªaË> 14:

x= a₁· · · aj, y = aj+1· · · ak, z = ak+1· · · ans“¦ €, |xy| ≤ ts

“¦ |y| ≥ 1s. w ∈ LsÙ¼–Ð qn ∈ F s. "f —¸ŽH i ≥ 0\ @/K

"

f δ^∗(q₀, xyⁱz) = qnsÙ¼–Ð xyⁱz ∈ Ls. 7£¤ L\ 5ÅqôÇ Øæìry | Û

¼àÔaA“Ér [j ÂÒìrܼ–Ð
Ðüt ú e”HX<, ×æçߖ ÂÒìr“ y\¦ Y>  *3áÔ

| 9

 ŽHt Õª õH %ir L\ 5ÅqôǍH _p–Ð *3áÔ &ñoH 6 x

#

Q\¦ 6 xôÇ. 2

* 3

áÔ &ño\¦ &h6 x #Œ ƒ#Q Ls &ñ½©ƒ#Q _”`¦ ˜Ðs“¦ ½+É M:



H ) ÀÓZO`¦ 6 xôÇ. 7£¤ Ls &ñ½©ƒ#Q“¦ &ñ “¦, *3áÔ &ño

& %

\

 —¸íHH†d`¦ ˜Ðs€ )a. *3áÔ &ño ×æ tü< xyzH ‘”>rFôÇ’H ›¸

|

`¦ °ú“¦, wü< iH ‘—¸ŽH’_ ›¸| `¦ tÙ¼–Ð 6£§õ °ú s 7£x"î`¦

„



>hôÇ. (tü< xyzH ”>rFôǍH z´ëߖ ·ú˜“¦ z´]j °úכ`¦ —¸ØÔÙ¼–Ð

#

Q‹" °úכ\ @/K"fŽHt 7£x"î½+É Ãº e”#Q ÷&“¦, wü< iH —¸ŽH °úכ\

@

/K"f $íwn Ù¼–Ð 7£x"î\ ©œ Ä»oôÇ °úכ`¦ ‚×þ˜ € )a.) 1. ©œ@/~½Ó(adversary)s t\¦ ‚×þ˜ôÇ.

2. U´s t s©œ“ w ∈ L\¦ ‚×þ˜ôÇ.

3. ©œ@/~½Ós w\¦ |xy| ≤ t, |y| ≥ 1 ›¸| `¦ ëߖ7á¤rvH x, y, z–Ð
 è

H.

4. i\¦ ‚×þ˜ #Œ xyⁱz L\ 5Åq t ·ú§6£§`¦ ˜Ð“.

s

 õ&ñ ×æ\"f ©œ ×æכ¹ôÇ כ “Ér 2 éߖ>–Ð"f w\¦ ‚×þ˜½+É M:, 3 éߖ

>

\"f ©œ@/~½Ós x, y, z\¦ ‚×þ˜½+É #Œt &h#Qt•¸2Ÿ¤ #Œ ôÇ.

U

dV 24 L = {0ⁿ1ⁿ: n ≥ 0}“Ér &ñ½©ƒ#Q _”`¦ 7£x"î . Ls &ñ½©ƒ#Q“¦ &ñ . ÕªQ€ &ño 5\¦ ëߖ7ᤠH €ªœ_ &ñú t ”>rFôÇ<sub>.</sub> Û¼àÔaA <sub>w= 0</sub><sup>t</sup><sub>1</sub><sup>t</sup> <sub>∈ L</sub>`¦ “¦9 _{. |xy| ≤ t}sÙ¼–Ð _yH

39

'

&

$

% 0^k (1 ≤ k ≤ t) s#Q ôÇ_. ÕªQ€ _{i= 0}{9 M: ₀^t−k₁^t“Ér _L\ 5Åq 

t

 ·ú§Ü¼Ù¼–Ð &ño ₅\ —¸íH)a_. U

dV 25 L = {uu : u ∈ {0, 1}^∗}H &ñ½©ƒ#Q _”`¦ 7£x"î _. U

dV 26 L = {aⁿ² : n ≥ 1}H &ñ½©ƒ#Q _”`¦ 7£x"î _. U

dV 27 L = {0^m1ⁿ : m 6= n}“Ér &ñ½©ƒ#Q _”`¦ 7£x"î _. Ls &ñ½©ƒ#Q“¦ &ñ €_, &ño ₅\¦ ëߖ7ᤠH t ”>rFôÇ_. s

â

ĺ w= 0^t1^t+1`¦ ‚×þ˜ €, ©œ@/~½Ó“Ér y= 00\¦ ‚×þ˜ #Œ &ñ o

 ₅ ëߖ7á¤÷&Ù¼–Ð 7£x"î\ z´J > )a_."f ©œ@/~½Ós #Q‹" y = 0^k\¦ ‚×þ˜ ŽHt *3áÔ|9 ˜Ð€ ₁_ >húü< °ú t•¸2Ÿ¤ w\¦

¸ ú

š )a.7£¤ w= 0^t!1^(t+1)!`¦ ‚×þ˜ôÇ. |xy| ≤ tsÙ¼–Ð y = 0^k (1 ≤ k ≤ t) s#Q ôÇ_. ÕªQ€

i = tt!

k + 1 {

9

 M:, xyⁱz = 0^t!0^k(i−1)1^(t+1)! = 0^(t+1)!1^(t+1)!sÙ¼–Ð L\ 5Åq t ·ú§



 H_.

& %

˜

Ð çߖéߖôÇ 7£x"î“Ér 6£§õ °ú _{. L}s &ñ½©ƒ#Q“¦ &ñ _.Õª

Q€ L∩ L(0^∗1^∗)H &ñ½©ƒ#Qs.ÕªX< s ƒ#Q

{0ⁿ1ⁿ : n ≥ 0}sÙ¼–Ð —¸íHs_.

V

 7 ⠉ Ë Âø 5  › ïŸ ×  ˜ + £  £ 

Ä

»ôÇ š¸žÐH 7Hor–Ð [O>\ Fg#30A > 6 x)a.

U

dV 28 Jow Žl(parity checker)H _{0, 1}–Ð ½¨$í)a Û¼àÔaA`¦ {

9

#Q"f 1_ >hú\¦ Ž H r–Ðs. ‹Œ•Ãº(f.Ëú) Jow Žl





H ₁_ >hú ‹Œ•Ãº₍f.Ëú₎{9 M: ~ÃÎ[þtsH r–Ðs_.\V]j ₉_ DFAH ‹Œ•Ãº Jow Žl\¦
·p_. s _DFA\ @/ôÇ ×¼J?#Q

½

¨‰&³“Ér [Ka]\¦ ‚ÃГ¦ . U

dV 29 õ ôÇ 4Ÿxt\ ₂₀₀"é¶ ~Ã΍H 1lxóøÍBl e”HX<_, sכ “Ér 100"é¶s
 50"é¶ 1lx„`¦ ~ÃÎ"f 200"é¶s ÷&€ õ ôÇ 4Ÿxt\¦ ?/˜Ð



·

p_{. 100}"é¶ 1lx„`¦ <sub>a</sub>–Ð<sub>, 50</sub>"é¶ 1lx„`¦ _b–Ð ³ðr½+É M:_, s 1lxóøÍB

41

'

&

$

% l

_ ]j#Ql\¦ [O> _.

ÕªaË> 15. s ÕªaË>\"f 150"é¶ ~ÃΓÉr ©œI\"f 100"é¶s ÅÒ#QtH âĺ

 \O6£§\ Ä»_ _{. (}7£¤ „s†<Êú ÂÒìr†<Êús_.) s ]j#QlH

&

ñ

SX‰ > ₂₀₀"é¶s ÅÒ#Q&’`¦ M:ëߖ Œ•1lxôÇ<sub>.</sub>Û¼2£§Ž7H`¦ ?/#QÅÒl 0

AK"fH ]j#Ql 8 4Ÿ¤¸úšK4R )a_.

b

b b

0

a

a

a

100 b 200

50 150

ÕªaË> 15:

&

ñ

½©d”`¦ Ä»ôÇ š¸žÐ–Ð ¨8Š H כ •¸ #ŒQ /BM\ 6£x6 x)a.

U

dV 30 Pascal ƒ#Q\"f ú s2£§“Ér ôÇ >h_ %òëH +'\ %òëH

& %

¢

¸H Õüw\¦ ìøÍ4Ÿ¤&hܼ–Ð ·¡­“ כ sÙ¼–Ð_, (letter)(letter + digit)^∗

–

Ð ³ðr½+É Ãº e”_. #Œl\"f _letterH A+ B + · · · + Z\¦
?/“¦ digit“Ér 0 + 1 + · · · + 9\¦
·p. FORTRAN ƒ#Q\"f ú s2£§

“ É

r _Pascal ƒ#Qü< ðøÍts
 U´s þj@/ ₆sÙ¼–Ð (letter)(ǫ + letter + digit)⁵

Ü

¼–Ð ³ðr½+É Ãº e”_. (Ž{9QH 0A_ &ñ½©d”`¦ Ä»ôÇ š¸žÐ–Ð



˨#Q"f áԖÐÕªÏþ›`¦ {9`¦ M: ú s2£§`¦ “d”ôÇ_. U

dV 31 Unix_ _egrep "î§î#QH 6£§õ °ú “Ér +þAI–Ð 6 x)a_. egrep ^′exp^′ file

#

Œl\"f _expH &ñ½©d”s“¦ _file“Ér {9_ s2£§s_{. Unix}\"f &ñ

½©d” r+ s, rs, r^∗, r⁺, r+ ǫH yŒ•yŒ• r|s, rs, r*, r+, r?–Ð ³ðr)a_. s

 "î§î#QH file_ צ[þt`¦ YV–Ð {9ܼ€"f yŒ• צ\ exp\ 5ÅqôÇ

43

'

&

$

% Û

¼àÔaAs Ÿí†<Ê÷&#Q e”ܼ€ Õª צ`¦ ئ§4ôÇ_.\V\¦ [þt€ egrep ^′(aa|bb) +^′ file

\

"f _files ababab, aaaa, ccbbaacc [j צ–Ð ½¨$í÷&#Q e”ܼ€ s

"

î

§î#QH aaaaü< ccbbaacc\¦ ئ§4ôÇ. s âĺ exp\ 5ÅqôÇ Û¼àÔ a

A _w yŒ• צ_ ÂÒìrÛ¼àÔaAs |¨c ú e”ܼټ–Ð_{, w} ·ú¡\ #Q‹" כ sŽH t

 ·¡­`¦ ú e”•¸2Ÿ¤ &ñ½©d” <sub>Σ</sub><sup>∗</sup><sub>exp</sub>\¦ “¦9 #Œ ôÇ<sub>. egrep</sub>“Ér Σ<sup>∗</sup>exp\¦ NFA–Ð õH Êê yŒ• צ`¦ {9 þj7áx©œI\ •¸²ú˜ € Õª

×



¦`¦ ئ§4ôÇ_.

V

 8 ⠉ Ë Âø 5  › ïŸ ×  ˜ + i ¦š ¿ ª

DFA\¦ s6 x #Œ 7Hor–Ð\¦ [O>½+É M:, 0pxôÇ ôÇ DFA_ ©œI >h Ã

º\¦ &h> H כ s €9כ¹ . ‘:r ]X\"fH &ñ½©ƒ#Q Ls ÅÒ#Q&’

`

¦ M: L`¦ ~ÃÎ[þtsH, ©œI_ >hú þj™è“ DFA\¦ ¹1ԍH ~½ÓZO`¦ l

ÕütôÇ.

& %

€



$ L`¦ ~ÃÎ[þtsH e”__ DFA M = (Q, Σ, δ, q₀, F)\¦ ëߖŽH.

Ó ü

t:r œíl©œI\"f •¸²ú˜½+É Ãº \OH ©œI[þt“Ér ~1> ]j½+É Ãº e”.



"f M _ —¸ŽH ©œI[þt“Ér œíl©œI\"f •¸²ú˜½+É Ãº e”“¦ &ñôÇ

.

U

dV 32 ÕªaË> ₁₆_ _DFA\¦ “¦9 _.

45

'

&

$

%

q q q

q q q

1 2 3

4 5 6

1

1 1

1 1 1

0 0

0

0 0

0

ÕªaË> 16:

s

]j M _ #Q‹" ©œI[þt`¦ 
_ ©œI–Ð Óü`¦ ú e”Ht ¹1ԓ¦ ôÇ

. s\¦ 0AK M _ ©œI[þt p, q ∈ Q\ @/ #Œ 6£§_ ›'a>\¦ &ñ_ ô

Ç.

& %

—

¸ŽH Û¼àÔaA x ∈ Σ^∗\ @/ #Œ δ^∗(p, x) ∈ F“ âĺ\ëߖ δ^∗(q, x) ∈ F{9 M: p ∼ q“¦ &ñ_ôÇ.

7

£¤ pü< q sÊê\ #Q‹" Û¼àÔaAs š¸ŽHt ²DG ¿º âĺ  M s ~ÃÎ [

þ

tsŽHt ¿º âĺ  M s ~ÃÎ[þtst ·ú§l M:ëH\ pü< qH ôÇ ©œI

–

Ð Óü`¦ ú e”H כ s. ÕªaË> 16\"f q<sub>2</sub> ∼ q<sub>5</sub>e”`¦ ~1> SX‰“½+É Ãº e

”

.

€



$ ∼“Ér &ñ_\ _K"f ìøÍ&hs“¦ @/gA&hs“¦ s'Ÿ&hsÙ¼–Ð 1lx u

›'a>s. "f M _ ©œI[þts ∼\ _K 1lxuÀÓ[þt–Ð ìr½+É÷&“¦ ô

Ç 1lxuÀÓ\ 5ÅqôÇ ©œI[þt`¦ ôÇ ©œI–Ð Óüܼ9“¦ ôÇ.

∼_ 1lxuÀÓ[þt`¦ éߖ>&hܼ–Ð ½¨ l 0AK ∼n`¦ &ñ_ôÇ. U´s n s

 “ —¸ŽH Û¼àÔaA x\ @/ #Œ δ^∗(p, x) ∈ F“ âĺ\ëߖ

δ^∗(q, x) ∈ F{9 M: p ∼n qs. s]j ∼₀_ 1lxuÀÓ[þt, ∼₁_ 1lxuÀÓ[þt

`

¦ YV–Ð ½¨  ∼n_ 1lxuÀÓ[þtõ ∼n+1_ 1lxuÀÓ[þts 1lx{9 

€



 sכ s (∼õ ∼n_ &ñ_\ _K) ∼_ 1lxuÀÓ[þts )a.

47

'

&

$

%

∼₀_ 1lxuÀӍH F ü< Q − F e”`¦ ~1> ·ú˜ ú e”. ∼n_ 1lxuÀÓ[þts Å

Ò#Q&’`¦ M: ∼_n+1_ 1lxuÀÓ[þt“Ér 6£§ d”\ _K ½¨½+É Ãº e”.

p∼nqs“¦ —¸ŽH a ∈ Σ\ @/ #Œ δ(p, a) ∼nδ(q, a){9 âĺ

\

ëߖ p ∼n+1 qs.

∼_ 1lxuÀÓ[þts ½¨Kt€, M = (Q, Σ, δ, q₀, F)ܼ–ÐÂÒ' Dh–Ðîr DFA M = (Q^′,Σ, δ^′, q₀^′, F^′)`¦ ëߖ[þt ú e”.

• Q^′“Ér ∼_ 1lxuÀÓ[þt_ |9½+Ës.

• M \"f δ(p, a) = qs€ M^′\"f δ^′([p], a) = [q]s.

• œíl©œI q^′“Ér [q₀]s.

• q ∈ F s€ [q] ∈ F s.

U

dV 33 ÕªaË> ₁₆_ _DFA\ @/ #Œ _∼_ 1lxuÀÓ\¦ éߖ>&hܼ–Ð ½¨ 

€



 6£§õ °ú _.

∼₀ : {q1, q₂, q₄, q₅}, {q₃, q₆}

∼₁ : {q₁, q₄}, {q₂, q₅}, {q₃}, {q₆}

& %

∼₂ : {q₁, q₄}, {q₂, q₅}, {q₃}, {q₆}

∼_ 1lxuÀӍH W1 >hs“¦_,"f W1 >h_ ©œI\¦ ” _DFA\¦ ëߖ[þt ú e”.sXO> ëߖ[þt#Q” DFA ÕªaË> 7_ DFAs.

Ç a

h 6 (Myhill-Nerode) &ñ½©ƒ#Q L`¦ ~ÃÎ[þtsH þj™è >h_ ©œ I

\¦ ” DFAH Ä»{9 _.

Myhill-Nerode_ &ño\¦ s6 x #Œ 0A\"f ëߖ[þt#Q” M^′s þj™è >h _

 ©œI\¦ ” DFAe”`¦ 7£x"î½+É Ãº e” [HU]. ÕªQÙ¼–Ð &ñ½©ƒ#Q L`¦ ~ÃÎ[þtsH þj™è ©œI DFA\¦ ½¨ l 0AK"fH L`¦ ~ÃÎ[þts



H e”__ DFA M `¦ ëߖŽH Êê M ܼ–ÐÂÒ' ∼`¦ s6 x #Œ þj™è >h_



©

œI\¦ ” DFA M^′`¦ ëߖ[þt€ )a.

49