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

来源期刊：中南大学学报(自然科学版)2000年第3期

论文作者：田绍槐 占先运 彭洁

文章页码：279 - 284

关键词：时序机;划分序列;矩阵;核实序列

Key words：sequential machine; dividing sequence; matrix; checking experiments

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

Abstract: In any reduced, strongly connected sequential machines, there exist checking experiments. The methods of constructing checking experiments have already been developed if such a sequential machine has a distinguishing sequence. However, if a sequential machine has no distinguishing sequence, it is necessary to pursue the methods of constructing cheching experiments. After discussing the state tables of sequential machine, this paper defines dividing sequence and advances a method to construct checking experiments for a sequential machine that has no distinguishing sequence. This method can be easily implemented in engineering practice since the solution to dividing sequence is based on matrix model of sequential machine.