【摘要】 主要针对非确定系统（实际中的大部分系统都具有非确定性），提出可观察状态集的识别序列的定义，并对于按照观察等价关系化简的系统的实现的集合，给出一种生成可观察状态集识别序列的方法．更多还原

【Abstract】 Most systems in real life are non deterministic. For non deterministic systems, this paper presents the definition of distinguish sequence for observable states in reachable sets , and for the implementations of systems reduced following observational equivalence, presents an algorithm to derive the distinguishing sequence of each reachable set.更多还原