Reaaliaikainen tietojenkäsittely
Reaaliaikainen laskenta on ongelmaluokka, joka ratkaistaan algoritmien teorian puitteissa ja jonka ensimmäisenä tarkasteli Hisao Yamadavuonna 1962. Yleensä ongelmat muotoillaan abstrakteilla laskimilla, kuten Turingin koneella tai Postikoneella , ja ne liittyvät monotonisesti kasvavien funktioiden ominaisuuksien tutkimiseen , joille on olemassa tulostettujen merkkijonojen generaattori, jotka tulostuvat nauhan työkierto , jos joillekin ja muuten. Tällaisia funktioita kutsutaan "reaaliaikaisesti laskettaviksi" [1] .
Tällaisten ongelmien ratkaisuja voidaan käyttää teoreettisena perustana reaaliaikaisissa järjestelmissä käytettävien algoritmien oikeellisuuden ja tehokkuuden osoittamisessa .