前的延续性资料推断下一个的延续性资料，而所执行的程序就是这些步骤的循环。亚历山大·奥隆格罗（Alexander Ollongren）在其着作中解释了一种称为「维也纳方法」（Vienna method）的程式语言语义描述，完全以形式自动机为基础。UCSB的STAT（状态转移分析技术）系统是一个使用自动机编程的范例，此系统还包括一种称为「STATL」的嵌入式语言，是完全自动机导向的语言。
和指令式编程及程序编程的比较.状态不是自动机编程特有的概念。一般来说，状态可视为所有在