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

Thấy trong Chomsky Hierarchy Loại 3 ngôn ngữ có thể được công nhận bởi một máy nhà nước không có bộ nhớ bên ngoài (ví dụ, một automaton hữu hạn), Loại 2 bởi một máy nhà nước với một đơn stack (tức là một automaton đẩy xuống) và Gõ 0 …

34 formal-languages  applied-theory  computability  automata  formal-grammars 

Tôi dự định dạy một khóa học mùa đông về một số chủ đề khác nhau, một trong số đó sẽ là trình biên dịch. Bây giờ, tôi đã gặp vấn đề này trong khi nghĩ về các bài tập để đưa ra trong suốt quý, nhưng nó đã làm …

32 computability  proof-techniques  compilers 

Chương trình 579 bit này trong Tính toán nhị phân Lambda có trạng thái tạm dừng không xác định: 01001001000100010001000101100111101111001110010101000001110011101000000111001110 10010000011100111010000001110011101000000111001110100000000111000011100111110100 00101011000000000010111011100101011111000000111001011111101101011010000000100000 10000001011100000000001110010101010101010111100000011100101010110000000001110000 00000111100000000011110000000001100001010101100000001110000000110000000100000001 00000000010010111110111100000010101111110000001100000011100111110000101101101110 00110000101100010111001011111011110000001110010111111000011110011110011110101000 0010110101000011010 Đó là, không biết liệu chương trình này chấm dứt hay không. Để xác định nó, bạn phải giải quyết phỏng đoán Collatz …

32 algorithms  computability  kolmogorov-complexity 

Có tồn tại bất kỳ tính toán Turing lambda hoàn thành? Nếu vậy, một vài ví dụ là gì?

31 computability  lambda-calculus  type-theory 

Tôi đang tự hỏi liệu có một ví dụ hay cho một vấn đề NP-Hard dễ hiểu không phải là NP-Complete và không phải là không thể giải quyết được không? Ví dụ, vấn đề tạm dừng là NP-Hard, không phải NP-Complete, nhưng không thể giải quyết được. Tôi tin …

31 complexity-theory  computability  np-hard 

Định lý Rice cho chúng ta biết rằng các thuộc tính ngữ nghĩa duy nhất của Turing Machines (tức là các thuộc tính của hàm được tính bằng máy) mà chúng ta có thể quyết định là hai thuộc tính tầm thường (nghĩa là luôn luôn đúng và luôn luôn …

30 computability  undecidability 

Tôi đã trải qua các cuộc thảo luận về câu hỏi Làm thế nào để xác định máy Turing lượng tử? và tôi cảm thấy rằng TM lượng tử và TM không điều kiện là một và giống nhau. Các câu trả lời cho câu hỏi khác không chạm vào …

30 computability  turing-machines  quantum-computing  nondeterminism 

Tôi hiểu bằng chứng về tính không ổn định của vấn đề tạm dừng (ví dụ như trong sách giáo khoa của Papadimitriou), dựa trên đường chéo. Mặc dù bằng chứng rất thuyết phục (tôi hiểu từng bước của nó), nhưng nó không trực quan với tôi theo nghĩa là …

30 computability  proof-techniques  undecidability  halting-problem  intuition 

Luận án Church-Turing nói rằng mọi thứ có thể được tính toán về mặt vật lý đều có thể được tính toán trên Máy Turing. Bài báo "Tính toán tương tự qua các mạng thần kinh" (Siegelmannn và Sontag, Khoa học máy tính lý thuyết , 131: 331 trộm360, 1994; …

29 computability  turing-machines  church-turing-thesis 

Tôi gặp phải tuyên bố dưới đây của Alan M. Turing ở đây : "Quan điểm cho rằng máy móc không thể tạo ra sự ngạc nhiên là do, tôi tin rằng, một sự ngụy biện mà các nhà triết học và toán học đặc biệt là chủ đề. Đây …

29 turing-machines  computability  computation-models 

Tôi hiện đang đọc một cuốn sách về thuật toán và độ phức tạp. Hiện tại tôi đang đọc về các hàm tính toán và không tính toán được, và cuốn sách của tôi nói rằng có nhiều hàm không thể tính toán hơn so với tính toán, trên thực …

29 computability  turing-machines  combinatorics 

Chúng tôi đã học về khái niệm liệt kê các chức năng. Trong thực tế, chúng tương ứng với các ngôn ngữ lập trình. Trong một nhận xét trôi qua, giáo sư đã đề cập rằng lớp của tất cả các hàm tổng (tức là các hàm luôn chấm dứt …

29 computability  semi-decidability  enumeration 

Wikipedia cũng như các nguồn khác mà tôi đã tìm thấy voidloại C là một loại đơn vị trái ngược với loại trống. Tôi thấy điều này khó hiểu vì dường như với tôi voidphù hợp hơn với định nghĩa về loại trống / đáy. Không có giá trị cư …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

Mọi vấn đề không thể giải quyết mà tôi biết đều thuộc một trong các loại sau: Các vấn đề không thể giải quyết được do đường chéo (tự tham chiếu gián tiếp). Những vấn đề này, giống như vấn đề tạm dừng, là không thể giải quyết được vì …

28 computability  proof-techniques  undecidability 

Có chương trình nào có thể 'dịch' mã nguồn giữa hai ngôn ngữ bất kỳ (giả sử người dịch có quyền truy cập vào các thư viện cần thiết) không? Nếu có, làm thế nào để họ làm việc (kỹ thuật được sử dụng, kiến ​​thức cần thiết, vv)? Làm …

28 computability  programming-languages  compilers