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 条
  • [21] A New Approach for Solving the Generalized Traveling Salesman Problem
    Pop, P. C.
    Matei, O.
    Sabo, C.
    HYBRID METAHEURISTICS, 2010, 6373 : 62 - +
  • [22] A new approach for solving large traveling salesman problem
    Tsai, CF
    Tsai, CW
    Tseng, CC
    CEC'02: PROCEEDINGS OF THE 2002 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1 AND 2, 2002, : 1636 - 1641
  • [23] A new approach for solving 0/1 knapsack problem
    Chou-Yuan Lee
    Zne-Jung Lee
    Shun-Feng Su
    2006 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-6, PROCEEDINGS, 2006, : 3138 - +
  • [24] A NEW APPROACH FOR SOLVING EXTENDED UNIT COMMITMENT PROBLEM
    RUZIC, S
    RAJAKOVIC, N
    IEEE TRANSACTIONS ON POWER SYSTEMS, 1991, 6 (01) : 269 - 277
  • [25] Solving planted-motif problem - A new approach
    Agarwal, Pankaj
    Yadav, Sanjeev K.
    Shukla, A. P.
    ADCOM 2007: PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON ADVANCED COMPUTING AND COMMUNICATIONS, 2007, : 517 - 522
  • [26] A new approach to solving the problem of overdried paper edges
    Poirier, NA
    Tsantrizos, PG
    84TH ANNUAL MEETING, TECHNICAL SECTION, CPPA - PREPRINTS B, 1998, : B115 - B119
  • [27] New approach for solving economic load dispatch problem
    Gherbi, Yamina Ahlem
    Bouzeboudja, Hamid
    Lakdja, Fatiha
    Gherbi, Fatima Zohra
    Ould-Abdeslam, Djaffar
    2014 INTERNATIONAL CONFERENCE ON ELECTRICAL SCIENCES AND TECHNOLOGIES IN MAGHREB (CISTEM), 2014,
  • [28] New approach to solving the inverse problem for compound gear trains
    Mathis, R.
    Remond, Y.
    Journal of Mechanical Design, Transactions of the ASME, 1999, 121 (01): : 98 - 106
  • [29] STRIPS - NEW APPROACH TO APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING
    FIKES, RE
    NILSSON, NJ
    ARTIFICIAL INTELLIGENCE, 1971, 2 (3-4) : 189 - 208
  • [30] Teaching problem solving to year 6 students: A new approach
    Adibnia A.
    Putt I.J.
    Mathematics Education Research Journal, 1998, 10 (3) : 42 - 58
12345