Real-time computing
Real-time computing er en klasse af problemer løst inden for rammerne af teorien om algoritmer og først overvejet af Hisao Yamadai 1962. Normalt er problemerne formuleret i form af abstrakte lommeregnere, såsom en Turing -maskine eller en Post-maskine , og er relateret til undersøgelsen af egenskaberne ved monotont stigende funktioner , for hvilke der er en generator af sekvenser af output-tegn, der udskriver på den th cyklus af arbejde på båndet , hvis for nogle , og ellers . Sådanne funktioner kaldes "beregnbare i realtid" [1] .
Løsninger på sådanne problemer kan bruges som et teoretisk grundlag for at bevise rigtigheden og effektiviteten af algoritmer, der bruges i realtidssystemer .