¿¹) 1. context-free ¹®¹ýÀÇ ¿¹
G = ({S, C}, {a, b}, P, S)
P : S ¡æ aCaC ¡æ aCaC ¡æ b
-----> L(G) = {anban | n ¡Ã 0}
2. regular ¹®¹ýÀÇ ¿¹
G = ({S, B, C}, {a, b}, P, S)
P : S ¡æ aSS ¡æ aBB ¡æ bC
C ¡æ aCC ¡æ a
-----> L(G) = {anbam | n, m ¡Ã 1}
(note) BNF³ª syntax graph·Î Ç¥ÇöµÇ´Â Grammar = context-free grammar(CFG)
Á¦ 3 Àå Á¤±Ô ¾ð¾î
¢º Á¤±Ô¾ð¾î(regular language) : tokenÀÇ ÇüŸ¦ ±â¼úÇÏ´Â µ¥ »ç¿ë
Ç¥Çö¹æ¹ý : Á¤±Ô ¹®¹ý(regular grammar), Á¤±Ô Ç¥Çö(regular expression), À¯ÇÑ ¿ÀÅ丶Ÿ
(finite autommata)
3.1 Á¤±Ô ¹®¹ý°ú Á¤±Ô ¾ð¾î
¢º Á¤±Ô ¹®¹ý : N. ChomskyÀÇ type 3 grammar
¢º compilerÀÇ ¾îÈֺм® °úÁ¤¿¡¼ ÀνĵǴ ÅäÅ«(¾îÈÖ)ÀÇ ±¸Á¶¸¦ Ç¥Çö
¢º right-linear Grammar(A ¡æ aB)¿Í left-linear Grammar(A ¡æ Ba)
(Á¤ÀÇ 3.1) °¢ »ý¼º ±ÔÄ¢ÀÇ ÇüÅ°¡ ´ÙÀ½°ú °°À» ¶§ Á¤±Ô ¹®¹ýÀ̶ó°í ÇÑ´Ù.
(1) A ¡æ aB, A ¡æ a, ¿©±â¼ a ¡ô VTÀÌ°í A, B ¡ô VN
(2) ¸¸¾à S ¡æ ¥åÀ̸é, S°¡ ´Ù¸¥ productionÀÇ ¿À¸¥ÂÊ¿¡ ³ªÅ¸³ªÁö ¾Ê¾Æ¾ß ÇÑ´Ù.
¿¹) S ¡æ aA, S ¡æ bB, S ¡æ b, A ¡æ bA, A ¡æ a, B ¡æ bS
(ÁÖ) Á¤±Ô ¡¦(»ý·«)
|
X = ¥á*¥â·Î Çظ¦ ±¸ÇÑ´Ù.
¨ê ½ÃÀÛ symbol·Î µÈ X = ¥áX + ¥âÀÇ ÇØ°¡ L(G) ÀÌ´Ù.