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