For instance, the general question of equality of two functions is equivalent to the halting problem, and is undecidable, but equality of two functions in FP is just equality in the algebra, and thus (Backus imagines) easier.
На пример, опште питање равноправности две функције је еквивалентно халтинг проблему, и неодлучност, али једнакост две функције у ФПу је само једнакост у алгебри, и на тај начин (Бакус замисли) је лакше.