非确定系统中可观察状态集的识别序列的一种推导方法

An Approach to Deriving Distinguishing Sequence of Observable States in Reachable Set in Non deterministic System

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

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.