用划分序列构造时序机核实序列的方法

摘要

任何既约的、强联结的时序机，必存在核实序列。若该机存在区分序列，构造其核实序列的方法已经形成；但是，若该机不存在区分序列，需寻求构造其核实序列的方法。作者从时序机的状态表出发，定义了划分序列，并针对无区分序列的时序机，提出了利用划分序列构造时序机核实序列的一种方法。该方法中求划分序列部分建立在时序机的矩阵模型上，易于工程实现。