¾î¶² ¹®¹ý ȤÀº ¾ð¾î¸¦ ÄÄÇ»ÅÍ°¡ ÀÌÇØÇÒ ¼ö ÀÖµµ·Ï ³ªÅ¸³»´Â °ÍÀ» ¿ÀÅ丶Ÿ(automata) ¶ó ÇÑ´Ù. ¹®¹ý Áß¿¡¼ Á¤±Ô ¹®¹ýÀ» ÀνÄÇÏ´Â Àνı⸦ À¯ÇÑ ÀÚµ¿(finite automata) À̶ó ÇÑ´Ù.
Á¤±Ô ¹®¹ýÀ» Á¤±Ô ¾ð¾î·Î ¹Ù²Ü ¶§ Áß°£´Ü°èÀÎ Á¤±Ô Ç¥ÇöÀ» »ç¿ëÇÏ¸é ½±°Ô ¹Ù²Ü ¼ö ÀÖ´Ù.