有限机械模型

finite machine model