极限引理

（计算机科学技术）

极限引理（limit lemma），计算机科学技术名词，停机问题刚好是可计算函数序列的极限。一般地，对任何自然数函数 f 及自然数集合 A ， fA 当且仅当存在 A -可计算函数序列使得。