Complexity results for two-way and multi-pebble automata and their logics

被引：0
|
作者：
Bar-Ilan Univ, Ramat-Gan, Israel [1 ]
机构：
来源：
Theor Comput Sci | / 2卷 / 161-184期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
20
引用
收藏
相关论文
共 50 条
  • [1] Complexity results for two-way and multi-pebble automata and their logics
    Globerman, N
    Harel, D
    THEORETICAL COMPUTER SCIENCE, 1996, 169 (02) : 161 - 184
  • [2] TRANSLATION FROM CLASSICAL TWO-WAY AUTOMATA TO PEBBLE TWO-WAY AUTOMATA
    Geffert, Viliam
    Istonova, L'ubomira
    RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2010, 44 (04): : 507 - 523
  • [3] Translation from Classical Two-Way Automata to Pebble Two-Way Automata
    Geffert, Viliam
    Istonova, L'ubomira
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2009, (03): : 131 - 140
  • [4] Size Complexity of Two-Way Finite Automata
    Kapoutsis, Christos A.
    DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS, 2009, 5583 : 47 - 66
  • [5] Oblivious two-way finite automata: Decidability and complexity
    Kutrib, Martin
    Malcher, Andreas
    Pighizzini, Giovanni
    INFORMATION AND COMPUTATION, 2014, 237 : 294 - 302
  • [6] On the state complexity of operations on two-way finite automata
    Jiraskova, Galina
    Okhotin, Alexander
    INFORMATION AND COMPUTATION, 2017, 253 : 36 - 63
  • [7] Two-Way Cost Automata and Cost Logics over Infinite Trees
    Blumensath, Achim
    Colcombet, Thomas
    Kuperberg, Denis
    Parys, Pawel
    Vanden Boom, Michael
    PROCEEDINGS OF THE JOINT MEETING OF THE TWENTY-THIRD EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC (CSL) AND THE TWENTY-NINTH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2014,
  • [8] Two-Way Finite Automata: Old and Recent Results
    Pighizzini, Giovanni
    FUNDAMENTA INFORMATICAE, 2013, 126 (2-3) : 225 - 246
  • [9] Two-Way Finite Automata: Old and Recent Results
    Pighizzini, Giovanni
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (90): : 3 - 20
  • [10] Descriptional complexity of two-way pushdown automata with restricted head reversals
    Malcher, Andreas
    Mereghetti, Carlo
    Palano, Beatrice
    THEORETICAL COMPUTER SCIENCE, 2012, 449 : 119 - 133
12345