Khoa học máy tính

Q & A cho sinh viên, nhà nghiên cứu và thực hành khoa học máy tính



3
Giải thích đơn giản về lý do tại sao một số chức năng tính toán nhất định không thể được biểu diễn bằng một thuật ngữ đánh máy?
Đọc bài viết Giới thiệu về Giải tích Lambda , tôi đã bắt gặp một đoạn mà tôi không thực sự hiểu, ở trang 34 (chữ in nghiêng của tôi): Trong mỗi hai mô hình, có một số phiên bản tính toán lambda đánh máy. Trong nhiều hệ thống quan …

3
Các bộ mã hóa của một lớp ngôn ngữ không tầm thường có chứa bộ trống có thể được liệt kê đệ quy không?
CCC L C∅⊊C⊊RE∅⊊C⊊RE\emptyset \subsetneq C \subsetneq \mathrm{RE}LLLCCCL={⟨M⟩∣L(M)∈C}L={⟨M⟩∣L(M)∈C}L=\{\langle M \rangle \mid L(M) \in C \} Giả sử rằng ⟨Mloopy⟩∈L⟨Mloopy⟩∈L\langle M_{loopy}\rangle \in L , trong đó MloopyMloopyM_{loopy} là một TM không bao giờ dừng lại. Tôi tự hỏi nếu có thể L∈REL∈REL \in \mathrm{RE} ? Theo định lý của Rice, tôi biết …

1
Kích thước của LinkedInnik-Chervonenkis: tại sao bốn điểm trên một đường thẳng không thể bị phá vỡ bởi các hình chữ nhật?
Vì vậy, tôi đang đọc "Giới thiệu về học máy" phiên bản 2, của Đức cha, et. tất cả. Trên trang 27, họ thảo luận về Kích thước của Pinterestnik-Chervonenkis, "Số lượng điểm tối đa có thể bị phá vỡ bởi H [lớp giả thuyết] được gọi là Kích thước …











Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.