Automata Theory
¿ÀÅ丶Ÿ ÀÌ·Ð (Automata Theory) Àº °è»ê ´É·ÂÀÌ ÀÖ´Â Ãß»ó±â°è ¿Í ¿ÀÅ丶Ÿ, ±×¸®°í ±× ±â°è¸¦ ÀÌ¿ëÇØ¼ Ç® ¼ö ÀÖ´Â ¹®Á¦µéÀ» ¿¬±¸Çϸç, ÀÌ·Ð ÄÄÇ»ÅÍ °úÇÐÀÇ ÇÑ ºÐ¾ßÀ̸ç ÀÌ»ê¼öÇÐÀÇ ÇÏÀ§ °ú¸ñÀÌ´Ù. .... ¿ÀÅ丶Ÿ (Automata) ¶Ç´Â Æ©¸µ ±â°è (Turing Machine) ¿Í °°Àº °ÍÀ» ¼öÇÐÀûÀ¸·Î Ç¥ÇöÇÔÀ¸·Î½á À¯ÇÑ»óÅ ±â°è (Finite State Machine) ¸¦ ¿¬±¸ÇÏ´Â ÄÄÇ»ÅͰúÇÐÀÇ ÇÑ ºÐ¾ßÀÌ´Ù. ÀϹÝÀûÀÎ ¿ÀÅ丶Ÿ°¡ ¾î¶»°Ô ¸¸µé¾îÁö¸ç ¾î¶»°Ô ÀÛµ¿ÇÏ´Â Áö¸¦ ¿¬±¸ÇÑ´Ù. ..... (Wikipedia : Automata Theory)
¿ÀÅ丶Ÿ (automaton) ¶õ µðÁöÅÐ ÄÄÇ»ÅÍ¿¡ ´ëÇÑ Ãß»óÀû ¸ðµ¨À̸ç, ¸ðµç ¿ÀÅ丶ŸµéÀº ¸î °¡Áö ÇʼöÀûÀÎ ±â´ÉµéÀ» °®´Â´Ù. ¿ì¼± ¿ÀÅ丶Ÿ´Â ÀÔ·ÂÀ» ¹Þ¾ÆµéÀÌ´Â ÀåÄ¡¸¦ °®´Â´Ù. ÀÔ·ÂÀº ÁÖ¾îÁø ¾ËÆÄºª¿¡ ´ëÇÑ ¹®ÀÚ¿À̰í ÀÔ·Â ÆÄÀÏ (input file) ¿¡ ÀúÀåµÇ¸ç, ¿ÀÅ丶Ÿ´Â À̸¦ ÀÐÀ» ¼ö´Â ÀÖÁö¸¸ º¯°æÇÒ ¼ö´Â ¾ø´Ù. ÀÔ·Â ÆÄÀÏÀº ¼¿ ´ÜÀ§·Î ±¸ºÐµÇ¸ç, °¢ ¼¿Àº ÇϳªÀÇ ½Éº¼À» ÀúÀåÇÒ ¼ö ÀÖ´Ù. ÀÔ·Â ÀåÄ¡´Â (EOF Á¶°ÇÀ» °Ë»çÇÔÀ¸·Î½á) ÀÔ·Â ¹®ÀÚ¿ÀÇ ¸¶Áö¸·À» °¨ÁöÇÒ ¼ö ÀÖ´Ù. ¿ÀÅ丶Ÿ´Â ¾î¶² ÇüÅ·εç Ãâ·ÂÀ» »ý¼ºÇÒ ¼öµµ ÀÖ´Ù. ¶ÇÇÑ, ¿ÀÅ丶Ÿ´Â Àӽà ±â¾ïÀå¼Ò (storage)¸¦ °¡Áú ¼ö ÀÖ´Ù. ÀÌ ±â¾ïÀå¼Ò´Â ¹«ÇÑ °³ÀÇ ¼¿µé·Î ±¸¼ºµÇ¾î ÀÖÀ¸¸ç, °¢ ¼¿Àº ÁÖ¾îÁø ¾ËÆÄºª(ÀÌ´Â ¹Ýµå½Ã ÀÔ·Â ¾ËÆÄºª°ú °°À» ÇÊ¿ä´Â ¾ø´Ù) ³»ÀÇ ÇÑ ½Éº¼À» ÀúÀåÇÒ ¼ö ÀÖ´Ù. ¿ÀÅ丶Ÿ´Â Á¦¾î ÀåÄ¡ (control unit) ¸¦ °¡Áø´Ù. ÀÌ Á¦¾î ÀåÄ¡´Â À¯ÇÑ °³ÀÇ ³»ºÎ »óÅ (internal state) µé Áß ÇÑ »óÅ¿¡ ÀÖÀ» ¼ö ÀÖÀ¸¸ç, ¹Ì¸® Á¤ÇØÁø ±ÔÄ¢¿¡ µû¶ó »óŸ¦ ¹Ù²Ü ¼ö ÀÖ´Ù ......... (Peter Linz 2001)
¿ÀÅ䏶ſ ÀÌ·ÐÀ̶õ ¿ÀÅ䏶ſÀ» ¿¬±¸ÇÏ´Â Çй®ÀÌÁö¸¸, ´Ù¸¥ Ç¥Çö ¹æ½ÄÀ» ºô¸°´Ù¸é ¡®´ë»óÀÇ ¾î¶² ±â´É¿¡ ÁÖ¸ñÇÏ¿©, ÀԷ°ú ³»ºÎ Ãâ·Â °¢ ½ÅÈ£ÀÇ »óÈ£°ü°è¸¦ ¼öÇи𵨷Π¿Å±â°í, ÀÌ ¸ðµ¨À» ¼öÇÐÀûÀ¸·Î °íÂû ·°á·ÐÀ» À¯µµÇÑ´Ù. ±×¸®°í ÀÌ À¯µµµÈ °á·ÐÀ» ´Ù½Ã ¿ø·¡ÀÇ ´ë»ó¿¡ ²À µé¾î¸ÂÃç¼ ÇØ¼®ÇÑ´Ù°í ÇÏ´Â ÀÏ·ÃÀÇ °úÁ¤ÀÇ ÀϺΠ¶Ç´Â ÀüºÎ¡¯¿¡ °ü°èµÇ´Â °ÍÀÌ´Ù. ±×¸®°í ´ë»óÀÇ ±¸¼º¿ä¼ÒÀÇ ¼ºÁú µî¿¡´Â ±×¸® °ü¿©ÇÏÁö ¾Ê´Â´Ù. ÀÌ¿Í °°Àº ÀÔÀåÀ» ÃëÇÔÀ¸·Î½á »õ·Î¿î ½Ã¾ß°¡ ¿¸®¸ç, ¹Ì½ÃÀûÀÎ °ßÁö·ÎºÎÅÍ´Â ²ôÁý¾î³¾ ¼ö ¾ø´Â ¸¹Àº À¯¿ëÇÑ °á·ÐÀÌ ±â´ëµÈ´Ù .......
term :
¿ÀÅ丶Ÿ ÀÌ·Ð (Automata Theory) ¿ÀÅ丶Ÿ (Automata) À¯ÇÑ»óÅ ±â°è (Finite State Machine) Æ©¸µ ±â°è (Turing Machine) °è»êÀÌ·Ð (Theory of Computation) °è»ê º¹Àâµµ ÀÌ·Ð (Computational Complexity Theory) ¹®¸ÆÀÚÀ¯ ¹®¹ý (Context Free Grammar) Àΰø»ý¸í (Artificial Life) ÀΰøÁö´É (Artificial Intelligence) ¼¼Æ÷ÀÚµ¿ÀÚ (Cellular Automata)
site :
Wikipedia : Automata Theory À§Å°¹é°ú : ¿ÀÅ丶Ÿ ÀÌ·Ð
video :
ÄÄÇ»Å×ÀÌ¼Ç ÀÌ·Ð, 2014³â 2Çбâ : °Ç±¹´ëÇб³ : ³²¿øÈ« ... µ¿¿µ»ó 23°³
Theory of Computation - Fall 2011 (Course) : UCDavis : Dan Gusfield, 2012/12/11 .... Playlist 22 : text ... Introduction to the Theory of Computation (Michael Sipser)
Introduction to the Theory of Computation : Coderisland : Shai Simonson, 2010/05/07 .... Playlist 129