具有形式化特征的计算模型是用户和开发者共同理解的模型。
出自:计算机科学