Automaticity of ordinals and of homogeneous graphs.

被引：42
|
作者：
Delhommé, C [1 ]
机构：
[1] Univ Reunion, Dept Math, ERMIT, 15 Ave Rene Cassin,BP 7151, F-97715 St Denis Messageries 9, Reunion, France
来源：
COMPTES RENDUS MATHEMATIQUE | 2004年 / 339卷 / 01期
关键词：
D O I：
10.1016/j.crma.2004.03.035
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
Automaticity of ordinals and of homogeneous graphs. We establish criteria of automaticity and we state analogous criteria Of tree-automaticity which show, on the one-hand that the random graph is neither automatic nor tree-automatic, and on the other hand that every well-founded automatic poset has height less than omega(omega) and that (omega)omega(omega) is the set of tree-automatic ordinals.
引用
收藏
页码：5 / 10
页数：6
相关论文
共 50 条
  • [1] Automata on ordinals and automaticity of linear orders
    Schlicht, Philipp
    Stephan, Frank
    ANNALS OF PURE AND APPLIED LOGIC, 2013, 164 (05) : 523 - 527
  • [2] ISOMORPHISM OF GRAPHS.
    Rao, A.C.
    Journal of the Institution of Engineers (India): Mechanical Engineering Division, 1987, 68 (pt 1-2): : 1 - 4
  • [3] The coloring of graphs.
    Whitney, H
    ANNALS OF MATHEMATICS, 1932, 33 : 688 - 718
  • [4] WAVE GRAPHS.
    Petrov, V.P.
    Kamenetskiy, M.I.
    Telecommunications and Radio Engineering (English translation of Elektrosvyaz and Radiotekhnika), 1978, 32-33 (01): : 115 - 118
  • [5] FUNCTIONAL PROGRAMMING IN GRAPHS.
    Huang, Wei-Teh
    Chung-kuo Kung Ch'eng Hsueh K'an/Journal of the Chinese Institute of Engineers, 1987, 10 (01): : 87 - 97
  • [6] BANDWIDTH PROBLEMS IN GRAPHS.
    Monien, Burkhard
    Sudborough, Ivan Hal
    Proceedings - Annual Allerton Conference on Communication, Control, and Computing, 1980, : 650 - 659
  • [7] Graphs. Technology in pictures
    Electrotechnology, 1994, 5 (02):
  • [8] DERIVATIONS OF STOCHASTIC GRAPHS.
    Ehrig, Hartmut
    Tischer, Karl Wilhelm
    1975, : 1 - 6
  • [9] Molecular shape graphs.
    Wipke, WT
    Lawton, J
    Hendrick, H
    ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2002, 223 : U355 - U355
  • [10] BROWSER FOR DIRECTED GRAPHS.
    Rowe, Lawrence A.
    Davis, Michael
    Messinger, Eli
    Meyer, Carl
    Spirakis, Charles
    Tuan, Allen
    Software - Practice and Experience, 1987, 17 (01) : 61 - 76
12345