Deciding the isomorphism problem in classes of unary automatic structures

被引：9
|
作者：
Liu, Jiamou [1 ]
Minnes, Mia [2 ]
机构：
[1] Univ Auckland, Dept Comp Sci, Auckland 1, New Zealand
[2] MIT, Dept Math, Cambridge, MA 02139 USA
来源：
THEORETICAL COMPUTER SCIENCE | 2011年 / 412卷 / 18期
基金：
美国国家科学基金会;
关键词：
Unary automatic structures; The isomorphism problem; Graphs;
D O I：
10.1016/j.tcs.2010.12.045
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We solve the isomorphism problem for certain classes of unary automatic structures: unary automatic equivalence relations, unary automatic linear orders, and unary automatic trees. That is, we provide algorithms which decide whether two given elements of these classes are isomorphic. In doing so, we define new finite representations for these structures which give normal forms.(1) (C) 2010 Elsevier B.V. All rights reserved.
引用
收藏
页码：1705 / 1717
页数：13
相关论文
共 50 条
  • [1] The Isomorphism Problem On Classes of Automatic Structures
    Kuske, Dietrich
    Liu, Jiamou
    Lohrey, Markus
    25TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2010), 2010, : 160 - 169
  • [2] THE ISOMORPHISM PROBLEM ON CLASSES OF AUTOMATIC STRUCTURES WITH TRANSITIVE RELATIONS
    Kuske, Dietrich
    Liu, Jiamou
    Lohrey, Markus
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2013, 365 (10) : 5103 - 5151
  • [3] Analysing Complexity in Classes of Unary Automatic Structures
    Liu, Jiamou
    Minnes, Mia
    LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, 2009, 5457 : 518 - +
  • [4] On the isomorphism problem for some classes of computable algebraic structures
    Valentina S. Harizanov
    Steffen Lempp
    Charles F. D. McCoy
    Andrei S. Morozov
    Reed Solomon
    Archive for Mathematical Logic, 2022, 61 : 813 - 825
  • [5] On the isomorphism problem for some classes of computable algebraic structures
    Harizanov, Valentina S.
    Lempp, Steffen
    McCoy, Charles F. D.
    Morozov, Andrei S.
    Solomon, Reed
    ARCHIVE FOR MATHEMATICAL LOGIC, 2022, 61 (5-6) : 813 - 825
  • [6] The Isomorphism Problem for ω-Automatic Trees
    Kuske, Dietrich
    Liu, Jiamou
    Lohrey, Markus
    COMPUTER SCIENCE LOGIC, 2010, 6247 : 396 - +
  • [7] The isomorphism problem for classes of computable fields
    Wesley Calvert
    Archive for Mathematical Logic, 2004, 43 : 327 - 336
  • [8] The isomorphism problem for ω-automatic trees
    Kuske, Dietrich
    Liu, Jiamou
    Lohrey, Markus
    ANNALS OF PURE AND APPLIED LOGIC, 2013, 164 (01) : 30 - 48
  • [9] The isomorphism problem for classes of computable fields
    Calvert, W
    ARCHIVE FOR MATHEMATICAL LOGIC, 2004, 43 (03) : 327 - 336
  • [10] ISOMORPHISM-PROBLEM FOR CLASSES OF GRAPHS
    PONOMARENKO, IN
    DOKLADY AKADEMII NAUK SSSR, 1989, 304 (03): : 552 - 556
12345