程序设计语言
文章平均质量分 78
lienhua34
这个作者很懒,什么都没留下…
展开
-
可计算性与停机问题
可计算性 可计算性理论明确了在理论上可计算的函数应具有的特征。那些定义在自然数集上的、理论上可计算的函数通常被称为部分递归函数。概念中强调“理论上可计算”,是因为某些可计算函数在实际计算中可能会耗费相当长的计算时间,可能在我们宇宙现存时间内都无法完成其计算。 直观地说,如果存在一段程序来计算一个函数,那么这个函数就是可计算的。更明确地说,如果对于函数f: A -> B存在一个算法,以任意原创 2012-03-05 22:24:32 · 1977 阅读 · 0 评论 -
关于函数调用和尾递归的一点认识
函数调用 在大多数支持块结构的程序设计语言都支持函数或者子程序(函数和子程序的区别在于函数有返回值而子程序没有,在这里我们不区分这两个概念)。在进行函数调用和从函数返回时通常由一个被称为控制栈的运行时刻栈进行管理。每一个活跃的函数在控制栈中都会有一个相对应的活动记录,有时也称为栈帧。活动记录存储着函数调用时传递的参数信息和从函数返回时返回值与控制跳转的信息。 函数的活动记录需要包括下面的原创 2012-03-08 18:08:35 · 1661 阅读 · 0 评论