This MedLibrary.org supplementary page on Interactive computation is provided directly from the open source Wikipedia as a service to our readers. Please see the note below on authorship of this content, as well as the Wikipedia usage guidelines. To search for other content from our encyclopedia supplement, please use the form below:
Related Sponsors
Interactive computation involves communication with the external world during the computation. This is in contrast to the traditional understanding of computation which assumes a simple interface between a computing agent and its environment, consisting in asking a question (input) and generating an answer (output).
The famous Church-Turing thesis attempts to define computation and computability in terms of Turing machines. However the Turing machine model only provides an answer to the question of what computability of functions means and, with interactive tasks not always being reducible to functions, it fails to capture our broader intuition of computation and computability. While this fact has been admitted by Alan Turing himself, it was not until recently that the theoretical computer science community realized the necessity to define adequate mathematical models of interactive computation. Among the currently studied mathematical models of computation that attempt to capture interaction are Japaridze's hard- and easy-play machines elaborated within the framework of computability logic, Goldin's persistent Turing machines, and Gurevich's abstract state machines. Peter Wegner has additionally done a great deal of work on this area of computer science.
See also
References and external web sources
- Interactive Computation: The New Paradigm ISBN 354034666X. Edited by D.Goldin, S.Smolka and P.Wegner. Springer, 2006.
- Abstract State Machines
- D.Q.Goldin, Persistent Turing Machines as a model of interactive computation. Lecture Notes in Computer Science 1762, pp.116-135.
- P.Wegner, Interactive foundations of computing. Theoretical Computer Science 192 (1998), pp.315-351.
Wikipedia content modification information:
- This page was last modified on 20 February 2008, at 13:08.
Wikipedia Authorship and Review
Wikipedia content provided here is not reviewed directly by MedLibrary.org. Wikipedia content is authored by an open community of volunteers and is not produced by or in any way affiliated with MedLibrary.org.
Wikipedia Usage Guidelines
This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article on "Interactive computation".
The URL for this specific entry is:
All Wikipedia text is available under the terms of the GNU Free Documentation License. (See Copyrights for details). Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc.