Accessibility in automata on scattered linear orderings

被引:0
|
作者
Carton, O [1 ]
机构
[1] Univ Marne La vallee, Inst Gaspard Monge, F-77454 Marne La Vallee 2, France
关键词
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
In a preceding paper, automata have been introduced for words indexed by linear orderings. These automata are a generalization of automata on transfinite words introduced by Bilchi. In this paper, we show that if only words indexed by scattered linear orderings are considered, the accessibility and the emptiness in these automata can be checked in time nm(2) where n and m are the number of states and the number of transitions. This solves the problem for automata on transfinite words.
引用
收藏
页码:155 / 164
页数:10
相关论文
共 50 条
  • [21] Linear extensions of orderings
    Vítězslav Novák
    Miroslav Novotný
    Czechoslovak Mathematical Journal, 2000, 50 : 853 - 864
  • [22] DEGREES OF ORDERINGS NOT ISOMORPHIC TO RECURSIVE LINEAR-ORDERINGS
    JOCKUSCH, CG
    SOARE, RI
    ANNALS OF PURE AND APPLIED LOGIC, 1991, 52 (1-2) : 39 - 64
  • [23] On the Order Type of Scattered Context-Free Orderings
    Gelle, Kitti
    Ivan, Szabolcs
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (305): : 169 - 182
  • [24] Induction, games and linear orderings
    Oikkonen, J
    MODELS, ALGEBRAS, AND PROOFS, 1999, 203 : 119 - 134
  • [25] ON AUTOMATIC AND DECIDABLE LINEAR ORDERINGS
    Gavryushkina, A. A.
    SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2010, 7 : 100 - 110
  • [26] Linear Orderings of Low Degree
    Frolov, A. N.
    SIBERIAN MATHEMATICAL JOURNAL, 2010, 51 (05) : 913 - 925
  • [27] CODING IN GRAPHS AND LINEAR ORDERINGS
    Knight, Julia F.
    Soskova, Alexandra A.
    Vatev, Stefan V.
    JOURNAL OF SYMBOLIC LOGIC, 2020, 85 (02) : 673 - 690
  • [28] NORMAL FUNCTORS ON LINEAR ORDERINGS
    ACZEL, P
    JOURNAL OF SYMBOLIC LOGIC, 1967, 32 (03) : 430 - &
  • [29] Countably Complementable Linear Orderings
    Antonio Montalbán
    Order, 2006, 23 : 321 - 331
  • [30] ORDERINGS OF LINEAR-MODELS
    TORGERSEN, E
    JOURNAL OF STATISTICAL PLANNING AND INFERENCE, 1984, 9 (01) : 1 - 17