Computación en tiempo real
La computación en tiempo real es una clase de problemas resueltos en el marco de la teoría de los algoritmos y considerado por primera vez por Hisao Yamada.en 1962. Usualmente, los problemas se formulan en términos de calculadoras abstractas, como una máquina de Turing o una máquina de Post , y están relacionados con la investigación de las propiedades de funciones monótonamente crecientes , para lo cual se cuenta con un generador de secuencias de caracteres de salida que se imprimen en el th ciclo de trabajo en la cinta , si para algunos , y en caso contrario. Este tipo de funciones se denominan "computables en tiempo real" [1] .
Las soluciones a tales problemas se pueden utilizar como base teórica para probar la corrección y la eficiencia de los algoritmos utilizados en los sistemas en tiempo real .