Computación interactiva

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

Usos

Entre los modelos matemáticos de computación que se estudian actualmente y que intentan capturar la interacción se encuentran las máquinas de juego fácil y difícil de Giorgi Japaridze , elaboradas en el 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 una gran cantidad de trabajos en esta área de la ciencia informática ^{[ cita requerida ]} .

Véase también

• Cálculo circular
• Lógica de computabilidad
• Semántica del juego
• Computación basada en humanos
• Hipercomputación
• Programación interactiva
• Computación de membrana
• Cuasi-empirismo
• RE (complejidad)
• Algoritmo superrecursivo

Referencias

• Computación interactiva: el nuevo paradigma ISBN  3-540-34666-X . Editado 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, págs. 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), págs. 101-128
• P. Wegner , Fundamentos interactivos de la informática. Theoretical Computer Science 192 (1998), págs. 315-351.

Enlaces externos

• Máquinas de estados abstractos OBSOLETAS EN 2009
• [https://en.wikipedia.org/wiki/Interactive_computation/Abstract_state_machine}