Slide 18
Slide 18 text
TIJGUKTJOGP
ਖ਼نදݱͱηΩϡϦςΟ
ભҠͱडཧ
ਖ਼نදݱͷཧͱ࣮
‣ ඇܾఆੑ
༗ݶΦʔτϚτϯ ʹ͍ͭͯͷఆٛ
‣ ભҠͭ ΛભҠͱݺͿɻ
‣ डཧ͢Δͭͷ༻๏
‣ ه߸ྻ ʹ͍ͭͯɺ ͕ଘࡏ͠ɺ
͔ͭ ͕Γཱͭͱ͖ɺ
ه߸ྻ Λडཧ͢Δͱ͍͏ɻ
‣ ͱఆٛͨ࣌͠ʹɺ Λ ͷडཧ
ݴޠͱݺͼɺ͋Δݴޠ ʹ͍ͭͯ Ͱ͋Δ͜ͱΛ ͕ Λडཧ
͢Δɺͱ͍͏ɻ
M = (Q, Σ, δ, q0
, F)
(p, a, q) ∈ δ
w = c1
c2
. . . cn
q1
, q2
, . . . , qn
∈ Q
(q0
, c1
, q1
), (q1
, c2
, q2
), . . . , (qn−1
, cn
, qn
) ∈ δ qn
∈ F M
w
L(M) = {w ∈ Σ*|MwΛडཧ͢Δ} L(M) M
L L = L(M) M L