Interactive computation
In computer science, interactive computation is a mathematical model for computation that involves input/output communication with the external world during computation. == Uses == Among the currently studied mathematical models of computation that attempt to capture interaction are Giorgi Japaridze's hard- and easy-play machines elaborated within the framework of computability logic, Dina Q. Goldin's Persistent Turing Machines (PTMs), and Yuri Gurevich's abstract state machines.