Latvian Quantum Finite State Automata for Unary Languages

被引:0
|
作者
Mereghetti, Carlo [1 ]
Palano, Beatrice [1 ]
Raucci, Priscilla [1 ]
机构
[1] Univ Milan, Dipartimento Informat Giovanni Delgi Antoni, Via Celoria 18, I-20135 Milan, Italy
关键词
D O I
10.4204/EPTCS.388.8
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We design Latvian quantum finite state automata (LQFAs for short) recognizing unary regular languages with isolated cut point 1/2. From an architectural point of view, we combine two LQFAs recognizing with isolated cut point, respectively, the finite part and the ultimately periodic part of any given unary regular language L. In both modules, we use a component addressed in the literature and here suitably adapted to the unary case, to discriminate strings on the basis of their length. The number of basis states and the isolation around the cut point of the resulting LQFA for L exponentially depends on the size of the minimal deterministic finite state automaton for L.
引用
收藏
页码:63 / 78
页数:16
相关论文
共 50 条
  • [1] FINITE AUTOMATA AND UNARY LANGUAGES
    CHROBAK, M
    [J]. THEORETICAL COMPUTER SCIENCE, 1986, 47 (02) : 149 - 158
  • [2] Unary Quantum Finite State Automata with Control Language
    Mereghetti, Carlo
    Palano, Beatrice
    Raucci, Priscilla
    [J]. APPLIED SCIENCES-BASEL, 2024, 14 (04):
  • [3] Forgetting automata and unary languages
    Gloeckler, Jens
    [J]. INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2007, 18 (04) : 813 - 827
  • [4] Forgetting automata and unary languages
    Gloeckler, Jens
    [J]. IMPLEMENTATION AND APPLICATION OF AUTOMATA, 2006, 4094 : 186 - 197
  • [5] Limited Automata and Unary Languages
    Pighizzini, Giovanni
    Prigioniero, Luca
    [J]. DEVELOPMENTS IN LANGUAGE THEORY, DLT 2017, 2017, 10396 : 308 - 319
  • [6] Lower bounds on the size of quantum automata accepting unary languages
    Bertoni, A
    Mereghetti, C
    Palano, B
    [J]. THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2003, 2841 : 86 - 96
  • [7] Limited automata and unary languages
    Pighizzini, Giovanni
    Prigioniero, Luca
    [J]. INFORMATION AND COMPUTATION, 2019, 266 : 60 - 74
  • [8] Finite automata and unary languages (vol 47, pg 149, 1986)
    Chrobak, M
    [J]. THEORETICAL COMPUTER SCIENCE, 2003, 302 (1-3) : 497 - 498
  • [9] State Complexity of Chop Operations on Unary and Finite Languages
    Holzer, Markus
    Jakobi, Sebastian
    [J]. DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2012, 2012, 7386 : 169 - 182
  • [10] Languages recognizable by quantum finite automata
    Freivalds, R
    [J]. IMPLEMENTATION AND APPLICATION OF AUTOMATA, 2006, 3845 : 1 - 14