Computación interactiva

En informática , la computación interactiva es un modelo matemático para la computación que implica la comunicación de entrada/salida con el mundo exterior durante el proceso de computación.

Entre los modelos matemáticos de computación estudiados actualmente que intentan capturar la interacción se encuentran las máquinas de juego fácil y difícil de Giorgi Japaridze , elaboradas dentro del marco de la lógica de la computabilidad , las máquinas de Turing persistentes (PTM) de Dina Q. Goldin y las máquinas de estados abstractos de Yuri Gurevich . Peter Wegner también ha realizado un gran trabajo en esta área de la informática .

• Cálculo de Cirquent
• lógica de computabilidad
• semántica de juegos
• Computación basada en humanos
• Hipercomputación
• Programación interactiva
• computación de membrana
• Cuasiempirismo
• RE (complejidad)
• Algoritmo superrecursivo

• Computación interactiva: El nuevo paradigma ISBN 3-540-34666-XEditado por D. Goldin, S. Smolka y P. Wegner. Springer, 2006.
• D. Goldin, Máquinas de Turing persistentes como modelo de computación interactiva . Lecture Notes in Computer Science 1762, pp.  116-135.
• D. Goldin, S. Smolka, P. Attie, E. Sonderegger, Máquinas de Turing, sistemas de transición e interacción . J. Information and Computation 194:2 (2004), pp.  101-128
• P. Wegner , Fundamentos interactivos de la computación . Theoretical Computer Science 192 (1998), pp.  315-351.

• Máquinas de estados abstractas (OBSOLETO, 2009)
• [ https://en.wikipedia.org/wiki/Abstract_state_machine }