程有以下的二项特征：自动机编程的执行过程是一个由自动机步骤形成的循环。自动机编程中处理问题的思考方式很类似在利用图灵机、马尔可夫算法处理问题时的思考方式。
历史.自动机编程的技术常用在以自动机原理为基础的演算法中，例如形式语言分析。约翰逊等在1968年发表的《Automatic generation of efficient lexical processors using finite state techniques》论文是早期提到自动机编程的论文。Peter N