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
来源：
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2002 | 2002年 / 2420卷
关键词：
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 条
  • [1] Automata on linear orderings
    Bruyère, V
    Carton, O
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2001, 2001, 2136 : 236 - 247
  • [2] Automata on linear orderings
    Bruyere, Veronique
    Carton, Olivier
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2007, 73 (01) : 1 - 24
  • [3] Automata on linear orderings
    Bruyère, V
    Carton, O
    DEVELOPMENTS IN LANGUAGE THEORY, 2003, 2450 : 103 - 115
  • [4] TREE AUTOMATA AND AUTOMATA ON LINEAR ORDERINGS
    Bruyere, Veronique
    Carton, Olivier
    Senizergues, Geraud
    RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2009, 43 (02): : 321 - 338
  • [5] Equimorphism invariants for scattered linear orderings
    Montalban, Antonio
    FUNDAMENTA MATHEMATICAE, 2006, 191 (02) : 151 - 173
  • [6] Scattered Linear Orderings with no Computable Presentation
    Frolov, A. N.
    LOBACHEVSKII JOURNAL OF MATHEMATICS, 2014, 35 (01) : 19 - 22
  • [7] Hierarchy among automata on linear orderings
    Bruyère, V
    Carton, O
    FOUNDATIONS OF INFORMATION TECHNOLOGY IN THE ERA OF NETWORK AND MOBILE COMPUTING, 2002, 96 : 107 - 118
  • [8] Hierarchy Among Automata on Linear Orderings
    Véronique Bruyére
    Olivier Carton
    Theory of Computing Systems, 2005, 38 : 593 - 621
  • [9] Hierarchy among automata on linear orderings
    Bruyère, Véronique
    Carton, Olivier
    IFIP Advances in Information and Communication Technology, 2002, 96 : 107 - 118
  • [10] Hierarchy among automata on linear orderings
    Bruyére, V
    Carton, O
    THEORY OF COMPUTING SYSTEMS, 2005, 38 (05) : 593 - 621
12345