Abstract <p>Models and languages intended for describing and controlling the execution of discrete deterministic processes in real time are considered. The processes are divided into free and real-time dependent, and the characteristics of process complexity are introduced that take into account the factor of simultaneity (parallelism) during their execution. Unified operations for the composition of computable functions are proposed, based on which a language is created that allows the parallelism of algorithmic processes to be described in a natural form. It is shown how the real-time factor can be reflected in processes by extending the language with primitives for controlling changes in process states depending on the controlled time.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Discrete Algorithmic Processes: Real Time, Parallelism, Complexity, and Languages

  • V. P. Kutepov

摘要

Abstract

Models and languages intended for describing and controlling the execution of discrete deterministic processes in real time are considered. The processes are divided into free and real-time dependent, and the characteristics of process complexity are introduced that take into account the factor of simultaneity (parallelism) during their execution. Unified operations for the composition of computable functions are proposed, based on which a language is created that allows the parallelism of algorithmic processes to be described in a natural form. It is shown how the real-time factor can be reflected in processes by extending the language with primitives for controlling changes in process states depending on the controlled time.