可計算功能

Question

以下是一些對錯題：請有人回答：

1. 令F（0）= 1，令F（n）= 2 ^ F（n-1），其中n> 0。 那么圖靈可計算嗎？

2. DPDA無法接受具有上下文無關文法歧義的語言。 這是真的 ？ 如果不是，那是哪種語法。

Answer 1

我想第一個是對的。

根據Church-Turing的論文，可計算函數正是在給定無限數量的時間和存儲空間的情況下可以使用機械計算設備進行計算的函數。 等效地，本論文指出具有算法的任何函數都是可計算的。

Answer 2

對於（1），請問自己一個問題：您可以編寫一個可以計算此函數的計算機程序嗎？ 如果是這樣，那么根據Church-Turing論文，您將知道必須有一個可以執行相同計算的TM，因此該函數是可計算的。 如果不是，那么您知道任何TM都無法評估該功能。

對於（2），請記住歧義是語法的性質。 同一語言可以有多個語法。

希望這可以幫助！