Lisp 程序由一组 表达式（expression） 或称 形式（form） 构成（see 形式的种类）。我们通过将这些形式放入 控制结构(control structures) 中来控制它们的执行顺序。控制结构是一类特殊形式，用于控制其所包含的形式何时执行、是否执行、执行多少次。
最简单的执行顺序是顺序执行：先执行形式 a，再执行形式 b，依此类推。当你在函数体或 Lisp 代码文件的顶层连续写下多个形式时，就会发生这种情况 ——形式会按照书写顺序执行。我们称之为 文本顺序（textual order）。例如，如果一个函数体由 a 和 b 两个形式组成，那么对该函数的求值会先计算 a，再计算 b，而 b 的求值结果将成为该函数的返回值。
显式的控制结构使得实现非顺序的执行顺序成为可能。
以下是这段 Emacs Lisp 文档的精准简体中文翻译，严格遵循技术文档的专业性和可读性： Emacs Lisp 提供了多种类型的控制结构，包括其他形式的顺序执行、条件判断、循环迭代以及（受控的）跳转 — 所有这些都会在下文展开讨论。内置的控制结构属于特殊形式，因为其包含的子形式并非一定会被求值，也不会按顺序求值。你可以使用宏来定义自定义的控制结构语法（see 宏）。