Latvian Quantum Finite State Automata for Unary Languages

被引:0
|
作者
Mereghetti, Carlo [1 ]
Palano, Beatrice [1 ]
Raucci, Priscilla [1 ]
机构
[1] Univ Milan, Dipartimento Informat Giovanni Antoni, via Celoria 18, I-20135 Milan, Italy
关键词
Descriptional complexity; quantum finite state automata; unary languages; BOUNDS; SPACE; POWER; SIZE;
D O I
10.1142/S0129054124430032
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We design Latvian quantum finite state automata (LQFAs) recognizing unary regular languages with isolated cut point 1 2. From an architectural viewpoint, we suitably combine two LQFAs recognizing with isolated cut point, respectively, the finite part and the ultimately periodic part any given unary regular language L consists of. In particular, both these LQFAs incorporate a sub-module discriminating strings on the basis of their length. Both the number of basis states and the isolation around the cut point of the resulting LQFAs for L exponentially depend on the size of the minimal deterministic finite state automaton for L. Moreover, the recognition of L tends to becoming deterministic as the number of the basis states employed in the length-discriminating sub-module grows.
引用
收藏
页数:37
相关论文
共 50 条
  • [41] Unary probabilistic and quantum automata on promise problems
    Gainutdinova, Aida
    Yakaryilmaz, Abuzer
    QUANTUM INFORMATION PROCESSING, 2018, 17 (02)
  • [42] Unary probabilistic and quantum automata on promise problems
    Aida Gainutdinova
    Abuzer Yakaryılmaz
    Quantum Information Processing, 2018, 17
  • [43] Quantum Finite Automata and Probabilistic Reversible Automata: R-trivial Idempotent Languages
    Golovkins, Marats
    Kravtsev, Maksim
    Kravcevs, Vasilijs
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2011, 2011, 6907 : 351 - 363
  • [44] State complexity of operations on two-way finite automata over a unary alphabet
    Kunc, Michal
    Okhotin, Alexander
    THEORETICAL COMPUTER SCIENCE, 2012, 449 : 106 - 118
  • [45] Finite-state registered automata and their uses in natural languages
    Cohen-Sygal, Yael
    Wintner, Shuly
    FINITE-STATE METHODS AND NATURAL LANGUAGE PROCESSING, 2006, 4002 : 43 - +
  • [46] Mathematical logic and quantum finite state automata
    Dzelme-Berzina, Ilze
    THEORETICAL COMPUTER SCIENCE, 2009, 410 (20) : 1952 - 1959
  • [47] Unary finite automata vs. arithmetic progressions
    To, Anthony Widjaja
    INFORMATION PROCESSING LETTERS, 2009, 109 (17) : 1010 - 1014
  • [48] COVER AUTOMATA FOR FINITE LANGUAGES
    Salomaa, Arto
    Yu, Sheng
    BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2007, (92): : 65 - 74
  • [49] A Myhill-Nerode Theorem for Finite State Matrix Automata and Finite Matrix Languages
    Midya, Abhisek
    Thomas, D. G.
    COMBINATORIAL IMAGE ANALYSIS, IWCIA 2022, 2023, 13348 : 154 - 170
  • [50] Quantum Finite State Automata over Infinite Words
    Dzelme-Berzina, Ilze
    UNCONVENTIONAL COMPUTATION, PROCEEDINGS, 2010, 6079 : 188 - 188