Чем отличается компьютерная модель от формальной модели