ํƒœ๊ทธ ๋ณด๊ด€๋ฌผ: regular-expressions

regular-expressions

๊ธฐ๋ณธ ์–ธ์–ด ๋ฐ ํด๋กœ์ € ์†์„ฑ์—์„œ ๋ชจ๋“  ์ปจํ…์ŠคํŠธ ํ”„๋ฆฌ ์–ธ์–ด๋ฅผ ์ž‘์„ฑ ํ•˜์‹œ๊ฒ ์Šต๋‹ˆ๊นŒ? ๋นˆ ์–ธ์–ด, ๋นˆ ๋ฌธ์ž์—ด์„ ํฌํ•จํ•˜๋Š” ์–ธ์–ด

์ •๊ทœ ํ‘œํ˜„์‹์„ ๋ณด๋Š” ํ•œ ๊ฐ€์ง€ ๋ฐฉ๋ฒ•์€ ๋‹ค์Œ ์‚ฌ์‹ค์— ๋Œ€ํ•œ ๊ฑด์„ค์ ์ธ ์ฆ๊ฑฐ์ž…๋‹ˆ๋‹ค. ์ž‘์€ ์–ธ์–ด๋กœ ์‹œ์ž‘ํ•˜์—ฌ ์ž‘์€ ๊ณ ์ • ๋œ ํด๋กœ์ € ์†์„ฑ ์„ธํŠธ๋ฅผ ํ†ตํ•ด ์ •๊ทœ ์–ธ์–ด๋ฅผ ์กฐํ•ฉํ•˜์—ฌ ์ผ๋ฐ˜ ์–ธ์–ด๋ฅผ ๊ตฌ์„ฑ ํ•  ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค. ํŠนํžˆ ๋นˆ ์–ธ์–ด, ๋นˆ ๋ฌธ์ž์—ด์„ ํฌํ•จํ•˜๋Š” ์–ธ์–ด ๋ฐ ๋ชจ๋“  ๋‹จ์ผ ๋ฌธ์ž ๋ฌธ์ž์—ด์˜ ์–ธ์–ด๋กœ ์‹œ์ž‘ํ•˜๋ฉด ๊ณต์šฉ์ฒด, ์—ฐ๊ฒฐ ๋ฐ 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

๋‹ต๋ณ€