自由变量和约束变量的英文

free variables and bound variables

• 自由:    freedom; liberty
• 变量:    variable; variable ...
• 和约:    peace treaty
• 束:    bind; tie

百科释义

在数学和其他涉及形式语言的学科中，包括数理逻辑和计算机科学，自由变量是在表达式中用于表示一个位置或一些位置的符号，某些明确的代换可以在其中发生，或某些运算(比如总和或量化)可以在其上发生。这个概念有关于占位符(它是以后会被文字串所替换)，或表示未指定符号的通配符，但更加深入和复杂。