个图灵机。除了这个图灵机之外，一部预言机还包含了：这里给出的定义只是几种预言的其中一种方式。不过这一些定义大同小异，因为所有这一些定义都是表示这部机器做了某个能够运算"A"的特定函式"f"。
正式定义.一部预言机是由四个多元组formula_1构成如下：预言机以包含有限但许多的1、其余为空白的一些输入讯号的工作带（work tape）开始，包含预言独特功能的预言带"A"，和处于"q"状态的图灵机，其读写头正读着工作带第一个非空格的格子，而预言读取头则读着相当于formul