νƒœκ·Έ 보관물: context-free

context-free

κΈ°λ³Έ μ–Έμ–΄ 및 ν΄λ‘œμ € μ†μ„±μ—μ„œ λͺ¨λ“  μ»¨ν…μŠ€νŠΈ 프리 μ–Έμ–΄λ₯Ό μž‘μ„± ν•˜μ‹œκ² μŠ΅λ‹ˆκΉŒ? 빈 μ–Έμ–΄, 빈 λ¬Έμžμ—΄μ„ ν¬ν•¨ν•˜λŠ” μ–Έμ–΄

μ •κ·œ ν‘œν˜„μ‹μ„ λ³΄λŠ” ν•œ 가지 방법은 λ‹€μŒ 사싀에 λŒ€ν•œ 건섀적인 μ¦κ±°μž…λ‹ˆλ‹€. μž‘μ€ μ–Έμ–΄λ‘œ μ‹œμž‘ν•˜μ—¬ μž‘μ€ κ³ μ • 된 ν΄λ‘œμ € 속성 μ„ΈνŠΈλ₯Ό 톡해 μ •κ·œ μ–Έμ–΄λ₯Ό μ‘°ν•©ν•˜μ—¬ 일반 μ–Έμ–΄λ₯Ό ꡬ성 ν•  수 μžˆμŠ΅λ‹ˆλ‹€. 특히 빈 μ–Έμ–΄, 빈 λ¬Έμžμ—΄μ„ ν¬ν•¨ν•˜λŠ” μ–Έμ–΄ 및 λͺ¨λ“  단일 문자 λ¬Έμžμ—΄μ˜ μ–Έμ–΄λ‘œ μ‹œμž‘ν•˜λ©΄ 곡용체, μ—°κ²° 및 Kleene μŠ€νƒ€λ₯Ό μ‚¬μš©ν•˜μ—¬ κ°€λŠ₯ν•œ λͺ¨λ“  μ •κ·œ μ–Έμ–΄λ₯Ό μ–΄μ…ˆλΈ” ν•  수 μžˆμŠ΅λ‹ˆλ‹€.

μ»¨ν…μŠ€νŠΈμ—†λŠ” μ–Έμ–΄λ₯Ό λͺ¨λ‘ μƒμ„±ν•˜λŠ” 데 μ‚¬μš©ν•  μˆ˜μžˆλŠ” κΈ°λ³Έ μ–Έμ–΄ 및 ν΄λ‘œμ € 속성 μ„ΈνŠΈκ°€ μžˆμŠ΅λ‹ˆκΉŒ? (λͺ…ν™•ν•˜κ²Œ : λ‚˜λŠ” 당신이 λͺ¨λ“  CFL에 λŒ€ν•΄ μ •κ·œ ν‘œν˜„μ‹μ„ μž‘μ„±ν•  수 μžˆλŠ”μ§€ 묻지 μ•ŠμŠ΅λ‹ˆλ‹€. λΆˆκ°€λŠ₯ν•©λ‹ˆλ‹€. λŒ€μ‹ , CFL을 μœ„ν•΄ μ •κ·œ ν‘œν˜„μ‹κ³Ό 같은 ν”„λ ˆμž„ μ›Œν¬λ₯Ό λ””μžμΈν•˜λŠ” 방법이 μžˆλŠ”μ§€ κΆκΈˆν•©λ‹ˆλ‹€. λ™μΌν•œ κΈ°λ³Έ 원칙.)



λ‹΅λ³€

D2

{[,],(,)}

a1,b1,a2,b2

D2

D2

M(D2)

g(hβˆ’1(D2)∩R)

g

h

R

R

g

h

D2

L↦g(hβˆ’1(L)∩R)

g,h,R

λ‹΅λ³€