形式化计算机程序

形式化计算机的英语翻译：

【计】 formalized computer

程序的英语翻译：

formality; ground rule; procedure; proceeding; process; program
【计】 P; problem determination aid; PROC; program; related channel program
【化】 sequence
【经】 program; sequence