Los autómatas finitos tienen propiedades claramente estudiadas, sus capacidades de reconocimientos de patrones han servido para la construcciñon de programas de análisis léxico tales como los compiladores. Al tratar de implantar la inteligencia artificial en un computador es importante garantizar que el nuevo modelo que se pretende utilizar sea al menos tan poderoso como los modelos ya existentes; de ahí la necesidad de encontrar sus vínculos con los modelos conocidos.