Počítání v reálném čase
Počítání v reálném čase je třída problémů řešených v rámci teorie algoritmů a jako první ji zvažoval Hisao Yamada .v roce 1962. Obvykle jsou problémy formulovány pomocí abstraktních kalkulaček, jako je Turingův stroj nebo Postův stroj , a souvisí se zkoumáním vlastností monotónně rostoucích funkcí , pro které existuje generátor sekvencí výstupních znaků, které se tisknou na cyklus práce na pásce , pokud pro některé , a jinak . Takové funkce se nazývají „vypočitatelné v reálném čase“ [1] .
Řešení těchto problémů lze použít jako teoretický základ pro prokázání správnosti a účinnosti algoritmů používaných v systémech reálného času .