Khoa học máy tính computability

2

Tôi muốn xác định, ý nghĩa của việc đưa ra một đại số làm đầu vào cho một thuật toán và không tìm thấy nhiều tài liệu về nó. Vì vậy, trước tiên tôi muốn hỏi liệu bạn có thể đề xuất một cuốn sách hoặc bài viết liên quan …

11 computability terminology decision-problem

1

tập hợp con của tập đệ quy vô hạn

Một đề thi gần đây đã diễn ra như sau: là một tập hợp đệ quy vô hạn. Chứng minh rằng A có tập con đệ quy vô hạn.AAAAAA Hãy là một tập hợp con đệ quy vô hạn của Một . Phải C có một tập hợp con đó …

11 computability check-my-proof

1

Là một chức năng tìm kiếm subsequences các chữ số của

Làm thế nào có thể quyết định liệu có một số các chữ số? ππ\pitruyền cảm hứng cho tôi để hỏi liệu biến thể trông ngây thơ sau đây có thể tính toán được không: f( n ) = { 10nếu n¯ xảy ra ở các đại diện thập phân …

11 computability real-numbers

1

Có thể lấy được một chuỗi trong hệ thống viết lại này?

Hệ thống viết lại là một bộ các quy tắc trong các hình thức của . Nếu chúng ta áp dụng quy tắc đó cho chuỗi w, chúng ta sẽ thay thế bất kỳ chuỗi con A nào trong w bằng chuỗi con B và ngược lại.A↔BA↔BA \leftrightarrow BwwwAAAwwwBBB Cho …

11 computability term-rewriting

4

Bạn có thể chỉ định một ngôn ngữ lập trình mà không cần thực hiện?

Về mặt lý thuyết có thể chỉ định một ngôn ngữ lập trình mà không có triển khai nào có thể tồn tại không? Một ngôn ngữ lập trình là một cách xác định chức năng. Việc triển khai có nghĩa là một phương thức để thực thi một chương …

11 formal-languages computability programming-languages

1

Có bất kỳ vấn đề hiện tại sẽ không thể giải quyết được với một lời tiên tri tạm dừng?

Tôi hiểu rằng hầu hết các vấn đề là tầm thường nếu có một lời tiên tri tạm dừng (hoặc, tôi nghĩ tương đương, siêu tính toán). Tuy nhiên, việc áp dụng đối số cho thấy Sự cố dừng là không thể đối với máy Turing cũng cho thấy rằng …

11 computability undecidability halting-problem oracle-machines

2

Chúng tôi có thể hiển thị một ngôn ngữ không thể tính toán được bằng cách hiển thị không có trình xác minh cho ngôn ngữ đó không?

Một trong những định nghĩa của một bộ đếm có thể tính toán được (ce, tương đương với liệt kê đệ quy, tương đương với semidecidable) là như sau: là ce khi và chỉ khi có một ngôn ngữ decidable V ⊆ Σ * (gọi là người xác minh) st …

11 computability proof-techniques undecidability

1

Có một khái niệm kép để logic Turing Complete dòng trong logic?

Hai mô hình điện toán có thể được hiển thị là hoàn thành nếu mỗi mô hình có thể mã hóa một trình giả lập phổ quát cho mô hình kia. Hai logic có thể được hiển thị là hoàn thành nếu mã hóa các quy tắc suy luận (và …

10 computability logic turing-completeness

1

Phân tích độ phức tạp thuật toán về triển khai ngôn ngữ lập trình chức năng

Hôm nay tôi đã học được rằng phân tích thuật toán khác nhau dựa trên mô hình tính toán. Đó là điều mà tôi chưa bao giờ nghĩ tới hoặc nghe nói đến. Một ví dụ được đưa ra cho tôi, được minh họa thêm bởi Người dùng @chi là: …

10 complexity-theory algorithm-analysis computability computation-models lambda-calculus

1

Là vấn đề tạm dừng có thể quyết định cho automata di động 3 biểu tượng một chiều?

Tôi đã cố gắng tìm hiểu xem vấn đề tạm dừng có thể quyết định được đối với automata di động một chiều 3 ký hiệu hay không. Định nghĩa Gọi biểu thị cấu hình của hệ thống tại bước thời gian i . Chính thức hơn f : A …

10 computability decision-problem halting-problem cellular-automata

3

Tính toán vô hạn trong thời gian hữu hạn

Đây có lẽ là một suy nghĩ ngớ ngẩn, nhưng giả sử chúng ta có một máy tính được lập trình để thực hiện một chuỗi tính toán vô hạn và giả sử phép tính mất giây để hoàn thành. Sau đó, máy tính này có thể thực hiện vô …

10 computability computation-models

1

Làm thế nào một máy Turing phổ dụng có thể mô phỏng những người lớn hơn của Google?

Tôi đang cố gắng tìm câu trả lời cho hai câu hỏi về máy Universal Turing. Làm thế nào máy Universal Turing có thể mô phỏng máy Turing nếu máy đang được mô phỏng có số lượng trạng thái lớn hơn? Làm thế nào máy Universal Turing có thể mô …

10 computability turing-machines simulation turing-completeness

2

Ngừng vấn đề mà không tự tham khảo

Trong vấn đề tạm dừng, chúng tôi quan tâm nếu có máy Turing có thể cho biết liệu máy Turing đã cho M có dừng hay không trên đầu vào i đã cho . Thông thường, bằng chứng bắt đầu giả sử T như vậy tồn tại. Sau đó, chúng …

10 computability undecidability halting-problem

2

Rõ ràng, đầy đủ, bằng chứng rằng một ngôn ngữ là Turing Compete?

Tôi đã thấy các trang web có ý định "chứng minh" rằng HTML5 + CSS là Turing Complete. Tôi đã thấy các trang web có ý định "chứng minh" rằng SQL là Turing Complete. Tôi đã thấy một loạt các trang web có ý định "giải thích" ý nghĩa của …

10 computability turing-machines automata turing-completeness church-turing-thesis

3

Ngôn ngữ quyết định và ngữ pháp không hạn chế?

Máy Turing và ngữ pháp không giới hạn là hai hình thức khác nhau xác định ngôn ngữ RE. Một số ngôn ngữ RE là có thể quyết định, nhưng không phải tất cả đều được. Chúng ta có thể định nghĩa các ngôn ngữ có thể quyết định bằng …

10 computability turing-machines formal-grammars

Câu hỏi được gắn thẻ «computability»