用高级程序设计语言编写的程序，要转换成等价的可执行程序，必须经过（　　）。

高级程序设计语言，亦称“算法语言”，简称“高级语言”。用易写和易懂的形式语言来编写程序的程序设计语言。可摆脱计算机指令系统和机器语言随机器不同的约束，并设计相应的编译程序（或称“编译器”），把适用于各种机器的高级语言编写的源程序转换为中央处理器能识别的目标代码。按其描述计算过程的基本规范，分过程式语言（如FORTRAN语言、PASCAL语言、Ada语言等）、函数式语言（如LISP语言）、逻辑式语言（如PROLOG语言）和面向对象语言（在前几类语言上增添一些支持面向对象的描述机制而构成）。

设有两个命题p和q，如果由p作为条件能使得结论q成立，则称p是q的充分条件；若由q能使p成立则称p是q的必要条件；如果p与q能互推（即无论是由q推出p还是p推出q都成立），则称p是q的充分必要条件，简称充要条件，也称p与q等价。

编写，读音为biān xiě，汉语词汇，意思是编排书写、写作。