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

Bạn có thể lấy số lượng Gdel của RAM bằng cách biến nó thành một danh sách các lệnh và biến danh sách này thành một số nguyên. Vì vậy, những gì tôi nghĩ là một cái gì đó như "RAM sẽ trả về số Gôdel của chính nó (giả …

12 computability 

Tôi gặp khó khăn trong việc hiểu vấn đề tạm dừng của Turing. Bằng chứng của anh ta giả định rằng có tồn tại một cỗ máy ma thuật có thể xác định liệu một máy tính sẽ dừng lại hay lặp lại mãi mãi cho một đầu vào nhất …

12 computability  halting-problem 

Một nhận xét trên tex.SE làm tôi tự hỏi. Tuyên bố về cơ bản là: Nếu tôi có thể viết trình biên dịch cho ngôn ngữ X bằng ngôn ngữ X, thì X là Turing-Complete. Trong khả năng tính toán và ngôn ngữ chính thức, đây là: Nếu quyết định …

12 computability  turing-completeness 

Đây là vấn đề: Chứng minh rằng các máy Turing băng đơn không thể ghi trên phần băng chứa chuỗi đầu vào chỉ nhận ra các ngôn ngữ thông thường. Ý tưởng của tôi là chứng minh rằng TM cụ thể này tương đương với DFA. Sử dụng TM này …

12 formal-languages  computability  regular-languages  turing-machines  automata 

Người ta nói rằng lý thuyết tính toán còn được gọi là lý thuyết đệ quy. Tại sao nó được gọi như vậy? Tại sao đệ quy có tầm quan trọng này?

12 computability  terminology  history 

Tôi đang nghiên cứu định lý smn và khái niệm này nhắc nhở tôi về cà ri. Từ bài viết trên wikipedia về định lý smn : Định lý nói rằng đối với một ngôn ngữ lập trình nhất định và các số nguyên dương m và n, tồn tại …

12 computability 

Vì vậy, đưa ra hai DFA, vấn đề tìm kiếm nếu chúng tạo ra cùng một ngôn ngữ là một vấn đề có thể quyết định? Tôi đã biết rằng Bình đẳng của hai CFL là không thể quyết định Nhưng những gì về Bình đẳng của hai DFA? xem …

11 computability  automata  finite-automata  decision-problem 

Câu hỏi này là về việc liệu mọi định lý toán học có thể được giảm xuống thành câu hỏi liệu một máy Turing có dừng lại hay không. Đặc biệt, tôi quan tâm đến những phỏng đoán hiện chưa được chứng minh. Ví dụ: Wikipedia nói rằng hiện tại …

11 formal-languages  computability  mathematical-foundations 

Có phải sự tồn tại của các vấn đề không thể giải quyết được ngay lập tức ngụ ý không thể dự đoán được của các hệ thống vật lý? Chúng ta hãy xem xét vấn đề tạm dừng, đầu tiên chúng ta xây dựng một UTM vật lý, giả …

11 computability  turing-machines  undecidability  physics 

Tôi xin lỗi nếu câu hỏi này có một số câu trả lời tầm thường mà tôi đang thiếu. Bất cứ khi nào tôi nghiên cứu một số vấn đề đã được chứng minh là không thể giải quyết được, tôi nhận thấy rằng bằng chứng dựa trên việc giảm …

11 computability  reductions  undecidability 

Hãy Có máy Turing nào quyết định (tôi không có nghĩa là nhận ra) ngôn ngữ L ∅ không?L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L_\emptyset = \{\langle M\rangle \mid M \text{ is a Turing Machine and }L(M)=\emptyset\}.L∅L∅L_\emptyset Dường như các kỹ thuật tương tự …

11 turing-machines  computability  undecidability 

Có một thuật toán cho vấn đề sau: Cho máy Turing quyết định ngôn ngữ L , Có máy Turing M 2 nào quyết định L sao cho t 2 ( n ) = o ( t 1 ( n ) ) không?M1M1M_1LLLM2M2M_2LLLt2( n ) = o ( t1( n …

11 complexity-theory  computability  undecidability  decision-problem 

Tôi đã nói rằng máy tính lượng tử không mạnh hơn máy tính Turing. Ai đó có thể vui lòng giúp đỡ trong việc đưa ra một số tài liệu tham khảo tài liệu giải thích thực tế đó?

11 computability  reference-request  turing-machines  quantum-computing 

Tôi đã gặp một vấn đề thú vị sau: hãy để là đa thức trên trường số thực và chúng ta giả sử rằng các hệ số của chúng đều là số nguyên (nghĩa là có một biểu diễn chính xác hữu hạn của các đa thức này). Nếu cần, …

11 computability  undecidability  computer-algebra 

Tại nơi làm việc, tôi được giao nhiệm vụ suy luận một số thông tin về ngôn ngữ động. Tôi viết lại các chuỗi các câu lệnh thành các letbiểu thức lồng nhau , như vậy: return x; Z => x var x; Z => let x = undefined in …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry