Two double-exponential gaps for automata with a limited pushdown

被引：2
|
作者：
Bednarova, Zuzana [1 ]
Geffert, Viliam [1 ]
机构：
[1] Safarik Univ, Dept Comp Sci, Jesenna 5, Kosice 04154, Slovakia
来源：
INFORMATION AND COMPUTATION | 2017年 / 253卷
关键词：
Pushdown automata; Finite state automata; Two-way automata; Regular languages; Descriptional complexity; OPERATIONS;
D O I：
10.1016/j.ic.2016.06.005
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We shall consider nondeterministic and deterministic automata equipped with a limited pushdown (constant height NPDAS and DPDAS) as well as their two-way versions (constant height 2NPDAS and 2DPDAS). We show two double-exponential gaps for these devices, namely, (i) for complementing constant height one-way NPDAS and (if) for converting constant height 2NPDAS or 2DPDAS into one-way devices. (C) 2016 Elsevier Inc. All rights reserved.
引用
收藏
页码：381 / 398
页数：18
相关论文
共 50 条
  • [31] Non-Self-Embedding Grammars, Constant-Height Pushdown Automata, and Limited Automata
    Guillon, Bruno
    Pighizzini, Giovanni
    Prigioniero, Luca
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2020, 31 (08) : 1133 - 1157
  • [32] Brief Announcement: Population Protocols Decide Double-exponential Thresholds
    Czerner, Philipp
    PROCEEDINGS OF THE 2023 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING, PODC 2023, 2023, : 28 - 31
  • [33] Non-self-embedding Grammars, Constant-Height Pushdown Automata, and Limited Automata
    Guillon, Bruno
    Pighizzini, Giovanni
    Prigioniero, Luca
    IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2018, 2018, 10977 : 186 - 197
  • [34] RESOLUTION-OPTIMAL EXPONENTIAL AND DOUBLE-EXPONENTIAL TRANSFORM METHODS FOR FUNCTIONS WITH ENDPOINT SINGULARITIES
    Adcock, Ben
    Martin-Vaquero, Jesus
    Richardson, Mark
    SIAM JOURNAL ON SCIENTIFIC COMPUTING, 2017, 39 (01): : A164 - A187
  • [35] Two Grammatical Equivalents of Flip-Pushdown Automata
    Kostolanyi, Peter
    SOFSEM 2015: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2015, 8939 : 302 - 313
  • [36] FITTING A DOUBLE-EXPONENTIAL CURVE TO OBSERVED SALICYLATE CONCENTRATIONS IN BLOOD
    MUELLER, FW
    LIEBERMA.SV
    JOURNAL OF PHARMACEUTICAL SCIENCES, 1970, 59 (04) : 514 - &
  • [37] Limited Nondeterminism of Input-Driven Pushdown Automata: Decidability and Complexity
    Han, Yo-Sub
    Ko, Sang-Ki
    Salomaa, Kai
    DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2019, 2019, 11612 : 158 - 170
  • [38] A Compact Double-Exponential Circuit for Single Event Transient Emulation
    Bota, Sebastia A.
    Barcelo, Salvador
    Torrens, Gabriel
    Perello, Rafel
    Verd, Jaume
    de Paul, Ivan
    Segura, Jaume
    2023 38TH CONFERENCE ON DESIGN OF CIRCUITS AND INTEGRATED SYSTEMS, DCIS, 2023,
  • [39] Simulation of Two-Way Pushdown Automata Revisited
    Glueck, Robert
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (129): : 250 - 258
  • [40] Input-Driven Double-Head Pushdown Automata
    Holzer, Markus
    Kutrib, Martin
    Malcher, Andreas
    Wendlandt, Matthias
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (252): : 128 - 142
12345