A new approach to solving equivalence problem

被引：0
|
作者：
Podlovchenko, RI
Khachatryan, VE
机构：
[1] Moscow MV Lomonosov State Univ, Ctr Res Comp, Moscow 119992, Russia
[2] Moscow State Univ Econ Stat & Informat, Belgorod Branch, Belgorod 308800, Russia
来源：
PROGRAMMING AND COMPUTER SOFTWARE | 2004年 / 30卷 / 03期
关键词：
D O I：
10.1023/B:PACS.0000029576.66184.7b
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
An application of a new method for the equivalence recognition in a computation model whose objects are labeled directed graphs is illustrated by the example of multitape automata. The paper is focused on general ideas of the method discussed. An algorithm that recognizes equivalence of multitape automata with IN disjoint loops is described in detail.
引用
收藏
页码：121 / 133
页数：13
相关论文
共 50 条
12345