，包含预言独特功能的预言带"A"，和处于"q"状态的图灵机，其读写头正读着工作带第一个非空格的格子，而预言读取头则读着相当于formula_6的预言带的格子。
与预言机相关的复杂度类.我们以A这个符号，代表一个复杂度类里面的决定性问题可以使用包含在A类别里面的演算法，加上带有针对L语言之预言的预言机。举例来说，P这个复杂度类，里面的问题以一个带有布尔可满足性问题预言的预言机，以多项式时间可以解决。A这种表示法也可以引申成令B是一个问题的集合或者是一个复杂度类，使用的定义如下：for