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
关键词
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 条
  • [31] New Approach for solving the Internal Truck containers transfert Problem
    Razouk, Chafik
    Benadada, Youssef
    Boukachour, Jaouad
    GOL'20: 2020 5TH INTERNATIONAL CONFERENCE ON LOGISTICS OPERATIONS MANAGEMENT (GOL), 2020, : 288 - 295
  • [32] A new approach for solving the multimodal economic load dispatch problem
    Liu, Xian
    2007 IEEE POWER ENGINEERING SOCIETY GENERAL MEETING, VOLS 1-10, 2007, : 972 - 977
  • [33] New approach with Secant method for solving Unit Commitment problem
    Chandram, K.
    Subrahmanyam, N.
    Sydulu, M.
    2008 IEEE/PES TRANSMISSION & DISTRIBUTION CONFERENCE & EXPOSITION, VOLS 1-3, 2008, : 1249 - 1255
  • [34] THE DECISION SEMINAR - A NEW APPROACH TO URBAN PROBLEM-SOLVING
    BOLLAND, JM
    MUTH, R
    KNOWLEDGE-CREATION DIFFUSION UTILIZATION, 1984, 6 (01): : 75 - 88
  • [35] A new approach to solving the inverse problem for compound gear trains
    Mathis, R
    Rémond, Y
    JOURNAL OF MECHANICAL DESIGN, 1999, 121 (01) : 98 - 106
  • [36] A New Approach to Solving the Inverse Frobenius-Perron Problem
    Nie, Xiaokai
    Coca, Daniel
    2013 EUROPEAN CONTROL CONFERENCE (ECC), 2013, : 2916 - 2920
  • [37] A New Geometrical Approach for Solving the Supervised Pattern Recognition Problem
    Valev, Ventzeslav
    Yanev, Nicola
    Krzyzak, Adam
    2016 23RD INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION (ICPR), 2016, : 1648 - 1652
  • [38] A differential approach to a polynomial equivalence problem
    Perret, L
    Bayad, A
    2004 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY, PROCEEDINGS, 2004, : 142 - 142
  • [39] TECHNIQUE OF TRACES IN SOLVING THE EQUIVALENCE PROBLEM IN ALGEBRAIC PROGRAM MODELS
    Podlovchenko, R. I.
    CYBERNETICS AND SYSTEMS ANALYSIS, 2009, 45 (05) : 692 - 702
  • [40] APPROACH TO SOLVING MATERIALITY PROBLEM
    WOOLSEY, SM
    JOURNAL OF ACCOUNTANCY, 1973, (MAR): : 47 - 50