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 条
  • [22] Investigations on Automata and Languages over a Unary Alphabet
    Pighizzini, Giovanni
    IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2014, 2014, 8587 : 42 - 57
  • [23] Iterated Uniform Finite-State Transducers on Unary Languages
    Kutrib, Martin
    Malcher, Andreas
    Mereghetti, Carlo
    Palano, Beatrice
    SOFSEM 2021: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2021, 12607 : 218 - 232
  • [24] Rough Finite State Automata and Rough Languages
    Arulprakasam, R.
    Perumal, R.
    Radhakrishnan, M.
    Dare, V. R.
    PROCEEDINGS OF THE 10TH NATIONAL CONFERENCE ON MATHEMATICAL TECHNIQUES AND ITS APPLICATIONS (NCMTA 18), 2018, 1000
  • [25] Head and state hierarchies for unary multi-head finite automata
    Martin Kutrib
    Andreas Malcher
    Matthias Wendlandt
    Acta Informatica, 2014, 51 : 553 - 569
  • [26] Head and state hierarchies for unary multi-head finite automata
    Kutrib, Martin
    Malcher, Andreas
    Wendlandt, Matthias
    ACTA INFORMATICA, 2014, 51 (08) : 553 - 569
  • [27] Languages Recognized with Unbounded Error by Quantum Finite Automata
    Yakaryilmaz, Abuzer
    Say, A. C. Cem
    COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2009, 5675 : 356 - 367
  • [28] Pairs of Complementary Unary Languages with “Balanced” Nondeterministic Automata
    Viliam Geffert
    Giovanni Pighizzini
    Algorithmica, 2012, 63 : 571 - 587
  • [29] Pairs of Complementary Unary Languages with "Balanced" Nondeterministic Automata
    Geffert, Viliam
    Pighizzini, Giovanni
    ALGORITHMICA, 2012, 63 (03) : 571 - 587
  • [30] Pairs of Complementary Unary Languages with "Balanced" Nondeterministic Automata
    Geffert, Viliam
    Pighizzini, Giovanni
    LATIN 2010: THEORETICAL INFORMATICS, 2010, 6034 : 196 - +