Email Record: Computation: finite and infinite machines /