有限公定力（Finite Recursive Function）是计算机科学中的一个概念，指的是可以被定义在有限的程序中的递归函数。

有限公定力的来源可以追溯到著名的可计算性理论。可计算性理论是一门研究计算机能够做什么以及不能做什么的学科。它研究了计算机如何模拟人类的思维过程，并从中发现了一些基本的理论限制。

有限公定力是在可计算性理论的基础上发展起来的。在计算机科学中，有限公定力是指一个递归函数，它的定义可以在有限的程序中表示出来。

下面是一些关于有限公定力的英文例句及其中文翻译：

"The halting problem is undecidable, but many other problems can be solved using finite recursive functions."
("停机问题是不可判定的，但是许多其他问题可以使用有限公定力来解决。")
"A finite recursive function can be defined in a finite program, but an infinite recursive function cannot."
("有限公定力可以在有限的程序中定义，但是无限公定力则不能。")
"The complexity of a finite recursive function is determined by the number of steps it takes to complete."
("有限公定力的复杂度取决于它完成所需的步数。")