Á¤±Ô¹®¹ýÀ» Á¤±ÔÇ¥ÇöÀ¸·Î º¯°æ½Ã ¾Æ·¡ µÎ°¡Áö ÇüŸ¦ ¾Ë¾ÆµÎ¸é ÆíÇÏ°Ô Á¤±Ô ¼ö½ÄÀ¸·Î º¯°æÀÌ °¡´ÉÇÏ´Ù.
(°ø½Ä 1) ´ÙÀ½°ú °°Àº À¯µµ¸¦ º¸ÀÏ ¶§
A -> A α | βÀ̸¦ Á¤±Ô ¼ö½ÄÀ¸·Î ¹Ù²Ù¾î º¸ÀÚ.
(Ç®ÀÌ) A ´Â A α ȤÀº β ·Î À¯µµµÉ ¼ö ÀÖÀ¸¹Ç·Î
Á¤±Ô Ç¥ÇöÀ» ³ªÅ¸³»¸é
A = A α + β = β · α*
(°ø½Ä 2) ´ÙÀ½°ú °°Àº À¯µµ¸¦ º¸ÀÏ ¶§
A -> α A | βÀ̸¦ Á¤±Ô ¼ö½ÄÀ¸·Î ¹Ù²Ù¾î º¸ÀÚ.
(Ç®ÀÌ)
Á¤±Ô Ç¥ÇöÀ» ³ªÅ¸³»¸é
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