Nondeterministic finite automata based on quantum logic: Language equivalence relation and robustness

被引：0
|
作者：
机构：
[1] Wang, Haihui
[2] Zhao, Luyao
[3] Li, Ping
来源：
Li, Ping (liping@snnu.edu.cn) | 1600年 / Elsevier Inc.卷 / 129期
关键词：
39;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Journal article (JA)
引用
收藏
相关论文
共 50 条
  • [31] Notes on automata theory based on quantum logic
    QIU DaoWen Department of Computer Science
    Science China(Information Sciences), 2007, (02) : 154 - 169
  • [32] Characterization of Tree Automata Based on Quantum Logic
    M. Ghorani
    International Journal of Theoretical Physics, 2022, 61
  • [33] Automata theory based on quantum logic II
    Ying, MS
    INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2000, 39 (11) : 2545 - 2557
  • [34] Multi-letter quantum finite automata: decidability of the equivalence and minimization of states
    Qiu, Daowen
    Li, Lvzhou
    Zou, Xiangfu
    Mateus, Paulo
    Gruska, Jozef
    ACTA INFORMATICA, 2011, 48 (5-6) : 271 - 290
  • [35] Multi-letter quantum finite automata: decidability of the equivalence and minimization of states
    Daowen Qiu
    Lvzhou Li
    Xiangfu Zou
    Paulo Mateus
    Jozef Gruska
    Acta Informatica, 2011, 48
  • [36] Model-based mutant equivalence detection using automata language equivalence and simulations
    Devroey, Xavier
    Perrouin, Gilles
    Papadakis, Mike
    Legay, Axel
    Schobbens, Pierre-Yves
    Heymans, Patrick
    JOURNAL OF SYSTEMS AND SOFTWARE, 2018, 141 : 1 - 15
  • [37] BOUNDS FOR STATE-SET SIZE IN PROOFS OF EQUIVALENCE BETWEEN DETERMINISTIC, NONDETERMINISTIC, AND 2-WAY FINITE AUTOMATA
    MOORE, FR
    IEEE TRANSACTIONS ON COMPUTERS, 1971, C 20 (10) : 1211 - &
  • [38] Antichain-based universality and inclusion testing over nondeterministic finite tree automata
    Bouajjani, Ahmed
    Habermehl, Peter
    Holik, Lukas
    Touili, Tayssir
    Vojnar, Tomas
    IMPLEMENTATION AND APPLICATION OF AUTOMATA, PROCEEDINGS, 2008, 5148 : 57 - +
  • [39] Automata theory based on quantum logic: some characterizations
    Qiu, DW
    INFORMATION AND COMPUTATION, 2004, 190 (02) : 179 - 195
  • [40] Automata Theory Based on Quantum Logic. (I)
    Mingsheng Ying
    International Journal of Theoretical Physics, 2000, 39 : 985 - 995
12345