Có thể

Tôi đang cố gắng dạy cho mình lý thuyết tính toán với một cuốn sách giáo khoa. Theo cuốn sách của tôi, một hàm trên bảng chữ cái A = { a , b , c , d , e , f , g , h , i , j , k , l , m , n , o , p , q , r , s , t , u , v , w , $f$ chỉ tính toán được ngôn ngữ$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\sigma : s\in A^*, \sigma \in A, \text{ the }j\text{'th symbol of } f(s)\text{ is } \sigma\}$$

là quyết định. Tại sao vậy? Không thể một hàm không thể tính toán được ngay cả khi L có thể quyết định được?$f$$L$

$L$$f$$f(s)$$s\#x$$x\in A$$f(s)$

$s\#\#x \in L$$f(s)$$x\in A$$f(s)$

$L$$f$$f$$L$