" "x" 表示两个二元串 "w" 和 "x"的串接. 这意味着： "F" 可用于模拟一个变量的任何一个可计算函数。非正式地说， "w" 表示可计算函数"f的「脚本」，另外 F" 表示一个"解释"解析脚本作为前缀的其输入和随后执行它其余的输入。F的定义域是所有输入 "p" 的集合。对于图灵完备的 "F"，这样的"p" 通常可以被看到作为程式部分和数据部分的连接，并作为函数F的单一程式。函数 "F" 被称为无字首如果没有两个元素 "p", "p′" 在其定义域使得 "p′" 是p的一个部分扩展，换句话