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 条
  • [41] State complexity of operations on two-way finite automata over a unary alphabet
    Kunc, Michal
    Okhotin, Alexander
    [J]. THEORETICAL COMPUTER SCIENCE, 2012, 449 : 106 - 118
  • [42] Finite-state registered automata and their uses in natural languages
    Cohen-Sygal, Yael
    Wintner, Shuly
    [J]. FINITE-STATE METHODS AND NATURAL LANGUAGE PROCESSING, 2006, 4002 : 43 - +
  • [43] Mathematical logic and quantum finite state automata
    Dzelme-Berzina, Ilze
    [J]. THEORETICAL COMPUTER SCIENCE, 2009, 410 (20) : 1952 - 1959
  • [44] Unary finite automata vs. arithmetic progressions
    To, Anthony Widjaja
    [J]. INFORMATION PROCESSING LETTERS, 2009, 109 (17) : 1010 - 1014
  • [45] COVER AUTOMATA FOR FINITE LANGUAGES
    Salomaa, Arto
    Yu, Sheng
    [J]. BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2007, (92): : 65 - 74
  • [46] A Myhill-Nerode Theorem for Finite State Matrix Automata and Finite Matrix Languages
    Midya, Abhisek
    Thomas, D. G.
    [J]. COMBINATORIAL IMAGE ANALYSIS, IWCIA 2022, 2023, 13348 : 154 - 170
  • [47] Quantum Finite State Automata over Infinite Words
    Dzelme-Berzina, Ilze
    [J]. UNCONVENTIONAL COMPUTATION, PROCEEDINGS, 2010, 6079 : 188 - 188
  • [48] ON THE STATE COMPLEXITY OF SEMI-QUANTUM FINITE AUTOMATA
    Zheng, Shenggen
    Gruska, Jozef
    Qiu, Daowen
    [J]. RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2014, 48 (02): : 187 - 207
  • [49] On the State Complexity of Semi-quantum Finite Automata
    Zheng, Shenggen
    Gruska, Jozef
    Qiu, Daowen
    [J]. LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2014), 2014, 8370 : 601 - 612
  • [50] State complexity of GF(2)-operations on unary languages
    Okhotin, Alexander
    Sazhneva, Elizaveta
    [J]. INFORMATION AND COMPUTATION, 2022, 284