Calcul în timp real
Calculul în timp real este o clasă de probleme rezolvate în cadrul teoriei algoritmilor și luate în considerare pentru prima dată de Hisao Yamadaîn 1962. De obicei, problemele sunt formulate în termeni de calculatoare abstracte, cum ar fi o mașină Turing sau o mașină Post și sunt legate de investigarea proprietăților funcțiilor crescătoare monoton , pentru care există un generator de secvențe de caractere de ieșire care se imprimă pe al treilea ciclu de lucru pe bandă , dacă pentru unii , și altfel . Astfel de funcții sunt numite „calculabile în timp real” [1] .
Soluțiile la astfel de probleme pot fi folosite ca bază teoretică pentru a demonstra corectitudinea și eficiența algoritmilor utilizați în sistemele în timp real .