Obliczenia interaktywne
W informatyce obliczenia interaktywne to matematyczny model obliczeń , który obejmuje komunikację wejścia/wyjścia ze światem zewnętrznym podczas obliczeń .
Używa
Wśród obecnie badanych matematycznych modeli obliczeń, które próbują uchwycić interakcje, znajdują się trudne i łatwe maszyny Giorgiego Japaridze opracowane w ramach logiki obliczalności , Persistent Turing Machines (PTM) Diny Q. Goldin oraz streszczenie Yuri Gurevicha maszyny stanowe . Ponadto Peter Wegner wykonał wiele pracy w tej dziedzinie informatyki [ potrzebne źródło ] .
Zobacz też
- Rachunek różniczkowy
- Logika obliczalności
- Semantyka gry
- Obliczenia oparte na ludziach
- Hiperkomputacja
- Programowanie interaktywne
- Obliczenia membranowe
- Quasi-empiryzm
- RE (złożoność)
- Algorytm superrekurencyjny
- Obliczenia interaktywne: nowy paradygmat ISBN 3-540-34666-X . Pod redakcją D. Goldina, S. Smolki i P. Wegnera. Springera, 2006.
- D. Goldin, Persistent Turing Machines jako model obliczeń interaktywnych . Notatki z wykładów z informatyki 1762, s. 116-135.
- D. Goldin, S. Smolka, P. Attie, E. Sonderegger, Maszyny Turinga, systemy przejściowe i interakcja . J. Information and Computation 194:2 (2004), s. 101-128
- P. Wegner , Interaktywne podstawy informatyki . Informatyka teoretyczna 192 (1998), s. 315-351.
Linki zewnętrzne
- Abstrakcyjne maszyny stanowe NIEDATOWANE 2009
- [ https://en.wikipedia.org/wiki/Abstract_state_machine }
Kategorie: