具数据通路的有限状态机