有限状态机分为（）和Mealy两种类型。