EDA实验报告四(状态机实现序列检测器的设计)