[计]?形式化计算机
... 形式规则 formal rule 形式化计算机 formalized computer 形式化计算机程序 formalized computer program ...
?形式化计算器
... 形式化 formalize 形式化计算器 formalized computer 形式化计算器程序 formalized computer program ...
计 形式化计算机程序
形式化计算机
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。