也利用显式的状态来加以定义，例如RFC 793。状态机的思维也可以用来描述一些程式语言的语义，例如执行一个Refal语言的程式就可以描述为在抽象Refal机器上执行一连串的步骤，机器的状态称为view（任意的Refal表示式，其中没有变数）。Scheme程式语言不是一个和状态机有关的程式语言（Scheme为递回式的），但其中的延续性（Continuation）需要以自动机的步骤及状态的方式来思考。若要使的机能有效，需要可以记录整个执行程式的状态，只有在所有状态都是显式，不存在隐式状态的情形下才可能达