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

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