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

Tôi không hiểu tại sao Vấn đề dừng lại thường được sử dụng để loại bỏ khả năng xác định liệu chương trình có dừng lại hay không. Wikipedia [bài báo] [1] giải thích chính xác rằng một cỗ máy xác định có bộ nhớ hữu hạn sẽ tạm dừng …

149 computability  halting-problem 

Chúng tôi đã được thực hiện các bài tập sau. Để cho f(n)={100n occurs in the decimal representation of πelsef(n)={10n occurs in the decimal representation of π0else\qquad \displaystyle f(n) = \begin{cases} 1 & 0^n \text{ occurs in the decimal representation of } \pi \\ 0 & \text{else}\end{cases} Chứng minh rằng …

130 computability  undecidability 

Tôi đã luôn nghĩ mơ hồ rằng câu trả lời cho câu hỏi trên là khẳng định dọc theo các dòng sau. Định lý không hoàn chỉnh của Gôdel và tính không ổn định của vấn đề tạm dừng vừa là kết quả tiêu cực về tính quyết định vừa …

75 computability  logic  halting-problem  incompleteness 

Chúng tôi biết vấn đề tạm dừng (trên Turing Machines) là không thể giải quyết được đối với Turing Machines. Có một số nghiên cứu về việc trí óc con người có thể giải quyết vấn đề này tốt như thế nào, có thể được hỗ trợ bởi Turing Machines …

60 computability  turing-machines  halting-problem  human-computing 

Có tồn tại một tập hợp các cấu trúc ngôn ngữ lập trình trong một ngôn ngữ lập trình để nó được coi là Turing Complete không? Từ những gì tôi có thể nói từ wikipedia , ngôn ngữ cần hỗ trợ đệ quy, hoặc, dường như, phải có khả …

55 computability  programming-languages  turing-machines  turing-completeness 

Kết hợp mẫu bậc cao là một vấn đề không thể giải quyết được. Điều đó có nghĩa là không có thuật toán nào, đưa ra một phương trình a => b, trong đó avà blà các thuật ngữ mở trên phép tính lambda được gõ đơn giản, tìm một …

44 computability 

Tôi biết rằng có Turing Machine, nếu một chức năng có thể tính toán được. Vậy thì làm thế nào để chỉ ra rằng chức năng này không thể tính toán được hoặc không có Máy Turing nào cho việc đó. Có bất cứ điều gì như một bổ đề …

43 computability  proof-techniques  undecidability  reference-question 

Tôi đã gặp một vấn đề kỳ lạ khi viết một trình thông dịch (nên) móc vào các chương trình / chức năng bên ngoài: Các hàm trong 'C' và 'C ++' không thể móc các hàm matrixdic , ví dụ: tôi không thể tạo một hàm gọi 'printf' với …

42 computability  programming-languages  turing-completeness 

Tôi đã nhìn thấy khắp nơi trên ngăn xếp tràn, ví dụ ở đây , ở đây , ở đây , ở đây , ở đây và một số người khác tôi không quan tâm đề cập đến, đó là "bất kỳ chương trình mà sử dụng đệ quy có …

42 computability  recursion  iteration 

Trong câu trả lời này, nó được đề cập Một ngôn ngữ thông thường có thể được nhận ra bởi một máy tự động hữu hạn. Một ngôn ngữ không ngữ cảnh yêu cầu một ngăn xếp và một ngôn ngữ nhạy cảm ngữ cảnh đòi hỏi hai ngăn xếp …

41 computability  turing-machines  automata  pushdown-automata 

Trong lý thuyết tính toán và độ phức tạp (và có thể các lĩnh vực khác), việc cắt giảm có mặt khắp nơi. Có nhiều loại, nhưng nguyên tắc vẫn giống nhau: cho thấy một vấn đề ít nhất cũng khó như một số vấn đề khác L 2 bằng …

40 complexity-theory  computability  reductions  proof-techniques  reference-question 

Tôi đã cố gắng giải thích với ai đó rằng C là Turing-Complete và nhận ra rằng tôi thực sự không biết liệu đó có thực sự là Turing hoàn chỉnh hay không. (C như trong ngữ nghĩa trừu tượng, không phải như trong một triển khai thực tế.) Câu …

40 computability  turing-completeness  c 

Có máy móc lý thuyết nào vượt quá khả năng của máy Turing trong ít nhất một số lĩnh vực không?

39 computability  turing-machines  hypercomputation 

Tóm tắt: Theo định lý của Rice, mọi thứ đều không thể. Tuy nhiên, tôi làm điều này được cho là không thể mọi lúc! Tất nhiên, định lý của Rice không chỉ đơn giản nói "mọi thứ đều không thể". Nó nói một cái gì đó cụ thể hơn: …

37 terminology  computability  undecidability  rice-theorem 

Tôi biết rằng Idris có các loại phụ thuộc nhưng không hoàn thành. Điều gì không thể làm được bằng cách từ bỏ tính hoàn chỉnh của Turing và điều này có liên quan đến việc có các loại phụ thuộc không? Tôi đoán đây là một câu hỏi khá …

35 computability  programming-languages  type-theory  dependent-types