が決定可能であっても


8

自分で計算可能性理論を教科書で教えようとしています。私の本によると、アルファベットの関数A = { a b c d e f g h i j k l m n o p q r s t u v w xfは、言語の場合にのみ計算可能ですA={a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z}

L={s#jσ:sA,σA, the j'th symbol of f(s) is σ}

決定可能です。何故ですか?Lが決定可能であっても、関数は計算できないのではないでしょうか?fL

回答:


6

Lff(s)s#xxAf(s)

s##xLf(s)xAf(s)

LffL

弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.