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 条

[1] Nondeterministic finite automata based on quantum logic: Language equivalence relation and robustness
Wang, Haihui
Zhao, Luyao
Li, Ping
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2021, 129 : 20 - 40
[2] On path equivalence of nondeterministic finite automata
Tzeng, WG
INFORMATION PROCESSING LETTERS, 1996, 58 (01) : 43 - 46
[3] On the Equivalence of Stationary and Finite-Nonstationary Nondeterministic Automata
Mbaitar, J. -B.
VESTNIK ST PETERSBURG UNIVERSITY-MATHEMATICS, 2007, 40 (04) : 310 - 314
[4] Languages recognized by nondeterministic quantum finite automata
Yakaryilmaz, Abuzer
Cem Say, A.C.
Quantum Information and Computation, 2010, 10 (9-10): : 747 - 770
[5] Algorithmic Formal Proof of Equivalence of Nondeterministic and Deterministic Finite Automata
Zafar, Nazir Ahmad
Shah, Syed Hasnain Haider
ICECT: 2009 INTERNATIONAL CONFERENCE ON ELECTRONIC COMPUTER TECHNOLOGY, PROCEEDINGS, 2009, : 108 - +
[6] LANGUAGES RECOGNIZED BY NONDETERMINISTIC QUANTUM FINITE AUTOMATA
Yakaryilmaz, Abuzer
Say, A. C. Cem
QUANTUM INFORMATION & COMPUTATION, 2010, 10 (9-10) : 747 - 770
[7] Language Equivalence from Nondeterministic to Weighted Automata-and Back
Boreale, Michele
Collodi, Luisa
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: REOCAS COLLOQUIUM IN HONOR OF ROCCO DE NICOLA, PT I, ISOLA 2024, 2025, 15219 : 75 - 93
[8] On Relation Between Linear Temporal Logic and Quantum Finite Automata
Bhatia, Amandeep Singh
Kumar, Ajay
JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2020, 29 (02) : 109 - 120
[9] On Relation Between Linear Temporal Logic and Quantum Finite Automata
Amandeep Singh Bhatia
Ajay Kumar
Journal of Logic, Language and Information, 2020, 29 : 109 - 120
[10] Finite automata based on quantum logic and monadic second-order quantum logic
LI YongMing College of Computer Science
Science China(Information Sciences), 2010, 53 (01) : 101 - 114

← 1 2 3 4 5 →