’·×’»»’Íý’ÏÀ I
Theory of Computation I


’¹Ö’µÁ’Æâ’ÍÆ

’¡¡’·×’»»’Íý’ÏÀ’¤Ï’¡¤’¾ð’Êó’²Ê’³Ø’¤Ë’¤ª’¤¤’¤Æ’¿’¤¯’¤Î’½Å’Í×’¤Ê’Êý’Ë¡’ÏÀ’¤È’·ë’²Ì’¤ò’¤â’¤¿’¤é’¤·’¤¿’¡£’Îã’¤¨’¤Ð’¡¤’Í­’¸Â’¥ª’¡¼’¥È’¥Þ’¥È’¥ó’¤Ë’´Ø’¤¹’¤ë’´ð’ÁÒŪ’¤Ê’»ö’ÊÁ’¤Ï’¡¤’¾ð’Êó’²Ê’³Ø’¤Î’¿’¤¯’¤Î’ʬ’Ìǒɬ’¿Ü’¤Î’ÃÎ’¼±’¤È’¤Ê’¤Ã’¤Æ’¤¤’¤ë’¡£
’¡¡’ËÜ’¹Ö’µÁ’¤Ç’¤Ï’¤Þ’¤º’¡¤’½Å’Í×’¤Ê’¸À’¸ì’¥¯’¥é’¥¹’¤Ç’¤¢’¤ë’Àµ’µ¬’¸À’¸ì’¤È’ʸ’Ì®’¼«’ͳ’¸À’¸ì’¤Ë’ÏÃ’Âê’¤ò’¹Ê’¤ê’¡¤’·Á’¼°’¸À’¸ì’Íý’ÏÀ’¤Î’¥¨’¥Ã’¥»’¥ó’¥¹’¤ò’²ò’Àâ’¤¹’¤ë’¡£ ’¼¡’¤Ë’¡Ö’·×’»»’µ¡’¤Ç’²ò’¤±’¤Ê’¤¤’Ìä’Âê’¤¬’¤¢’¤ë’¤Î’¤À’¤í’¤¦’¤«’¡×’¤È’¤¤’¤Ã’¤¿’¡¤’·×’»»’µ¡’¤Î’ǽ’ÎÏ’¤Î’¸Â’³¦’¤Ë’´Ø’¤¹’¤ë’µ¿’Ì䒤˒Åú’¤¨’¤Æ’¤¤’¤¯’¡£
’¡¡’ºÇ’¸å’¤Ë’¡¤’¤µ’¤Þ’¤¶’¤Þ’¤Ê’·×’»»’¥â’¥Ç’¥ë’¤Î’´Ø’·¸’¤ò’ɽ’¤¹’¥Á’¥ç’¥à’¥¹’¥­’¡¼’³¬’ÁØ’¤Ë’¤Ä’¤¤’¤Æ’´Ê’ñ’¤Ë’²ò’Àâ’¤¹’¤ë’¡£

