Non-deterministic halting times for Hamkins-Kidder turing machines

被引：0
|
作者：
Welch, P. D. [1 ]
机构：
[1] Univ Bristol, Sch Math, Bristol BS8 1TH, Avon, England
来源：
LOGICAL APPROACHES TO COMPTATIONAL BARRIERS, PROCEEDINGS | 2006年 / 3988卷
关键词：
D O I：
10.1007/11780342_58
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：571 / 574
页数：4
相关论文
共 21 条
  • [1] Bounding lemmata for non-deterministic halting times of transfinite Turing machines
    Welch, Philip D.
    THEORETICAL COMPUTER SCIENCE, 2008, 394 (03) : 223 - 228
  • [2] Optical Designs for Non-deterministic Turing Machines (Extended Abstract)
    Dolev, Shlomi
    Nir, Yuval
    OPTICAL SUPERCOMPUTING, PROCEEDINGS, 2009, 5882 : 47 - 55
  • [3] Distinguing Non-deterministic Timed Finite State Machines
    Gromov, Maxim
    El-Fakih, Khaled
    Shabaldina, Natalia
    Yevtushenko, Nina
    FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, PROCEEDINGS, 2009, 5522 : 137 - +
  • [4] Learning Abstracted Non-deterministic Finite State Machines
    Pferscher, Andrea
    Aichernig, Bernhard K.
    TESTING SOFTWARE AND SYSTEMS, ICTSS 2020, 2020, 12543 : 52 - 69
  • [5] A Logic for Non-deterministic Parallel Abstract State Machines
    Ferrarotti, Flavio
    Schewe, Klaus-Dieter
    Tec, Loredana
    Wang, Qing
    FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (FOIKS 2016), 2016, 9616 : 334 - 354
  • [6] Impact of Non-Deterministic Software Execution Times in SmartGrid Applications
    Smith, David
    Olariu, Cristian
    Perry, Philip
    Murphy, John
    2015 26TH IRISH SIGNALS AND SYSTEMS CONFERENCE (ISSC), 2015,
  • [7] A unifying logic for non-deterministic, parallel and concurrent abstract state machines
    Ferrarotti, Flavio
    Schewe, Klaus-Dieter
    Tec, Loredana
    Wang, Qing
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2018, 83 (3-4) : 321 - 349
  • [8] The physical Church-Turing thesis and non-deterministic computation over the real numbers
    Dowek, Gilles
    PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 2012, 370 (1971): : 3349 - 3358
  • [9] A unifying logic for non-deterministic, parallel and concurrent abstract state machines
    Flavio Ferrarotti
    Klaus-Dieter Schewe
    Loredana Tec
    Qing Wang
    Annals of Mathematics and Artificial Intelligence, 2018, 83 : 321 - 349
  • [10] Bounded sequence testing from non-deterministic finite state machines
    Ipate, Florentin
    TESTING OF COMMUNICATION SYSTEMS, PROCEEDINGS, 2006, 3964 : 55 - 70
123