基于矩阵模型的有限自动机的综合

研究如何构造有限自动机,使得每一输入的内动部分的图形为给定的图形,即每一给定的图形为该有限自动机在某输入下的内动部分的图形;对给定的常量布尔方阵C,是否存在满足一定条件的有限自动机,使得该自动机总图的拟邻接矩阵为C,给出了判断的充要条件及构造算法;设计了时序电路模拟自动机,该时序电路实现给定的图形或拟邻接矩阵。

甲骨文识别的图同构方法

甲骨文是我国目前所能看到的最早而又比较完备的文字。为了使用计算机辅助识别和检索甲骨文,给出了一种将甲骨文转化为无向标号图的方法;使用无向标号图的拟邻接矩阵对甲骨文进行编码,重码较少;给出一种基于图同构的甲骨文识别算法,实例证明了该算法是有效的。