Calcul interactif - Interactive computation
En informatique , le calcul interactif est un modèle mathématique de calcul qui implique une communication entrée / sortie avec le monde externe pendant le calcul.
Les usages
Parmi les modèles mathématiques de calcul actuellement étudiés qui tentent de capturer l'interaction figurent les machines difficiles et faciles à jouer de Giorgi Japaridze élaborées dans le cadre de la logique de calculabilité , les machines de Turing persistantes (PTM) de Dina Q. Goldin et Yuri Gurevich ' s machines à états abstraites . Peter Wegner a en outre beaucoup travaillé dans ce domaine de l'informatique.
Voir également
- Calcul cirquent
- Logique de calculabilité
- Sémantique du jeu
- Calcul basé sur l'homme
- Hypercalcul
- Programmation interactive
- Calcul membranaire
- Quasi-empirisme
- RE (complexité)
- Algorithme super-récursif
Les références
- Calcul interactif: le nouveau paradigme ISBN 3-540-34666-X . Edité par D. Goldin, S. Smolka et P. Wegner. Springer, 2006.
- D. Goldin, Machines de Turing persistantes comme modèle de calcul interactif . Notes de cours en informatique 1762, pp. 116-135.
- D. Goldin, S. Smolka, P. Attie, E. Sonderegger, Machines de Turing, Systèmes de Transition et Interaction . J. Information and Computation 194: 2 (2004), pp. 101-128
- P. Wegner , Fondements interactifs de l'informatique . Theoretical Computer Science 192 (1998), pp. 315-351.