user

On the Descriptional Complexity of Deterministic Ordered Restarting Automata

被引：0
|
作者：
Otto, Friedrich [1 ]
机构：
[1] Univ Kassel, Fachbereich Elektrotech Informat, D-34109 Kassel, Germany
来源：
DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2014 | 2014年 / 8614卷
关键词：
restarting automaton; ordered rewriting; descriptional complexity; language operations;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We show that the deterministic ordered restarting automaton is polynomially related in size to the weight-reducing Hennie machine. Accordingly, it allows very compact representations of (some) regular languages. In addition, we investigate the descriptional complexity of the operations of reversal, complementation, intersection, and union for regular languages that are given through stateless deterministic ordered restarting automata.
引用
收藏
页码：318 / 329
页数：12
相关论文
共 50 条
  • [1] On the descriptional complexity of stateless deterministic ordered restarting automata
    Otto, Friedrich
    Kwee, Kent
    [J]. INFORMATION AND COMPUTATION, 2018, 259 : 277 - 302
  • [2] ON THE DESCRIPTIONAL COMPLEXITY OF THE WINDOW SIZE FOR DELETING RESTARTING AUTOMATA
    Kutrib, Martin
    Otto, Friedrich
    [J]. INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2013, 24 (06) : 831 - 846
  • [3] Deterministic Ordered Restarting Automata that Compute Functions
    Otto, Friedrich
    Kwee, Kent
    [J]. DEVELOPMENTS IN LANGUAGE THEORY (DLT 2015), 2015, 9168 : 401 - 412
  • [4] Deterministic ordered restarting automata for picture languages
    Otto, Friedrich
    Mraz, Frantisek
    [J]. ACTA INFORMATICA, 2015, 52 (7-8) : 593 - 623
  • [5] Deterministic ordered restarting automata for picture languages
    Friedrich Otto
    František Mráz
    [J]. Acta Informatica, 2015, 52 : 593 - 623
  • [6] Descriptional complexity of limited automata
    Kutrib, Martin
    Pighizzini, Giovanni
    Wendlandt, Matthias
    [J]. INFORMATION AND COMPUTATION, 2018, 259 : 259 - 276
  • [7] On stateless deterministic restarting automata
    Martin Kutrib
    Hartmut Messerschmidt
    Friedrich Otto
    [J]. Acta Informatica, 2010, 47 : 391 - 412
  • [8] On Stateless Deterministic Restarting Automata
    Kutrib, Martin
    Messerschmidt, Hartmut
    Otto, Friedrich
    [J]. SOFSEM 2009-THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, 2009, 5404 : 353 - +
  • [9] On stateless deterministic restarting automata
    Kutrib, Martin
    Messerschmidt, Hartmut
    Otto, Friedrich
    [J]. ACTA INFORMATICA, 2010, 47 (7-8) : 391 - 412
  • [10] Reversible Ordered Restarting Automata
    Otto, Friedrich
    Wendlandt, Matthias
    Kwee, Kent
    [J]. REVERSIBLE COMPUTATION, RC 2015, 2015, 9138 : 60 - 75
12345