True statements about computational models