有限存储顺序机

finite memory sequential machine