Finitely Generated Synchronizing Automata

被引：3
|
作者：
Pribavkina, Elena V. [1 ]
Rodaro, Emanuele [2 ]
机构：
[1] Ural State Univ, Ekaterinburg 620083, Russia
[2] Univ Insubria, I-22100 Comazzo, Italy
来源：
LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS | 2009年 / 5457卷
关键词：
WORDS;
D O I：
10.1007/978-3-642-00982-2_57
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
A synchronizing word w for a given synchronizing DFA is called minimal if no proper prefix or suffix of w is synchronizing. We characterize the class of synchronizing automata having finite language of minimal synchronizing words (such automata are called finitely generated). Using this characterization we prove that any such automaton possesses a synchronizing word of length at most 3n - 5. We also prove that checking whether a given DFA A is finitely generated is co-NP-hard, and provide an algorithm for this problem which is exponential in the number of states A.
引用
收藏
页码：672 / +
页数：2
相关论文
共 50 条
  • [1] Synchronizing automata with finitely many minimal synchronizing words
    Pribavkina, Elena V.
    Rodaro, Emanuele
    [J]. INFORMATION AND COMPUTATION, 2011, 209 (03) : 568 - 579
  • [2] Collectives of Automata in Finitely Generated Groups
    D. V. Gusev
    I. A. Ivanov-Pogodaev
    A. Ya. Kanel-Belov
    [J]. Mathematical Notes, 2020, 108 : 671 - 678
  • [3] Collectives of Automata in Finitely Generated Groups
    Gusev, D., V
    Ivanov-Pogodaev, I. A.
    Kanel-Belov, A. Ya
    [J]. MATHEMATICAL NOTES, 2020, 108 (5-6) : 671 - 678
  • [4] Automatic sequences generated by synchronizing automata fulfill the Sarnak conjecture
    Deshouillers, Jean-Marc
    Drmota, Michael
    Muellner, Clemens
    [J]. STUDIA MATHEMATICA, 2015, 231 (01) : 83 - 95
  • [5] Synchronizing monotonic automata
    Ananichev, DS
    Volkov, MV
    [J]. DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS, 2003, 2710 : 111 - 121
  • [6] ON SYNCHRONIZING UNAMBIGUOUS AUTOMATA
    CARPI, A
    [J]. THEORETICAL COMPUTER SCIENCE, 1988, 60 (03) : 285 - 296
  • [7] Synchronizing monotonic automata
    Ananichev, DS
    Volkov, MV
    [J]. THEORETICAL COMPUTER SCIENCE, 2004, 327 (03) : 225 - 239
  • [8] Synchronizing random automata
    Skvortsov, Evgeny
    Zaks, Yulia
    [J]. DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, 2010, 12 (04): : 95 - 108
  • [9] Experiments with Synchronizing Automata
    Kisielewicz, Andrzej
    Kowalski, Jakub
    Szykula, Marek
    [J]. IMPLEMENTATION AND APPLICATION OF AUTOMATA, 2016, 9705 : 176 - 188
  • [10] Synchronizing weighted automata
    Ivan, Szabolcs
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (151): : 301 - 313
12345