也更复杂）的自动机为其模型。有限状态机编程（）大致上等同于自动机编程，但有限状态机编程专指以有限状态机为模型的程式。自动机编程有以下的二项特征：自动机编程的执行过程是一个由自动机步骤形成的循环。自动机编程中处理问题的思考方式很类似在利用图灵机、马尔可夫算法处理问题时的思考方式。
历史.自动机编程的技术常用在以自动机原理为基础的演算法中，例如形式语言分析。约翰逊等在1968年发表的《Automatic generation of efficient lexical