Çö´ë ÄÄÇ»ÅÍ °úÇÐÀÇ ¹ßÀü°ú ¾Ë°í¸®ÁòÀÇ ¿ªÇÒ
<¸ñÂ÷>
Á¦1Àå: ¿¬±¸ÀÇ ¿ª»ç
Á¦2Àå: °ü·Ã ¿¬±¸ÀÇ µ¿Çâ
Á¦3Àå: ´Ù¸¥ ¿µ¿ª°úÀÇ ¿¬°è
Á¦4Àå: º» ¿¬±¸ÀÇ Çؼ® ¹× °á·Ð
Á¦5Àå: Âü°í¹®Çå
<³»¿ë>
Á¦1Àå: ¿¬±¸ÀÇ ¿ª»ç
Çö´ëÀÇ ÄÄÇ»ÅÍ °úÇÐ ¹ßÀüÀº ²ÙÁØÇÑ ¿¬±¸¿Í ¹ßÀüÀÇ ¿¬¼ÓÀ̶ó ÇÒ ¼ö ÀÖ½À´Ï´Ù. ƯÈ÷, ¾Ë°í¸®ÁòÀÌ ÀÌ·¯ÇÑ ¹ßÀüÀÇ ÇÙ½ÉÀÌ µÇ¾î¿Ô´Ù´Â °ÍÀÌ ¸¹Àº ÇÐÀÚµéÀÇ °øÅëµÈ °ßÇØÀÔ´Ï´Ù. º» Àå¿¡¼´Â "The Nature of Computation"À̶ó´Â ³í¹®À» ÅëÇØ Çö´ë ÄÄÇ»ÅÍ °úÇÐÀÇ ±â¿ø°ú ¾Ë°í¸®ÁòÀÇ Á߿伺¿¡ ´ëÇÏ¿© ÀÚ¼¼È÷ ¾Ë¾Æº¸°Ú½À´Ï´Ù.
M. O. Rabin°ú D. ScottÀÌ 1959³â¿¡ ¹ßÇ¥ÇÑ ³í¹® "Finite Automata and Their Decision Problems"(Rabin, M. O., & Scott, D., 1959)¿¡¼´Â ¾Ë°í¸®ÁòÀÌ ÄÄÇ»ÅÍ °úÇÐ ¹ßÀü¿¡ ¾î¶°ÇÑ ¿ªÇÒÀ» ÇÏ´ÂÁö¿¡ ´ëÇÏ¿© ±íÀº ÅëÂûÀ» Á¦°øÇÕ´Ï´Ù. ÀÌ ³í¹®Àº À¯ÇÑ ¿ÀÅ丶Ÿ¿Í ±×µéÀÇ °áÁ¤ ¹®Á¦¿¡ °üÇÑ ¿¬±¸¸¦ ÅëÇØ, ¾Ë°í¸®ÁòÀÇ º¹À⼺°ú È¿À²¼º¿¡ ´ëÇÑ Áß¿äÇÑ °üÁ¡À» Á¦½ÃÇϸç, ÄÄÇ»ÅÍ °úÇÐÀÇ ±âÃʸ¦ ¸¶·ÃÇØÁÖ¾ú½À´Ï´Ù.
¸ÕÀú, ³í¹®Àº À¯ÇÑ ¿ÀÅ丶ŸÀÇ ±âÃÊÀûÀÎ °³³äÀ» ¼Ò°³ÇÕ´Ï´Ù. À¯ÇÑ ¿ÀÅ䡦(»ý·«)
|