Toward a Parallel Turing Machine Model

2016 ◽  
pp. 191-204
Author(s):  
Peng Qu ◽  
Jin Yan ◽  
Guang R. Gao
Keyword(s):  
Turing Machine ◽  
Machine Model ◽  
Parallel Turing Machine

The Turing Machine Model of Sensing, Manipulation, and Control

1989 ◽  
Author(s):  
Constantine Tsikos ◽  
Tom Chmielewski ◽  
Brian Frederick
Keyword(s):  
Turing Machine ◽  
Machine Model ◽  
And Control ◽  
Manipulation And Control

Some advances of the turing machine model of DEDS

1991 ◽  
Vol 24 (14) ◽  
pp. 75-79
Author(s):  
Bian Xiaochun ◽  
Zhang Yongguang ◽  
Qiao Jun
Keyword(s):  
Turing Machine ◽  
Machine Model

Hypermachines

2011 ◽  
Vol 76 (2) ◽  
pp. 620-636 ◽  
Author(s):  
Sy-David Friedman ◽  
P. D. Welch
Keyword(s):  
Turing Machine ◽  
Infinite Time ◽  
Machine Model ◽  
Infinite Loop

AbstractThe Infinite Time Turing Machine model [8] of Hamkins and Kidder is, in an essential sense, a “Σ2-machine” in that it uses a Σ2Liminf Rule to determine cell values at limit stages of time. We give a generalisation of these machines with an appropriate Σn rule. Such machines either halt or enter an infinite loop by stage , again generalising precisely the ITTM case.The collection of such machines taken together computes precisely those reals of the least model of analysis.

scholarly journals Intelligent Computing: Oxymoron?

Proceedings ◽  
2020 ◽  
Vol 47 (1) ◽  
pp. 31 ◽  
Author(s):  
Marcin J. Schroeder
Keyword(s):  
Multiple Intelligences ◽  
Turing Machine ◽  
Necessary Conditions ◽  
Human Beings ◽  
Machine Model ◽  
Intelligent Computing ◽  
Definite Answer ◽  
Definition Of

The present paper is intended as a defense of the view that whatever makes AI so useful and successful in competition with humans, it does not have to be intelligence, at least as we use this term in the human context. After all, the question of qualification for human beings to be considered intelligent does not have a definite answer. There is not even a common agreement on whether we can identify criteria for one (general or unified) intelligence or whether we should rather consider multiple intelligences. Thus, our discussion is focusing not on a complete definition of intelligence, but only on its necessary conditions, and not on computing artefacts, but on the process of computing in its Turing Machine model. Are there any features of computing which are in contradiction with the idea of intelligence? This is the reason why the title of this paper is formulated in a negative way, with the question of whether intelligent computing is an oxymoron.

Parallel Turing Machine, a Proposal

2017 ◽  
Vol 32 (2) ◽  
pp. 269-285 ◽  
Author(s):  
Peng Qu ◽  
Jin Yan ◽  
You-Hui Zhang ◽  
Guang R. Gao
Keyword(s):  
Turing Machine ◽  
Parallel Turing Machine

Verification of composed web service using Synthesized Nondeterministic Turing Model (SNTMM) with Multiple Tapes and Stacks

2021 ◽  
Vol 18 (4) ◽  
pp. 0-0
Keyword(s):  
Web Services ◽  
Turing Machine ◽  
General View ◽  
Deterministic System ◽  
Machine Model ◽  
Deterministic Systems ◽  
Proposed Model ◽  
Deterministic Turing Machine ◽  
Verification Model ◽  
Service Need

To verify the composed Web services, a general view of what traits of a service need to be identified is still lacking. The existing verification model did not address any mechanism for getting alternative services if we failed to reach the desired service and partially concentrated on the reachability problem for a deterministic and non-deterministic system in sequential. This paper proposes a Synthesised Non-deterministic Turing Machine Model (SNTMM) by combining the Multistacked Non-deterministic Turing Machine (MSNTM) model and Multitaped Non-deterministic Turing Machine (MTNTM) model to verify the composed Web services for both deterministic and non-deterministic systems in parallel. The deceased transition and departed service marking algorithm have been proposed to address each participated service’s reachability in composing service for all possible input in parallel. This article shows an example to demonstrate the meticulousness of the model. The experimental results show that the performance of the proposed model is measured efficiently

scholarly journals Intelligent Computing: Oxymoron?

Proceedings ◽  
2020 ◽  
Vol 47 (1) ◽  
pp. 31
Author(s):  
Marcin J. Schroeder
Keyword(s):  
Multiple Intelligences ◽  
Turing Machine ◽  
Necessary Conditions ◽  
Human Beings ◽  
Machine Model ◽  
Intelligent Computing ◽  
Definite Answer ◽  
Definition Of

The present paper is intended as a defense of the view that whatever makes AI so useful and successful in competition with humans, it does not have to be intelligence, at least as we use this term in the human context. After all, the question of qualification for human beings to be considered intelligent does not have a definite answer. There is not even a common agreement on whether we can identify criteria for one (general or unified) intelligence or whether we should rather consider multiple intelligences. Thus, our discussion is focusing not on a complete definition of intelligence, but only on its necessary conditions, and not on computing artefacts, but on the process of computing in its Turing Machine model. Are there any features of computing which are in contradiction with the idea of intelligence? This is the reason why the title of this paper is formulated in a negative way, with the question of whether intelligent computing is an oxymoron.

Sign in / Sign up

Export Citation Format

Share Document