Khoa học máy tính computability

1

Điều gì còn thiếu sót về phương pháp tính toán tiết kiệm đầu vào của trò chơi điện tử đảo ngược?

Tôi là một sinh viên mới bắt đầu đọc về điện toán đảo ngược. Tôi biết rằng, vì nguyên tắc của Landauer, các tính toán không thể đảo ngược làm tiêu tan nhiệt (và các tính toán có thể đảo ngược thì không). Tôi đã đưa nó lên với giáo …

9 computability reversible-computing

2

Một biến thể của hàm hải ly bận rộn

Đọc câu hỏi này " RE tự nhiên không thể giải quyết được vấn đề nhưng không hoàn thành Turing ", ngôn ngữ sau đây xuất hiện trong đầu tôi: Nếu là chức năng hải ly bận rộn (điểm số tối đa có thể đạt được trong số tất cả …

9 computability turing-machines

1

Nghiêng độc đáo của hình vuông

Chúng tôi muốn ngói -square sử dụng hai loại gạch: gạch -square và gạch -square như vậy mà mỗi vuông cơ bản được bảo hiểm mà không chồng chéo. Hãy để chúng tôi xác định một hàm cho kích thước của hình vuông duy nhất có thể cho phép lớn …

9 computability combinatorics

2

Tại sao các số tính toán (theo nghĩa của Turing) là vô số?

Tại sao các số tính toán (theo nghĩa của Turing) là vô số? Nó phải rất rõ ràng, nhưng tôi hiện không thấy nó.

9 computability turing-machines enumeration

2

Bảng chữ cái vô hạn Turing Machine

Máy Turing có được phép đọc và viết ký hiệu từ bảng chữ cái vô hạn mạnh hơn TM thông thường không (đó là điểm khác biệt duy nhất, máy vẫn có số lượng trạng thái hữu hạn)? Trực giác nói với tôi là không, vì bạn cần vô số …

9 computability turing-machines reductions simulation

1

Chứng minh rằng không phải là (co-) đệ quy đệ quy

Tôi muốn sử dụng sự giúp đỡ của bạn với vấn đề sau: L = { ⟨ M⟩ ∣ L ( M) không có ngữ cảnh }L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \} . rằng .L ∉ R E∪ Co R EL∉RE∪CoREL \notin RE \cup CoRE Tôi biết …

9 formal-languages computability context-free turing-machines

2

Khả năng quyết định của ngôn ngữ tiền tố

Ở giữa kỳ có một biến thể của câu hỏi sau: Đối với thể quyết định xác định Hiển thị rằng không nhất thiết phải có thể quyết định.pref ( L ) = { x | ∃ y st x y ∈ L } pref ( L )LLLPref(L)={x∣∃y s.t. xy∈L}Pref(L)={x∣∃y …

9 computability undecidability

1

Biểu cảm của biểu thức chính quy hiện đại

Gần đây tôi đã thảo luận với một người bạn về một trang web đề xuất các thách thức regex, chủ yếu khớp một nhóm từ với một thuộc tính đặc biệt. Anh ta đang tìm kiếm một regex khớp với các chuỗi như ||||||||số lượng số |nguyên tố. Tôi …

9 formal-languages machine-models logic boolean-algebra xor cryptography algorithms machine-learning algorithms paging virtual-memory programming-languages object-oriented algorithms search-algorithms strings binary-search formal-grammars context-free algorithms algorithms correctness-proof greedy-algorithms permutations logic first-order-logic logic-programming algorithms complexity-theory computability programming-languages complexity-theory complexity-classes quantum-computing reductions formal-languages programming-languages semantics operational-semantics small-step-semantics sets first-order-logic computer-networks communication-protocols

1

Điều đó có nghĩa gì khi nói rằng một ngôn ngữ được đóng lại một cách hiệu quả trong một hoạt động?

Tôi đã đọc một số bài lý thuyết ngôn ngữ chính thức và tôi đã gặp một thuật ngữ mà tôi không hiểu. Bài viết thường sẽ đề cập đến một tập hợp "được đóng một cách hiệu quả dưới giao lộ" hoặc các hoạt động khác. "Hiệu quả" nghĩa …

9 formal-languages terminology computability automata closure-properties

3

Cho thấy rằng có vô số vấn đề hơn chúng ta sẽ có thể tính toán

Tôi đã xem bài đọc này của MIT về độ phức tạp tính toán và vào phút 15:00 Erik Demaine bắt tay vào một cuộc biểu tình để cho thấy những gì được nêu trong tiêu đề của câu hỏi này. Tuy nhiên tôi không thể làm theo lý luận …

8 computability proof-techniques decision-problem uncountability

2

Lý thuyết miền và đa hình

Lý thuyết miền đưa ra một lý thuyết tuyệt vời về khả năng tính toán với sự hiện diện của các loại đơn giản. Nhưng khi đa hình tham số được thêm vào, dường như không có một lý thuyết hay nào giải thích những gì đang diễn ra khá …

8 computability type-theory dependent-types

2

Tính quyết định của đẳng thức của biểu thức cấp tiến

Xem xét điều kiện xây dựng từ các yếu tố của và các hoạt động + , × , - , / , và n √QQ\mathbb Q+,×,−,/+,×,−,/+,\times,-,/⋅−−√n⋅n\sqrt[n]{\,\cdot\,}cho mỗi số tự nhiên . Đưa ra lời hứa rằng hai thuật ngữ được hình thành rõ ràng - nghĩa là không có …

8 computability undecidability number-theory equality

1

PDE-Turing và vật lý

Khi tôi đọc về luận án Church-Turing, dường như có một tuyên bố chung rằng "thực tế vật lý là Turing có thể tính toán được". Cơ sở cho yêu cầu này là gì? Có bất kỳ kết quả lý thuyết dọc theo những dòng này? Đối với bối cảnh, …

8 computability simulation church-turing-thesis hypercomputation

1

Các vấn đề mà tình trạng có thể quyết định là không xác định nhưng được biết là ít khó khăn hơn vấn đề tạm dừng

Có vấn đề nào về tính quyết định trong đó chưa được biết nhưng chắc chắn rằng các vấn đề ít khó khăn hơn vấn đề tạm dừng.

8 computability reference-request undecidability

1

Cho hàm tính toán, các điều kiện để tính toán của hàm nghịch đảo là gì?

Nếu có thể tính toán được và có nghịch đảo thì trong điều kiện nào f - 1 cũng có thể tính toán được? Tôi không thể tìm thấy điều đó trong một cuốn sách giáo khoa và việc googling nhận được một số gợi ý mơ hồ về tính …

8 computability

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