2
Bir dilin doğrulayıcı olmadığını göstererek hesaplanabilir sayılamayacağını gösterebilir miyiz?
Hesaplanabilir numaralandırılabilir (ce, özyinelemeli numaralandırılabilir eşdeğer, yarı-doğrulanabilir eşdeğer) kümesinin tanımlarından biri şudur: A⊆Σ∗A⊆Σ∗A \subseteq \Sigma^* ,tüm x ∈ Σ ∗ içinkarar verilebilir bir dilV⊆Σ∗V⊆Σ∗V\subseteq \Sigma^* (doğrulayıcı olarak adlandırılır) varsa,x∈Σ∗x∈Σ∗x\in \Sigma^* x∈Ax∈Ax\in A bir vardır ancak ve ancaky∈Σ∗y∈Σ∗y\in\Sigma^* st⟨x,y⟩∈V⟨x,y⟩∈V\langle x, y \rangle \in V . Dolayısıyla, bir dilin ce olmadığını göstermenin …