Principal Ideal Languages and Synchronizing Automata

被引:4
|
作者
Gusev, Vladimir V. [1 ]
Maslennikova, Marina I. [1 ]
Pribavkina, Elena V. [1 ]
机构
[1] Ural Fed Univ, Inst Math & Comp Sci, Ekaterinburg 620083, Russia
基金
俄罗斯基础研究基金会;
关键词
ideal language; synchronizing automaton; synchronizing word; strongly connected automaton; syntactic complexity;
D O I
10.3233/FI-2014-1034
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
We study ideal languages generated by a single word. We provide an algorithm to construct a strongly connected synchronizing automaton for which such a language serves as the language of synchronizing words. Also we present a compact formula to calculate the syntactic complexity of this language.
引用
收藏
页码:95 / 108
页数:14
相关论文
共 50 条
  • [1] Ideal regular languages and strongly connected synchronizing automata
    Reis, Rogerio
    Rodaro, Emanuele
    [J]. THEORETICAL COMPUTER SCIENCE, 2016, 653 : 97 - 107
  • [2] Trim Strongly Connected Synchronizing Automata and Ideal Languages
    Maslennikova, Marina
    Rodaro, Emanuele
    [J]. FUNDAMENTA INFORMATICAE, 2018, 162 (2-3) : 183 - 203
  • [3] Learning Weighted Automata over Principal Ideal Domains
    van Heerdt, Gerco
    Kupke, Clemens
    Rot, Jurriaan
    Silva, Alexandra
    [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2020, 2020, 12077 : 602 - 621
  • [4] Synchronizing monotonic automata
    Ananichev, DS
    Volkov, MV
    [J]. DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS, 2003, 2710 : 111 - 121
  • [5] Synchronizing monotonic automata
    Ananichev, DS
    Volkov, MV
    [J]. THEORETICAL COMPUTER SCIENCE, 2004, 327 (03) : 225 - 239
  • [6] ON SYNCHRONIZING UNAMBIGUOUS AUTOMATA
    CARPI, A
    [J]. THEORETICAL COMPUTER SCIENCE, 1988, 60 (03) : 285 - 296
  • [7] Synchronizing weighted automata
    Ivan, Szabolcs
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (151): : 301 - 313
  • [8] Experiments with Synchronizing Automata
    Kisielewicz, Andrzej
    Kowalski, Jakub
    Szykula, Marek
    [J]. IMPLEMENTATION AND APPLICATION OF AUTOMATA, 2016, 9705 : 176 - 188
  • [9] Synchronizing random automata
    Skvortsov, Evgeny
    Zaks, Yulia
    [J]. DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, 2010, 12 (04): : 95 - 108
  • [10] Synchronizing groups and automata
    Arnold, Fredrick
    Steinberg, Benjamin
    [J]. THEORETICAL COMPUTER SCIENCE, 2006, 359 (1-3) : 101 - 110