个米利型有限状态机，因为其输出是依赖于当前状态和输入。但是理查兹设计自己的方法来表示状态使用一个流程图，而不是状态图。每个状态代表流程图上的转移条件。每一个条件由两个控制路径传出，YES或NO。条件是YES或NO（TRUE或FALSE）基于输入机器的一个比特。根据输入的条件，关联于两个状态的转换函数之一将被执行。机器将执行其一，以便设定装置上单一管脚的输出，这可以被用来触发组合逻辑。在一个转换函数被执行后，该机将进入一个新的状态，每个转换函数将隐式或显式地定义一个新的状态以便转换。一个隐式的状态定义也可以被