Вычисления в реальном времени

Вычисления в реальном времени — класс задач, решаемых в рамках теории алгоритмов и впервые рассмотренных Хисао Ямада в 1962 году. Обычно задачи формулируются в терминах абстрактных вычислителей, таких как машина Тьюринга или машина Поста, и связаны с исследованиями свойств монотонно возрастающих функций $U(n)$, для которых существует генератор последовательностей выходных символов, печатающих на $j$-м такте работы на ленте $1$, если $U(i)=j$ для некоторого $i$, и $0$ в противном случае. Такие функции называются «вычислимыми в реальном времени».

Решения подобных задач могут использоваться в качестве теоретического базиса для доказательства корректности и эффективности алгоритмов, используемых в системах реального времени.