В данной работе рассматривается формальная модель мониторинга
вычислительных процессов. Приводятся достаточные
условия полноты языка, получающегося при отображении траекторий
вычислительного процесса в слова некоторого конечного алфавита,
а также другие результаты, связанные с задачей анализа вычислительного
процесса на основе наблюдаемой динамики монитора.
