formalized computer program

formalized computer program 基本解释

[计] 形式化计算机程序

重点词汇

formalized v. 使（协议、计划等）成书面文字形式( formalize的过去式和过去分词); 使成为正式, 使具有一定形式

computer n. （电子）计算机，电脑

program n. 程序；节目，节目单；计划，安排 v. [计]给…编写程序；为…制定计划；设计安排活动；编排