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

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 

Tôi có một câu hỏi chung về giảm bản đồ. Tôi đã thấy một số ví dụ về việc giảm các hàm thànhATMATMA_{TM} trong đóATM={⟨M,w⟩: For M is a turing machine which accepts string w}ATM={⟨M,w⟩: For M is a turing machine which accepts string w}A_{TM} = \{\langle M, w \rangle …

7 computability  proof-techniques  reductions 

Câu hỏi là liệu tuyên bố sau là đúng hay sai: Một≤TB⟹Một≤mBMột≤TB⟹Một≤mBA \leq_T B \implies A \leq_m B Tôi biết rằng nếu thì có một nhà tiên tri có thể quyết định A liên quan đến B. Tôi biết rằng điều này là không đủ để nói rằng có một …

7 computability  reductions  turing-machines 

Tôi đang nghiên cứu các phương pháp khác nhau để định nghĩa tính toán với các hệ thống động lực liên tục. Tôi đã cố gắng tìm một giới thiệu hay về lý thuyết "hệ thống chuyển đổi nhà nước" nhưng không thực hiện được. Có ai biết một giới …

7 computability  automata  reference-request  computation-models 

Tôi đã được đưa ra câu hỏi Trường hợp ngôn ngữ nào sau đây phù hợp với hệ thống phân cấp Chomsky? Giải pháp không âm ( x , y)(x,y)(x,y) phương trình Diophantine 3 x - y= 13x-y= =13x-y=1. Tôi hiểu các ngôn ngữ như , nhưng ngôn ngữ này …

7 formal-languages  computability 

Có tồn tại một mạch số học tương đương cho mỗi hàm tính toán không? Tôi đã cố gắng quấn đầu xung quanh tuyên bố trên, nhưng không tìm thấy một ví dụ phản tác dụng mặc dù tôi tin rằng tuyên bố đó là sai. Điều khiến tôi tò …

6 computability  computation-models  cryptography  circuits  simulation