使用状态机,门级建模,检测一个“01"序列