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 条
  • [31] Finite State and Finite Stop Quantum Languages
    Ruqian Lu
    Hong Zheng
    International Journal of Theoretical Physics, 2005, 44 : 1495 - 1530
  • [32] Finite state and finite stop quantum languages
    Lu, RQ
    Zheng, H
    INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2005, 44 (09) : 1495 - 1530
  • [33] On the power of quantum finite state automata
    Kondacs, A
    Watrous, J
    38TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 1997, : 66 - 75
  • [34] FINITE-STATE UNIFICATION AUTOMATA AND RELATIONAL LANGUAGES
    SHEMESH, Y
    FRANCEZ, N
    INFORMATION AND COMPUTATION, 1994, 114 (02) : 192 - 213
  • [35] Unambiguous finite automata over a unary alphabet
    Okhotin, Alexander
    INFORMATION AND COMPUTATION, 2012, 212 : 15 - 36
  • [36] Complexity of Unary Exclusive Nondeterministic Finite Automata
    Kutrib, Martin
    Malcher, Andreas
    Wendlandt, Matthias
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2024, (407):
  • [37] Unambiguous Finite Automata over a Unary Alphabet
    Okhotin, Alexander
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2010, 2010, 6281 : 556 - 567
  • [38] Erratum: Finite automata and unary languages (Theoretical Computer Science (1986) 47 (149-158))
    Chrobak, Marek
    Theoretical Computer Science, 2003, 302 (1-3) : 497 - 498
  • [39] Unary Probabilistic and Quantum Automata on Promise Problems
    Gainutdinova, Aida
    Yakaryilmaz, Abuzer
    DEVELOPMENTS IN LANGUAGE THEORY (DLT 2015), 2015, 9168 : 252 - 263
  • [40] Decision Problems on Unary Probabilistic and Quantum Automata
    Hirvensalo, Mika
    Yakaryilmaz, Abuzer
    BALTIC JOURNAL OF MODERN COMPUTING, 2016, 4 (04): : 965 - 976