Realtidsberäkning
Realtidsberäkning är en klass av problem som lösts inom ramen för teorin om algoritmer och som först övervägdes av Hisao Yamadaår 1962. Vanligtvis formuleras problemen i termer av abstrakta miniräknare, såsom en Turing -maskin eller en Post-maskin , och är relaterade till undersökningen av egenskaperna hos monotont ökande funktioner , för vilka det finns en generator av sekvenser av utdatatecken som skriver ut på den :e arbetscykeln på bandet , om det är för vissa , och på annat sätt . Sådana funktioner kallas "beräknbara i realtid" [1] .
Lösningar på sådana problem kan användas som en teoretisk grund för att bevisa riktigheten och effektiviteten hos algoritmer som används i realtidssystem .