Интерактивные вычисления

В информатике интерактивные вычисления — это математическая модель вычислений , которая включает в себя взаимодействие ввода-вывода с внешним миром во время вычислений.

Использует

Среди изучаемых в настоящее время математических моделей вычислений, которые пытаются охватить взаимодействие, есть сложные и легкие игровые машины Георгия Джапаридзе, разработанные в рамках логики вычислимости , постоянные машины Тьюринга (ПТМ) Дины К. Голдин и абстрактные машины состояний Юрия Гуревича . Питер Вегнер также проделал большую работу в этой области компьютерной науки ^{[ требуется ссылка ]} .

Смотрите также

• Круговое исчисление
• Логика вычислимости
• Семантика игры
• Вычисления, основанные на человеческом факторе
• Гиперкомпьютер
• Интерактивное программирование
• Мембранные вычисления
• Квазиэмпиризм
• РЕ (сложность)
• Суперрекурсивный алгоритм

Ссылки

• Интерактивные вычисления: новая парадигма ISBN  3-540-34666-X . Под редакцией Д. Голдина, С. Смолки и П. Вегнера. Springer, 2006.
• D. Goldin, Persistent Turing Machines as a model of interactive computing. Lecture Notes in Computer Science 1762, стр. 116-135.
• D. Goldin, S. Smolka, P. Attie, E. Sonderregger, Машины Тьюринга, системы переходов и взаимодействие. J. Information and Computation 194:2 (2004), стр. 101-128
• П. Вегнер , Интерактивные основы вычислений. Теоретическая информатика 192 (1998), стр. 315-351.

Внешние ссылки

• Абстрактные машины состояний УСТАРЕЛИ 2009
• [https://en.wikipedia.org/wiki/Interactive_computation/Abstract_state_machine}