Làm thế nào để chứng minh một ngôn ngữ tự do bối cảnh là mơ hồ không thể giải quyết được?

Tôi đã đọc ở đâu đó rằng một máy Turing không thể tính toán được điều này và do đó nó không thể giải quyết được nhưng tại sao? Tại sao máy tính không thể tạo ra phân tích cú pháp và đưa ra quyết định? Có lẽ tôi sai và nó có thể được thực hiện?

Chúng tôi giảm từ vấn đề tương ứng của Post . Giả sử chúng ta có thể, trên thực tế, quyết định ngôn ngữ .$\{\langle G\rangle\vert G\textrm{ a CFG and }L(G)\textrm{ ambiguous}\}$

$\alpha_1, \ldots, \alpha_m, \beta_1, \ldots, \beta_m$$G = (V,\Sigma,R,S)$$V = \{S, S_1, S_2\}$$R = \{S\rightarrow S_1\vert S_2, S_1\rightarrow \alpha_1 S_1 \sigma_1 \vert \cdots \vert \alpha_m S_1 \sigma_m \vert \alpha_1 \sigma_1 \vert \cdots \vert \alpha_m \sigma_m, S_2\rightarrow \beta_1 S_2 \sigma_1\vert \cdots \vert \beta_m S_2 \sigma_m \vert \beta_1 \sigma_1\vert \cdots \vert \beta_m \sigma_m\}$$\sigma_i$$\sigma_i = \underline{i}$

$w$$S\rightarrow S_1$$S_1$$S_2$$w$

$S\Rightarrow S_1\Rightarrow^* \alpha\tilde{\sigma}$$S\Rightarrow S_2\Rightarrow^* \beta\tilde{\sigma}$$\alpha = \beta$$\alpha$$\beta$$\tilde{\sigma}$

Do đó, chúng tôi đã giảm xuống còn PCP và vì điều đó là không thể giải quyết được, chúng tôi đã hoàn thành.

(Hãy cho tôi biết nếu tôi đã làm bất cứ điều gì xương đầu!)