图灵可计算功能

时间:2012-12-07 02:30:16

标签: theory turing-machines

以下是几个真假问题:有人请回答这些问题:

  1. 令F(0)= 1,并且对于n> 0,令F(n)= 2 ^ F(n-1)。 然后是F图灵可计算?

  2. DPDA不接受任何含有模糊语境的语言。这是真的 ?如果不是那个语法。

2 个答案:

答案 0 :(得分:0)

我猜第一个是真的。

根据Church-Turing论文,可计算函数正是可以使用机械计算设备计算的函数,给定无限量的时间和存储空间。同样,本文指出任何具有算法的函数都是可计算的。

答案 1 :(得分:0)

对于(1),问自己这个问题:你能写一个可以计算这个功能的计算机程序吗?如果是这样,那么通过Church-Turing论文,那么你知道必须有一个可以进行相同计算的TM,因此该函数是可计算的。如果没有,那么你知道没有TM可以评估这个功能。

对于(2),请记住歧义是 grammars 的属性。同一种语言可以有多种语法。

希望这有帮助!