Formal  Language

 

¼öÇÐ, ³í¸®ÇÐ, ÄÄÇ»ÅÍ°úÇп¡¼­ Çü½Ä¾ð¾î (formal language) ´Â ¾ËÆĺªÀ¸·Î ¸¸µç À¯ÇѱæÀÌÀÇ ´Ü¾îµé (finite-length words, Áï character strings) ÀÇ ÁýÇÕÀÌ´Ù. ±×¸®°í ±×·± ¿µ¿ªÀ» ´Ù·ç´Â °úÇÐÀÌ·ÐÀ» Çü½Ä¾ð¾îÀÌ·Ð (formal language theory) À̶ó°í ÇÑ´Ù. ¿©·¯Á¾·ùÀÇ ¹®¸Æ¿¡¼­ (¿¹¸¦µé¸é °úÇÐ, ¹ý·ü, ¾ð¾îÇÐ µîµî) »ç¿ëµÇ´Â Çü½ÄÀû ¾ð¾î (formal language) ¶ó´Â ¸»Àº ÀÏ»ó ¾ð¾î¿¡ ºñÇØ ÈξÀ ´õ ÁÖÀDZí°í, Á¤È®Çϸç, ¿¹ÀǸ¦ °®Ãá Ç¥Çö¾ç½ÄÀ» ÀǹÌÇÑ´Ù. ±×·¯³ª ¿©±â¼­ ´Ù·ç´Â Çü½Ä¾ð¾îÀÇ Àǹ̴ formal language theory ¿¡¼­ ¿¬±¸µÇ´Â °ÍÀ» ÀǹÌÇÑ´Ù. ...... Çü½Ä¾ð¾î¿¡¼­ ÈçÈ÷ Áú¹®µÇ¾îÁö´Â "ÁÖ¾îÁø ´Ü¾î°¡ ±× ¾ð¾î (language) ¿¡ ¼ÓÇÏ´ÂÁö ¾Æ´ÑÁö¸¦ °áÁ¤ÇÏ´Â °ÍÀº ¾ó¸¶³ª ¾î·Á¿î°¡?" ¶ó´Â °ÍÀÌ´Ù. ÀÌ°ÍÀº °è»ê°¡´É¼ºÀ̷аú º¹ÀâµµÀÌ·ÐÀÇ ¿µ¿ªÀÌ´Ù.  ............ (Wikipedia : Formal language)

Çü½Ä ¾ð¾î (formal languages) ¶õ ÇÁ·Î±×·¡¹Ö ¾ð¾îµéÀÇ ÀϹÝÀûÀΠƯ¼ºµéÀ» Ãß»óÈ­ÇÑ °³³äÀÌ´Ù. Çü½Ä ¾ð¾î´Â ½Éº¼µéÀÇ ÁýÇÕ°ú  ÀÌ ½Éº¼µéÀ» Á¶ÇÕÇÏ¿© ¹®Àå (sentence) À̶ó ºÒ¸®´Â °³Ã¼¸¦ ¸¸µå´Â µ¥ »ç¿ëµÇ´Â Çü¼º ±ÔÄ¢µé·Î ±¸¼ºµÈ´Ù. Çü½Ä ¾ð¾î¸¦ °øºÎÇÔÀ¸·Î½á ÇÁ·Î±×·¡¹Ö ¾ð¾î¿¡ ´ëÇÑ ¸¹Àº °ÍµéÀ» ¹è¿ï ¼ö ÀÖ´Ù.

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

term :

¾ð¾îÇÐ (linguistics)   Àΰø¾î (Artificial Language)   ÀΰøÁö´É (Artificial Intelligence)   ÃνºÅ° °èÃþ (Chomsky Hierarchy)   ¿ÀÅ丶Ÿ (Automata)   °è»ê°¡´É¼º ÀÌ·Ð (Computability Theory)   °è»êº¹ÀâµµÀÌ·Ð (Computational Complexity Theory)   Æ©¸µ ±â°è (Turing Machine)   Çü½Ä¹®¹ý (Formal Grammar)   Çü½Ä¾ð¾î (Formal Language)   

site :

Wikipedia : Formal language

Çü½Ä¾ð¾î : PPT : ¹æÇýÀÚ