Formal  Grammar

 

ÄÄÇ»ÅÍ°úÇп¡¼­ Çü½Ä¹®¹ý (formal grammar) ´Â Çü½Ä¾ð¾î (formal language) ¸¦ Á¤¹ÐÇÏ°Ô ¹¦»çÇÏ´Â Ãß»óÀû ±¸Á¶ÀÌ´Ù. ´Ù½Ã¸»ÇÏ¸é ¾ËÆĺªÀ» »ç¿ëÇÏ¿© À¯ÇѱæÀÌÀÇ ¹®ÀÚ¿­ (strings) À» ¼öÇÐÀûÀ¸·Î ±â¼úÇÏ´Â ±ÔÄ¢ÀÇ ÁýÇÕÀÌ´Ù. Çü½Ä¹®¹ýÀº Àΰ£ÀÌ »ç¿ëÇÏ´Â ¾ð¾îÀÇ ¹®¹ý¿¡¼­ À¯ÃßÇÏ¿© Áö¾îÁø À̸§ÀÌ´Ù. Çü½Ä¹®¹ýÀº µÎ°³ÀÇ ÁÖ¿ä Ä«Å×°í¸® Áï generative and analytic À¸·Î ±¸ºÐÇÑ´Ù.

ÁÙ¿©¼­ ¾ê±âÇÏÀÚ¸é ºÐ¼®¹®¹ýÀº ¾î¶² ¾ð¾î¸¦ ¾î¶»°Ô ÀÐÀ» (read) °ÍÀÎÁö¸¦ ¹¦»çÇϸç, »ý¼º¹®¹ýÀº ¾î¶»°Ô ¾µ (write) °ÍÀÎÁö¸¦ ¹¦»çÇÑ´Ù.  ............ (Wikipedia : Formal grammar)

ÃνºÅ° °èÃþ (Chomsky Hierarchy) ´Â Çü½Ä¾ð¾î (Formal Language) ¸¦ »ý¼ºÇÏ´Â Çü½Ä¹®¹ý (Formal Grammar) µéÀ» ºÐ·ùÇØ ³õÀº °èÃþ±¸Á¶ÀÌ´Ù. 1956 ³â¿¡ Noam Chomsky °¡ óÀ½ ¼­¼úÇÏ¿´´Ù.

term :

¾ð¾îÇÐ (Linguistics)   Àΰø¾î (Artificial Language)   ÀΰøÁö´É (Artificial Intelligence)   ÃνºÅ° °èÃþ (Chomsky Hierarchy)   ¿ÀÅ丶Ÿ (Automata)   »ý¼º¹®¹ý (Generative Grammar)   Çü½Ä¾ð¾î (Formal Language)   Çü½Ä¹®¹ý (Formal Grammar)

site :

Wikipedia : Formal grammar

Çѱ¹¾ð¾îÁ¤º¸ÇÐȸ (Korean Society for Language and Information) : 1981³â  ¼­¿ï Çü½Ä¹®¹ýÀÌ·Ð ¿¬±¸È¸ ¼³¸³ ....   1995³â Àü±¹±Ô¸ðÀÇ Çѱ¹ ¾ð¾îÁ¤º¸ÇÐȸ·Î ¹ßÀü ..... ¾ð¾îÀÇ ±¸Á¶¿¡ ´ëÇÑ Å½±¸ÀÇ ¿ª»ç´Â ±æ°í ±× ¹æ¹ý ¶ÇÇÑ ´Ù¾çÇÏ´Ù. ¿ì¸® ÇÐȸ´Â 1980³â´ë ÃÊ¿¡ Àå¼®Áø (´ç½Ã ¼­¿ï´ëÇб³ ±³¼ö), À̱â¿ë (´ç½Ã °í·Á´ëÇб³ ±³¼ö), ¹Úº´¼ö (´ç½Ã °æÈñ´ëÇб³ ±³¼ö), ÀÌÁ¤¹Î (´ç½Ã ¼­¿ï´ëÇб³ ±³¼ö), ÀÌÀÍȯ ±³¼ö µîÀ» Áß½ÉÀ¸·Î È°µ¿ÇÑ Çü½Ä¹®¹ý¿¬±¸È¸¿¡ ¿¬¿øÀ» µÎ°í ÀÖÀ¸¸ç Åë»ç ºÎ¹®, ÀÇ¹Ì ºÎ¹®, È­¿ë ºÎ¹® µî¿¡ ´ëÇÑ Çü½ÄÈ­ µÈ Á¢±ÙÀ» ¼ÒÁßÈ÷ ¿©±â´Â ÇÐÀÚµéÀÇ ¸ðÀÓÀÌ´Ù. ..... Çѱ¹¾ð¾îÁ¤º¸ÇÐȸ´Â Çü½Ä ¹®¹ý ÀÌ·Ð, ÀÌ·Ð ¾ð¾îÇÐ, ³í¸®Çаú Àǹ̷Ð, ¾ð¾î(ÇÐ)ÀÇ ÄÄÇ»ÅÍ ÀÀ¿ë ³»Áö Àü»ê ¾ð¾îÇÐ µîÀÇ ¿¬±¸¿¡ ÁßÁ¡À» µÎ¾î ¿Â °ú°Å Çü½Ä¹®¹ýÀ̷בּ¸È¸ÀÇ ÀüÅëÀ» °è½ÂÇÏ°í ³ª¾Æ°¡¼­ ÇüÅÂ, Åë»ç, ÀǹÌ, È­¿ë·ÐÀÇ »óÈ£ ÀÛ¿ë°ú Á¢ÇÕ ¿µ¿ª¿¡ ´ëÇÑ º»°ÝÀûÀÎ ¿¬±¸¸¦ Æø³Ð°Ô ÃßÁøÇÏ¸ç ¶Ç ÇÑÆíÀ¸·Î Á¤º¸¿¡ °üÇÑ Æ÷°ýÀûÀÎ À̷аú ±× ½Ç¿ëÀû ÀÀ¿ëÀ» Ãß±¸ÇÔÀ¸·Î½á 21¼¼±âÀÇ ¾ð¾îÇÐÀÇ »õ·Î¿î ¹æÇâÀ» °³¹ß Çü¼ºÇÏ´Â µ¥¿¡ °øÇåÇÑ´Ù´Â ¸ñÇ¥¸¦ ÇâÇØ ¸ÅÁøÇÏ°í ÀÖ´Ù.