next up previous
Next: Finite Automata Up: Á¤±Ô¹®¹ýÀ» ÄÄÇ»·Î ±¸ÇöÇϱâ Previous: Á¤±Ô¹®¹ýÀ» ÄÄÇ»·Î ±¸ÇöÇϱâ

Á¤±Ô ¹®¹ýÀ» Á¤±Ô Ç¥ÇöÀ¸·Î º¯°æ

Á¤±Ô ¹®¹ýÀ» Á¤±Ô ¾ð¾î·Î º¯°æ½Ã Áß°£ ±âÁ¡À¸·Î Á¤±Ô Ç¥ÇöÀ» »ç¿ëÇÏ¸é ½±°Ô Á¤±Ô ¹®¹ýÀ¸·Î º¯°æÀÌ °¡´ÉÇÑ´Ù.

Á¤±Ô¹®¹ýÀ» Á¤±ÔÇ¥ÇöÀ¸·Î º¯°æ½Ã ¾Æ·¡ µÎ°¡Áö ÇüŸ¦ ¾Ë¾ÆµÎ¸é ÆíÇÏ°Ô Á¤±Ô ¼ö½ÄÀ¸·Î º¯°æÀÌ °¡´ÉÇÏ´Ù.

(°ø½Ä 1) ´ÙÀ½°ú °°Àº À¯µµ¸¦ º¸ÀÏ ¶§

A -> A α | β
À̸¦ Á¤±Ô ¼ö½ÄÀ¸·Î ¹Ù²Ù¾î º¸ÀÚ.

(Ç®ÀÌ) A ´Â A α ȤÀº β ·Î À¯µµµÉ ¼ö ÀÖÀ¸¹Ç·Î

ÀÌ ¹®¹ýÀ¸·Î ¸¸µé ¼ö ÀÖ´Â ½ºÆ®¸µÀº β ·Î ½ÃÀÛÇÏ°í α ¸¦ 0 °³ ÀÌ»ó ¸¸µé ¼ö ÀÖ´Â ½ºÆ®¸µÀ» ÀνÄÇÒ ¼ö ÀÖ´Ù.

Á¤±Ô Ç¥ÇöÀ» ³ªÅ¸³»¸é

A = A α + β = β · α*

(°ø½Ä 2) ´ÙÀ½°ú °°Àº À¯µµ¸¦ º¸ÀÏ ¶§

A -> α A | β
À̸¦ Á¤±Ô ¼ö½ÄÀ¸·Î ¹Ù²Ù¾î º¸ÀÚ.

(Ç®ÀÌ)

ÀÌ´Â 0 °³ ÀÌ»óÀÇ α ·Î ½ÃÀÛÇÏ°í , β ·Î Á¾·áÇÏ´Â ½ºÆ®¸µÀ» ÀνÄÇÏ´Â ¹®¹ýÀÌ´Ù.

Á¤±Ô Ç¥ÇöÀ» ³ªÅ¸³»¸é

A = α · A + β = α* ·β

(º¸±â) Á¤±Ô Ç¥ÇöÀ» ÀÌ¿ëÇÏ¿© ´ÙÀ½ Á¤±Ô ¹®¹ýÀÌ »ý¼ºÇÏ´Â ¾ð¾î¸¦ ±¸Çغ¸ÀÚ.

G=( { A } , {a,b,c} , P , A )

P: A -> aA | bA | c

(Ç®ÀÌ) À¯µµ ±ÔÄ¢À» Á¤±Ô Ç¥ÇöÀ¸·Î ³ªÅ¸³»¸é

A = aA + bA + c
  = (a+b)A + c
À§ ½ÄÀº A = α A + β Çü½ÄÀ̹ǷÎ
A = (a + b)* · c
ÀÌ´Â a ,b °¡ ÀÓÀÇ ¼ö ¸¸Å­ ¿Ã¼ö ÀÖ°í ¸¶Áö¸·Àº c ·Î ³¡³ª´Â ½ºÆ®¸µÀ» ÀνÄÇÒ ¼ö ÀÖ´Â ¹®¹ýÀÌ´Ù.

ÀÌ ¹®¹ýÀÌ »ý¼ºÇÏ´Â ¾ð¾î´Â

L(G)={ (a + b)n · c | n >=0 } ###

(À¯Á¦1) Á¤±Ô Ç¥ÇöÀ» ÀÌ¿ëÇÏ¿© ´ÙÀ½ Á¤±Ô ¹®¹ýÀÌ »ý¼ºÇÏ´Â ¾ð¾î¸¦ ±¸Çغ¸ÀÚ.

G=( {A,B} , {a,b}, P, A)

P: A -> aB
   B -> bB | b

(À¯Á¦2) Á¤±Ô Ç¥ÇöÀ» ÀÌ¿ëÇÏ¿© ´ÙÀ½ Á¤±Ô ¹®¹ýÀÌ »ý¼ºÇÏ´Â ¾ð¾î¸¦ ±¸Çغ¸ÀÚ.

G=( {S,R},{a,b},P,S)

P: S -> aS | bR | ε
   R -> aS



www.dovelet.com
2002-08-20