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 条
  • [41] Automata theory based on quantum logic: some characterizations
    Qiu, DW
    INFORMATION AND COMPUTATION, 2004, 190 (02) : 179 - 195
  • [42] Automata Theory Based on Quantum Logic: Recognizability and Accessibility
    Jun Liu
    Zhi-wen Mo
    International Journal of Theoretical Physics, 2009, 48 : 1150 - 1163
  • [43] Automata Theory Based on Quantum Logic: Recognizability and Accessibility
    Liu, Jun
    Mo, Zhi-wen
    INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2009, 48 (04) : 1150 - 1163
  • [44] Topological characterizations of automata theory based on quantum logic
    Guo, Xiu-Hong
    Ruan Jian Xue Bao/Journal of Software, 2007, 18 (06): : 1282 - 1286
  • [45] Automata theory based on quantum logic. (I)
    Ying, MS
    INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2000, 39 (04) : 985 - 995
  • [46] Polynomial-time algorithms for the equivalence for one-way quantum finite automata
    Koshiba, T
    ALGORITHMS AND COMPUTATION, PROCEEDINGS, 2001, 2223 : 268 - 278
  • [47] An Equivalence Based Method for Compositional Verification of the Linear Temporal Logic of Constraint Automata
    Izadi, Mohammad
    Rahimabadi, Ali Movaghar
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 159 : 171 - 186
  • [48] Equivalence in automata theory based on complete residuated lattice-valued logic
    Xing, Hongyan
    Qiu, Damen
    Liu, Fuchun
    Fan, Zhujun
    FUZZY SETS AND SYSTEMS, 2007, 158 (13) : 1407 - 1422
  • [49] CLASSICAL AND LOGIC-BASED DYNAMIC OBSERVERS FOR FINITE AUTOMATA
    CAINES, PE
    GREINER, R
    WANG, SN
    IMA JOURNAL OF MATHEMATICAL CONTROL AND INFORMATION, 1991, 8 (01) : 45 - 80
  • [50] Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation
    Devroey, Xavier
    Perrouin, Gilles
    Papadakis, Mike
    Legay, Axel
    Schobbens, Pierre-Yves
    Heymans, Patrick
    2017 10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2017, : 424 - 429
12345