以下是几个真假问题:有人请回答这些问题:
令F(0)= 1,并且对于n> 0,令F(n)= 2 ^ F(n-1)。 然后是F图灵可计算?
DPDA不接受任何含有模糊语境的语言。这是真的 ?如果不是那个语法。
答案 0 :(得分:0)
我猜第一个是真的。
根据Church-Turing论文,可计算函数正是可以使用机械计算设备计算的函数,给定无限量的时间和存储空间。同样,本文指出任何具有算法的函数都是可计算的。
答案 1 :(得分:0)
对于(1),问自己这个问题:你能写一个可以计算这个功能的计算机程序吗?如果是这样,那么通过Church-Turing论文,那么你知道必须有一个可以进行相同计算的TM,因此该函数是可计算的。如果没有,那么你知道没有TM可以评估这个功能。
对于(2),请记住歧义是 grammars 的属性。同一种语言可以有多种语法。
希望这有帮助!