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

Vì câu hỏi của tôi liên quan trực tiếp đến một phần của văn bản từ cuốn sách năm 2004, Logic trong Khoa học máy tính: Mô hình hóa và lý luận về các hệ thống (Ấn bản 2) của Michael Huth và Mark Ryan , để cung cấp bối …

7 reductions  logic  proof-techniques  undecidability 

"Độ phức tạp tính toán" của Papadimitriou nói rằng GIÁ TRỊ, vấn đề quyết định liệu một công thức logic thứ nhất (không có số học) có hợp lệ hay không, có thể được liệt kê một cách đệ quy. Điều này xuất phát từ các định lý đầy đủ …

7 complexity-theory  undecidability  first-order-logic 

TẤT CẢALL\text{ALL} nghĩa đen là lớp của TẤT CẢ các ngôn ngữ. Có cố đầy đủ không? Đó là, có vấn đề nào mà một giải pháp sẽ cho phép một người giải quyết bất kỳ vấn đề nào không? Những vấn đề như vậy có thể được coi là …

7 undecidability 

Xem xét vấn đề lấy máy Turing đầu vào và xác định xem ô cuối cùng là hay sau khi dừng tính toán. Trong trường hợp nó viết một cái gì đó khác hoặc không dừng lại, bạn được phép đưa ra bất kỳ câu trả lời nào (nhưng bạn …

7 undecidability  decision-problem  halting-problem 

Tôi đang nghiên cứu bằng chứng của định lý sau: Đưa ra ngôn ngữ R E G U L A RT M= { ⟨ M⟩ | MREGULARTM={⟨M⟩|M\mathit{REGULAR}_\mathit{TM} = \{\langle M \rangle | M là một máy turing và là thường xuyênA c c e p t (M)Accept(M)\mathit{Accept}(M)}}\} R E G …

7 computability  turing-machines  undecidability 

Vì vậy, người ta biết rằng PCP là không thể giải quyết được ngay cả khi chúng tôi sửa số lượng gạch thành n≥7n≥7n \geq 7. Tôi tự hỏi, có thể nói bất cứ điều gì tương tự khi có độ dài từ cố định không? Nói chính xác, đây …

7 computability  undecidability  decision-problem 

Tôi đang làm luận án tốt nghiệp về việc chứng minh tính đúng đắn của chương trình để nhân 2 ma trận bằng logic Hoare. Để làm điều này, tôi cần tạo bất biến cho vòng lặp lồng nhau cho chương trình này: for i = 1:n for j = …

7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free