Para el caso de cualquiera de las máquinas anteriores se cumple la siguiente expresión: