Teorie algoritmu

Ahoj.

Mám dotaz na teorii algoritmů.
Konkrétně mi jde o vlastnosti algoritmů a Operační systém.

Pro algoritmus platí řada snadno pochopitelných pravidel.
Například:
Je deterministický – Každý krok algoritmu musí být jednoznačně a přesně definován;

To je jasné.
Ale trochu jsem si vylámal zoubek na tvrzení:
Je konečný – Každý algoritmus musí skončit v konečném počtu kroků. Tento počet kroků může být libovolně velký (podle rozsahu a hodnot vstupních údajů), ale pro každý jednotlivý vstup musí být konečný. Postupy, které tuto podmínku nesplňují, se mohou nazývat výpočetní metody. Speciálním příkladem nekonečné výpočetní metody je reaktivní proces, který průběžně reaguje s okolním prostředím.

Trochu mi zamotal hlavu praktický příklad - Operační systém na serveru.
Ten běží 365 dní v roce a "nemusí dělat" nic. Takže mi na něm to tvrzení, že je konečný tak nějak nesedí.
Oni to vychytrale ošetřili tím dodatkem:
Speciálním příkladem nekonečné výpočetní metody je reaktivní proces, který průběžně reaguje s okolním prostředím.

V podstatě je to stav:

if (true)
{
// do something - zde může být algoritmus
}

Ale co je potom to to vně té slupky?
Na straně druhé je i operační systém program a tím by to nepochybně měl být i algoritmus. Ne?