Related work ■ Some related work recommending state machines for the user interface of interactive software; the specification of data-processing systems; hardware system description; the specification of communication protocols; computer aided instruction 注:以上均为上世纪70,80年代针对传统状态机的工作 Tian Zhang Nanjing University 6Tian Zhang @ Nanjing University 6 Related work Some related work recommending state machines for : the user interface of interactive software; the specification of data-processing systems; hardware system description; the specification of communication protocols; computer aided instruction 注:以上均为上世纪70,80年代针对传统状态机的工作