Automata theory based on quantum logic. (I)

被引：46
|
作者：
Ying, MS [1 ]
机构：
[1] Tsing Hua Univ, Dept Comp Sci & Technol, State Key Lab Intelligent Technol & Syst, Beijing 100084, Peoples R China
来源：
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS | 2000年 / 39卷 / 04期
关键词：
D O I：
10.1023/A:1003642222321
中图分类号：
O4 [物理学];
学科分类号：
0702 ;
摘要：
We present a basic Framework of automats theory based on quantum logic. In particular, we introduce the orthomodular lattice-valued (quantum) predicate of recognizability and establish some of its fundamental properties.
引用
收藏
页码：985 / 995
页数：11
相关论文
共 50 条
  • [41] Rationality and Logic.
    Goldman, Steven L.
    EUROPEAN LEGACY-TOWARD NEW PARADIGMS, 2008, 13 (04): : 495 - 497
  • [42] Automata theory based on complete residuated lattice-valued logic: Pushdown automata
    Xing, Hongyan
    Qiu, Daowen
    Liu, Fuchun
    FUZZY SETS AND SYSTEMS, 2009, 160 (08) : 1125 - 1140
  • [43] Nightmare logic.
    Cassada, J
    LIBRARY JOURNAL, 2004, 129 (07) : 129 - 129
  • [44] Fire logic.
    Cassada, J
    LIBRARY JOURNAL, 2002, 127 (09) : 129 - 129
  • [45] Plausibility of logic.
    Reichenbach, H
    SITZUNGSBERICHTE DER PREUSSICHEN AKADEMIE DER WISSENSCHAFTEN PHYSIKALISCH-MATHEMATISCHE KLASSE, 1932, : 476 - 488
  • [46] PROGRAMMABLE LOGIC.
    Gabay, Jon
    Electronic Products (Garden City, New York), 1985, 27 (18): : 44 - 54
  • [47] A comment on "Automata theory based on complete residuated lattice-valued logic: Pushdown automata"
    Guo, Xiuhong
    FUZZY SETS AND SYSTEMS, 2012, 199 : 130 - 135
  • [48] BUBBLE ARRAY LOGIC.
    Chang, H.
    Lee, S.Y.
    IBM technical disclosure bulletin, 1984, 26 (09): : 4756 - 4758
  • [49] DESIGN WITH LOCKOUT LOGIC.
    Hershfield, Walton N.
    Electronic Design, 1974, 22 (15) : 86 - 89
  • [50] PARTITIONING OF PLA LOGIC.
    Anon
    IBM technical disclosure bulletin, 1985, 28 (06): : 2332 - 2333
12345