In realtà la definizione completa ipotizza che il tempo di esecuzione di un passo di programma sia indipendente da ciò che contiene
