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 条