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 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 difícil y fácil de Giorgi Japaridze elaboradas dentro del marco de la lógica de computabilidad , las máquinas de Turing persistentes (PTM) de Dina Q. Goldin y las máquinas de Turing persistentes (PTM) de Yuri Gurevich ' s máquinas de estado abstractas . Peter Wegner también ha trabajado mucho en esta área de la informática [ cita requerida ] .
Ver también
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, Persistent Turing Machines como modelo de computación interactiva . Lecture Notes in Computer Science 1762, págs. 116-135.
- D. Goldin, S. Smolka, P. Attie, E. Sonderegger, Turing Machines, Transition Systems e Interaction . 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 estado abstracto con fecha de 2009
- [ https://en.wikipedia.org/wiki/Abstract_state_machine }