对于图灵完备的 "F"，这样的"p" 通常可以被看到作为程式部分和数据部分的连接，并作为函数F的单一程式。函数 "F" 被称为无字首如果没有两个元素 "p", "p′" 在其定义域使得 "p′" 是p的一个部分扩展，换句话说，"F" 的定义域是一个前置码(瞬间代码)在有限二元串的集合。一个简单的方法来强制执行「无字首性」是使用机器，这些机器的输入是一个二流从哪位可以读一个在一段时间。 没有结束的标记；结束的输入确定通过时这个图灵完备的机器决定将停止阅读更多位数。在这里，之间的差别这两个概念的程序中提到的