也是通过方程来递归的定义，最简单的一类方程是：这里的 "E"f 是使用泛函从原始函数、其他定义的函数和函数符号自身f建造的表达式。
FP84.FP84是扩展FP来包括无限序列，编程者定义的（类似于Backus自己向FP的后继者FL所增加的那样），和惰性求值。不同于Backus自己的另一个FP变体FFP，FP84在对象和函数之间作出明确区分：就是说后者不再由前者的序列来表示。FP84的扩展是通过移除FP对序列构造只能应用于非⊥对象的限制来完成的：在FP84中表达式（包括其含义为⊥）