形式化计算机

【计】 formalized computer

形式化的英语翻译：

formalization; formalize

计算机的英语翻译：

adding machine; calculating machine; calculator
【计】 brain unit; computer; computing machinery; computor; FONTAC; ILLIAC IV
【经】 calculating machine