Permanent Persistent Turing Machine: A new Model for Interactive Computation

Sepehr Ebrahimi MOOD [1] , Mohammad Masoud JAVİDİ [2]


Since the computation of human life is in the progress rapidly and there is interaction in their computational process, we need to offer new concepts in computational theory, especially in the interactive computation to obviate these needs. In this paper, we introduce a new model for interactive computation. First, we briefly review interactive computation concept. Then, we provide and explain Persistent Turing Machine, as a model for interactive computation. There are some disadvantages in definitions of this model. For example, there is not functional property in the computational process of these models. As well as, the language which was accepted by this model, defined as a set of streams. Whereas, in other computational models, we use a set of strings, for indicating the language which was accepted by a model. As a result, we cannot compare the languages were accepted by these models, with the other models and their languages. Next, we propose Permanent Persistent Turing Machine (PPTM), as a model of interactive computation, so that, eliminate these disadvantages. After that, we define sets and relationships were accepted by the PPTMs and introduce their properties in details. Finally, we compare the computational power of this model with other classical models; and we prove that the computational power of the proposed model is more than Turing machine and it can compute some problems, which are not computed by Turing machine.


Interactive Computation, Permanent Persistent Turing Machine, Persistent Turing Machine, Permanent Recursive Languages, Permanent Recursive Enumerable Languages
  • [1] Goldin, Dina, Scott A. Smolka, and Peter Wegner, eds. Interactive computation: The new paradigm. Springer Science & Business Media, 2006.
  • [2] Goldin, Dina Q., Scott A. Smolka, Paul C. Attie, and Elaine L. Sonderegger. "Turing machines, transition systems, and interaction." Information and Computation 194, no. 2 (2004): 101-128.
  • [3] Wegner, Peter. "Interactive foundations of computing." Theoretical computer science 192, no. 2 (1998): 315-351.
  • [4] Syropoulos, Apostolos. Hypercomputation: computing beyond the Church-Turing barrier. Springer Science & Business Media, 2008.
  • [5] Goldin, Dina Q. "Persistent Turing machines as a model of interactive computation." In International Symposium on Foundations of Information and Knowledge Systems, pp. 116-135. Springer, Berlin, Heidelberg, 2000.
  • [6] Wegner, Peter. "Interactive foundations of computing." Theoretical computer science 192, no. 2 (1998): 315-351.
  • [7] Cooper, B. S. "Computability Theory. Chapman Hall/Crc Mathematics Series." (2003).
  • [8] Davis, Martin, Ron Sigal, and Elaine J. Weyuker. Computability, complexity, and languages: fundamentals of theoretical computer science. Newnes, 1994.
  • [9] Ord, Toby. "Hypercomputation: computing more than the Turing machine." arXiv preprint math/0209332 (2002).
  • [10] Copeland, B. Jack. "The church-turing thesis." Stanford encyclopedia of philosophy (2002).
  • [11] Kolan, Amy J. "Interactive Computation for Undergraduates: The Next Generation." Journal of Statistical Physics 167, no. 3-4 (2017): 997-1006.
  • [12] Kosub, Sven. Persistent computations. Inst. für Informatik, 1998.
  • [13] Luttik, Bas, and Fei Yang. "On the Executability of Interactive Computation." In Conference on Computability in Europe, pp. 312-322. Springer International Publishing, 2016.
Primary Language en
Journal Section Articles
Authors

Author: Sepehr Ebrahimi MOOD

Author: Mohammad Masoud JAVİDİ

Dates

Publication Date : May 30, 2018

Bibtex @research article { cankujse428191, journal = {Cankaya University Journal of Science and Engineering}, issn = {}, eissn = {2564-7954}, address = {}, publisher = {Cankaya University}, year = {2018}, volume = {15}, pages = { - }, doi = {}, title = {Permanent Persistent Turing Machine: A new Model for Interactive Computation}, key = {cite}, author = {Mood, Sepehr Ebrahimi and Javi̇di̇, Mohammad Masoud} }
APA Mood, S , Javi̇di̇, M . (2018). Permanent Persistent Turing Machine: A new Model for Interactive Computation . Cankaya University Journal of Science and Engineering , 15 (1) , . Retrieved from https://dergipark.org.tr/en/pub/cankujse/issue/37138/428191
MLA Mood, S , Javi̇di̇, M . "Permanent Persistent Turing Machine: A new Model for Interactive Computation" . Cankaya University Journal of Science and Engineering 15 (2018 ): <https://dergipark.org.tr/en/pub/cankujse/issue/37138/428191>
Chicago Mood, S , Javi̇di̇, M . "Permanent Persistent Turing Machine: A new Model for Interactive Computation". Cankaya University Journal of Science and Engineering 15 (2018 ):
RIS TY - JOUR T1 - Permanent Persistent Turing Machine: A new Model for Interactive Computation AU - Sepehr Ebrahimi Mood , Mohammad Masoud Javi̇di̇ Y1 - 2018 PY - 2018 N1 - DO - T2 - Cankaya University Journal of Science and Engineering JF - Journal JO - JOR SP - EP - VL - 15 IS - 1 SN - -2564-7954 M3 - UR - Y2 - 2020 ER -
EndNote %0 Cankaya University Journal of Science and Engineering Permanent Persistent Turing Machine: A new Model for Interactive Computation %A Sepehr Ebrahimi Mood , Mohammad Masoud Javi̇di̇ %T Permanent Persistent Turing Machine: A new Model for Interactive Computation %D 2018 %J Cankaya University Journal of Science and Engineering %P -2564-7954 %V 15 %N 1 %R %U
ISNAD Mood, Sepehr Ebrahimi , Javi̇di̇, Mohammad Masoud . "Permanent Persistent Turing Machine: A new Model for Interactive Computation". Cankaya University Journal of Science and Engineering 15 / 1 (May 2018): - .
AMA Mood S , Javi̇di̇ M . Permanent Persistent Turing Machine: A new Model for Interactive Computation. Cankaya University Journal of Science and Engineering. 2018; 15(1): -.
Vancouver Mood S , Javi̇di̇ M . Permanent Persistent Turing Machine: A new Model for Interactive Computation. Cankaya University Journal of Science and Engineering. 2018; 15(1): -.