Valós idejű számítástechnika
A valós idejű számítástechnika olyan problémák osztálya, amelyeket az algoritmusok elmélete keretében oldanak meg, és először Hisao Yamada vette figyelembe.1962-ben. Általában a problémákat absztrakt számológépekkel, például Turing -géppel vagy Postagéppel fogalmazzák meg , és a monoton növekvő függvények tulajdonságainak vizsgálatához kapcsolódnak, amelyekhez létezik egy generátor a kimeneti karaktersorozatokból, amelyek nyomtathatók a szalagon végzett munka th ciklusa , ha egyeseknél , és egyébként . Az ilyen függvényeket "valós időben kiszámíthatónak" [1] nevezzük .
Az ilyen problémák megoldásai elméleti alapként használhatók a valós idejű rendszerekben használt algoritmusok helyességének és hatékonyságának bizonyítására .