The time dimension of computation models

The time dimension (temporal dimension) of computation models is studied. We argue that there is no time dimension associated with the traditional computation models such as Church’s /arada-calculus, Turing machines, and partial recursive functions. We define Iterative Turing Machines that have the time dimension. We also study the structures of time and their relation to computation models.

[1]  Gheorghe Paun,et al.  Grammar Systems , 1997, Handbook of Formal Languages.

[2]  G. Paun,et al.  Jewels are Forever , 1999, Springer Berlin Heidelberg.

[3]  R. Govindarajan,et al.  ParC project: practical constructs for parallel programming languages , 1991, [1991] Proceedings The Fifteenth Annual International Computer Software & Applications Conference.

[4]  Behavior and Expressiveness of Persistent Turing Machines Abstract , 1999 .

[5]  Robin Milner,et al.  Elements of interaction: Turing award lecture , 1993, CACM.

[6]  A. M. Turing,et al.  Computing Machinery and Intelligence , 1950, The Philosophy of Artificial Intelligence.

[7]  J. van Leeuwen,et al.  Theoretical Computer Science , 2003, Lecture Notes in Computer Science.

[8]  Sheng Yu,et al.  Synchronization expressions and languages , 1994, Proceedings of 1994 6th IEEE Symposium on Parallel and Distributed Processing.

[9]  Peter Wegner,et al.  Behavior and Expressiveness of Persistent Turing Machines , 1999 .

[10]  Wojciech Zielonka,et al.  The Book of Traces , 1995 .

[11]  Peter Wegner,et al.  Interactive , 2021, Encyclopedia of the UN Sustainable Development Goals.

[12]  Daniel L. McCue,et al.  A case for document management functions on the Web , 1997, CACM.

[13]  Gheorghe Paun,et al.  Grammar Systems: A Grammatical Approach to Distribution and Cooperation , 1995, ICALP.

[14]  Sheng Yu,et al.  Synchronization Expressions: Characterization Results and Implementation , 1999, Jewels are Forever.

[15]  Arto Salomaa,et al.  New Trends in Formal Languages , 1997, Lecture Notes in Computer Science.

[16]  J. T. Fraser,et al.  The Study of Time , 1972 .

[17]  Lester S. King.  The Study of Time , 1972 .

[18]  Peter Wegner,et al.  Why interaction is more powerful than algorithms , 1997, CACM.

[19]  Grzegorz Rozenberg,et al.  Theory of Traces , 1988, Theor. Comput. Sci..

[20]  N. Lawrence.  Levels of Language in Discourse about Time , 1978 .

[21]  Grzegorz Rozenberg,et al.  Handbook of Formal Languages , 1997, Springer Berlin Heidelberg.