’¡¡’¡¡’£±. ’Àµ’µ¬’¸À’¸ì
’¡¡’¡¡’¡¡ ’¡¦’Í­’¸Â’¥ª’¡¼’¥È’¥Þ’¥È’¥ó’¡Ê’Äê’µÁ’¡¤’·è’Äê’À­’¥â’¥Ç’¥ë’¤È’Èó’·è’Äê’À­’¥â’¥Ç’¥ë’¤Î’Åù’²Á’À­’¡Ë
’¡¡’¡¡’¡¡ ’¡¦’Àµ’µ¬’ɽ’¸½’¡Ê’Äê’µÁ’¡¤ ’Í­’¸Â’¥ª’¡¼’¥È’¥Þ’¥È’¥ó’¤È’¤Î’Åù’²Á’À­’¡Ë
’¡¡’¡¡’¡¡ ’¡¦’Í­’¸Â’¥ª’¡¼’¥È’¥Þ’¥È’¥ó’¤Î’´Ê’ñ’²½
’¡¡’¡¡’£². ’ʸ’Ì®’¼«’ͳ’¸À’¸ì
’¡¡’¡¡’¡¡ ’¡¦’ʸ’Ì®’¼«’ͳ’ʸ’Ë¡’¡Ê’Äê’µÁ’¡¤ ’´Ê’ñ’²½’¡¤ ’¥Á’¥ç’¥à’¥¹’¥­’¡¼’ɸ’½à’·Á’¡Ë
’¡¡’¡¡’¡¡ ’¡¦’ʸ’Ì®’¼«’ͳ’¸À’¸ì’¤Î’À­’¼Á
’¡¡’¡¡’¡¡ ’¡Ê’¸À’¸ì’±é’»»’¤Ë’ÂÐ’¤¹’¤ë’ÊÄ’Êñ’À­’¡¤ ’¥Ñ’¥ó’¥Ô’¥ó’¥°’¥ì’¥ó’¥Þ’¡¤ ’ǧ’¼±’¥¢’¥ë’¥´’¥ê’¥º’¥à’¡Ë
’¡¡’¡¡’£³. ’·×’»»’²Ä’ǽ’À­
’¡¡’¡¡’¡¡ ’¡¦’¥Á’¥å’¡¼’¥ê’¥ó’¥°’µ¡’³£’¡Ê’Äê’µÁ’¡¤ ’ǽ’ÎÏ’¤ò’¸Â’Äê’¡¿’³È’Ä¥’¤·’¤¿’¥â’¥Ç’¥ë’¡Ë
’¡¡’¡¡’¡¡ ’¡¦’·è’Äê’ÉԒǽ’À­’¡Ê’ÂÐ’³Ñ’Àþ’ÏÀ’Ë¡’¡¤ ’´Ô’¸µ’¤Ë’¤è’¤ë’¾Ú’ÌÀ’Ë¡’¡Ë
’¡¡’¡¡’£´. ’¥Á’¥ç’¥à’¥¹’¥­’¡¼’³¬’ÁØ
’¡¡’¡¡’¡¡ ’¡¦’Àµ’µ¬’ʸ’Ë¡’¤È’Í­’¸Â’¥ª’¡¼’¥È’¥Þ’¥È’¥ó
’¡¡’¡¡’¡¡ ’¡¦’ʸ’Ì®’µ¬’Äê’ʸ’Ë¡’¤È’Àþ’·Á’¹´’«’¥ª’¡¼’¥È’¥Þ’¥È’¥ó
’¡¡’¡¡’¡¡ ’¡¦0’·¿’ʸ’Ë¡’¤È’¥Á’¥å’¡¼’¥ê’¥ó’¥°’µ¡’³£
’¡¡
’¶µ’²Ê’½ñ

J.’¥Û’¥Ã’¥×’¥¯’¥í’¥Õ’¥È’¡¦J.’¥¦’¥ë’¥Þ’¥ó’Ãø’¡¤’Ì꒡¦’¹â’¶¶’¡¦’Ä®’ÅÄ’¡¦’»³’ºê’Ìõ ’¡§
’¥ª’¡¼’¥È’¥Þ’¥È’¥ó ’¸À’¸ì’Íý’ÏÀ ’·×’»»’ÏÀ I’¡¤’¥µ’¥¤’¥¨’¥ó’¥¹’¼Ò’¡¤1984.

’»²’¹Í’½ñ

’£±. J.E.Hopcroft and J.D.Ullman : Introduction to Automata Theory’¡¤Languages’¡¤
’¡¡’¡¡and Computation’¡¤Addison-Wesley’¡¤1979
’¡¡’¡¡’¡Ê’ËÜ’¹Ö’µÁ’¤Î’¶µ’²Ê’½ñ’¤Î’¸¶’ŵ’¡Ë
’£². ’ÉÙ’ÅÄ’±Ù’¼¡’¡¦’²£’¿¹’µ®’Ãø : ’¥ª’¡¼’¥È’¥Þ’¥È’¥ó’¡¦’¸À’¸ì’Íý’ÏÀ’¡¤ ’¿¹’ËÌ’½Ð’ÈÇ
’¡¡’¡¡’¡Ê’´ð’ËÜ’¤È’¤Ê’¤ë’³µ’ǰ’¤ò’Ãú’Ç«’¤Ë’Àâ’ÌÀ’¤·’¤¿’¥Æ’¥­’¥¹’¥È’¡Ë

’Á°’Äó’¤È’¤¹’¤ë’ÃÎ’¼±

(’ɬ’¤º’¤·’¤â’Àè’½¤’¾ò’·ï’¤Ç’¤Ï’¤Ê’¤¤)

’¥¢’¥ë’¥´’¥ê’¥º’¥à’¤È’¥Ç’¡¼’¥¿’¹½’¤’¡Ê’¥¢’¥ë’¥´’¥ê’¥º’¥à’³µ’ÏÀ ’¡Ë’¡¡
’¥Ö’¡¼’¥ë’Âå’¿ô’¡Ê’·×’»»’µ¡’¹½’¤’³µ’ÏÀ’¡Ë

’À®’ÀӒɾ’²Á’Êý’Ë¡’µÚ’¤Ó’´ð’½à

’»î’¸³’¤Ë’¤è’¤ê’À®’ÀÓ’¤ò’ɾ’²Á’¤¹’¤ë’¡£

’¡¡


’¾ð’Ê󒳨’¸¦’µæ’²Ê ’¶µ’̳WG
Last Update:2002/08/14