Computación interactiva

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

Usos

Entre los modelos matemáticos de computación actualmente estudiados 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 computabilidad, las máquinas persistentes de Turing de Dina Q. Goldin (PTM) y las máquinas de estados abstractos de Yuri Gurevich. Peter Wegner también ha trabajado mucho en este campo de la informática.