GODEL, NON-DETERMINISTIC SYSTEMS, AND HERMETIC AUTOMATA

被引:1
|
作者
DESMONDE, WH [1 ]
机构
[1] NASSAU COMMUNITY COLL,GARDEN CITY,NY
关键词
D O I
10.5840/ipq19711114
中图分类号
B [哲学、宗教];
学科分类号
01 ; 0101 ;
摘要
引用
收藏
页码:49 / 74
页数:26
相关论文
共 50 条
  • [31] Non-deterministic weighted automata evaluated over Markov chains
    Michaliszyn, Jakub
    Otop, Jan
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2020, 108 : 118 - 136
  • [32] Combinatorial stability of non-deterministic systems
    Duarte, P
    Torres, MJ
    ERGODIC THEORY AND DYNAMICAL SYSTEMS, 2006, 26 : 93 - 128
  • [33] USING SAT SOLVERS FOR SYNCHRONIZATION ISSUES IN NON-DETERMINISTIC AUTOMATA
    Shabana, Hanan
    Volkov, Mikhail V.
    SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2018, 15 : 1426 - 1442
  • [34] SOME EXTENSIONS OF CONGRUENCE CONCEPT FOR INCOMPLETE NON-DETERMINISTIC AUTOMATA
    YEH, RT
    JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 1969, 288 (06): : 499 - &
  • [35] ON PRIMENESS OF NON-DETERMINISTIC AUTOMATA ASSOCIATED WITH INPUT SEMIGROUP S
    Shaheen, Salma
    Shabir, Muhammad
    TWMS JOURNAL OF PURE AND APPLIED MATHEMATICS, 2018, 9 (02): : 223 - 230
  • [36] NON-DETERMINISTIC 2-TAPE AUTOMATA ARE MORE POWERFUL THAN DETERMINISTIC ONES
    BRAUER, W
    LANGE, KJ
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 182 : 71 - 79
  • [37] Designing a Bangla Parser using Non-Deterministic Push Down Automata
    Rahman, Md. Mostafizur
    Abdulla-Al-Sun, Md.
    Hasan, K. M. Azharul
    Shuvo, Mohammad Insanur Rahman
    2017 INTERNATIONAL CONFERENCE ON ELECTRICAL, COMPUTER AND COMMUNICATION ENGINEERING (ECCE), 2017, : 571 - 576
  • [38] The Power of Non-deterministic Reassignment in Infinite-Alphabet Pushdown Automata
    Dubov, Yulia
    Kaminski, Michael
    LANGUAGES: FROM FORMAL TO NATURAL: ESSAYS DEDICATED TO NISSIM FRANCEZ ON THE OCCASION OF HIS 65TH BIRTHDAY, 2009, 5533 : 107 - +
  • [39] The Necessary and Sufficient Condition of State Merging in Non-Deterministic Finite Automata
    Zhang, Ming-ming
    Tang, Rui-xue
    PROCEEDINGS OF 2010 ASIA-PACIFIC YOUTH CONFERENCE ON COMMUNICATION, VOLS 1 AND 2, 2010, : 641 - 646
  • [40] A Modal Logic for Non-deterministic Information Systems
    Khan, Md. Aquil
    LOGIC AND ITS APPLICATIONS, ICLA 2015, 2015, 8923 : 119 - 131