אנגלית ⇄ סינית +

formalized computer program
.טֶכנו	形式化计算机程序
formalized computer programme
.טֶכנו	形式化计算机程序