- Вычисления в реальном времени
-
Вычисления в реальном времени — класс задач, решаемых в рамках теории алгоритмов и впервые рассмотренных Hisao Yamada в 1962 г. Обычно задачи формулируются в терминах абстрактных вычислителей, таких как Машина Тьюринга или Машина Поста, и связаны с исследованиями свойств монотонно возрастающих функций таких, что для них существует генератор последовательностей выходных символов, печатающих на -м такте работы на ленте , если для некоторого , и в противном случае. Такие функции называются «вычислимыми в реальном времени» [1].
Решения подобных задач могут использоваться в качестве теоретического базиса для доказательства корректности и эффективности алгоритмов, используемых в системах реального времени.
Примечания
- ↑ С. С. Марченков, В. Л. Матросов, “Сложность алгоритмов и вычислений”, Итоги науки и техн. Сер. Теор. вероятн. Мат. стат. Теор. кибернет., 16, ВИНИТИ, М., 1979, 103-149
Для улучшения этой статьи желательно?: - Проставить интервики в рамках проекта Интервики.
- Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное.
Категория:- Теория алгоритмов
Wikimedia Foundation. 2010.