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

Theo hiểu biết của tôi, vấn đề tạm dừng hỏi liệu có tồn tại một chương trình quyết định xem chương trình đang được thử nghiệm hay không, được cung cấp một số dữ liệu đầu vào (bất kể đó là chương trình nào, hoặc dữ liệu đầu vào nào …

8 computability  halting-problem 

Tôi muốn xác định xem vấn đề quyết định này là có thể quyết định. Tôi đã cố gắng thiết lập các mức giảm từ Halt và "Chấp nhận chuỗi rỗng", nhưng tôi chưa tìm thấy giải pháp. Ai đó có thể giúp tôi không?

8 computability  turing-machines  undecidability 

Ví dụ: chúng ta có thể nói rằng chúng ta có một chương trình trừu tượng, được cung cấp một chuỗi nhị phân hữu hạn làm đầu vào, loại bỏ tất cả các số không (ví dụ 0010001101011 ước tính thành 111111), đây chắc chắn là một hàm tính toán …

8 computability  turing-machines 

Theo luận án của Church-Turing, không thể thiết kế một thuật toán để quyết định vấn đề tạm dừng. Liệu thuật toán từ trong ngữ cảnh này có bao gồm trí thông minh nhân tạo hay không, nghĩa là luận án Church-Turing cũng áp dụng cho trí tuệ nhân tạo? …

8 computability  artificial-intelligence  halting-problem  church-turing-thesis 

Có thể giảm thiểu automata đẩy xuống? Nếu không, tại sao? Có phải vì để giảm thiểu các lớp tương đương cần phải có một chỉ số hữu hạn và chúng tôi không thể đảm bảo điều đó cho CFG?

8 computability  automata  pushdown-automata 

Khi tôi lần đầu tiên nghe về những điều này, tôi đã rất thích thú vì tôi nghĩ rằng nó thực sự đặt ra giới hạn cho toán học và khoa học nói chung. Nhưng làm thế nào thực tế có liên quan là những điều này? Đối với vấn …

8 computability  logic  halting-problem  applied-theory 

Như tôi đã nghiên cứu, việc quyết định tính đều đặn của các ngôn ngữ không ngữ cảnh là không thể giải quyết được. Tuy nhiên, chúng ta có thể kiểm tra tính đều đặn bằng cách sử dụng định lý Myode của Nerode cung cấp một điều kiện cần …

8 formal-languages  computability  regular-languages  undecidability 

Tôi đang cố gắng (bằng trực giác) hiểu hai thuật ngữ "tính quyết định" và "tính xác minh". Tôi đã thực hiện một lượng tìm kiếm hợp lý và trải qua các văn bản khác nhau mà tôi có thể đặt tay lên. Tuy nhiên, sự hiểu biết trực quan …

8 complexity-theory  formal-languages  terminology  computability 

PC của chúng tôi có hoạt động như Turing Machine không? Mô hình của Máy Turing bao gồm băng nhớ vô hạn, có nghĩa là trạng thái vô hạn. Nhưng giả sử nếu PC của chúng ta có bộ nhớ 128 MB và đĩa 30 GB thì nó sẽ có …

8 complexity-theory  computability  turing-machines  automata 

Nếu bạn có một ngôn ngữ L, mà không cần thực hiện bất kỳ bằng chứng nào, có cách nào để biết liệu nó có thể nhận ra hoặc đồng nhận biết hoặc có thể quyết định được không? Về cơ bản bất kỳ gợi ý hoặc thủ thuật có …

8 computability  undecidability  intuition 

Cho và người ta có thể định nghĩa công thức sau đây bằng ngôn ngữ của các nhà khoa học chính thức p , q ∈ N [ x 1 , Mạnh , x n ]n ∈ Nn∈Nn \in \mathbb{N}p , q∈ N [ x1, Lọ , xn]p,q∈N[x1,Giáo dục,xn]p,q \in …

8 computability  logic  undecidability 

Tôi đang cố gắng dạy cho mình lý thuyết tính toán với một cuốn sách giáo khoa. Theo cuốn sách của tôi, một hàm trên bảng chữ cái A = { a , b , c , d , e , f , g , h , i , j …

8 formal-languages  computability  undecidability 

Tôi muốn giúp đỡ của bạn với minh rằng ngôn ngữ là decidable iff P = N P .L = { ⟨ M⟩ | L ( M) ∈ N P ∖ P }L= ={⟨M⟩|L(M)∈NP∖P}L=\{\langle M \rangle \mathrel| L(M) \in \mathrm{NP}\smallsetminus \mathrm{P} \}P = N PP= =NP\mathrm{P}=\mathrm{NP} Nếu , tôi hiểu …

8 computability  undecidability  p-vs-np 

Máy Turing có bảng chữ cái biểu tượng chính thức , trạng thái và mô tả quy tắc chuyển đổi dựa trên cách tính toán được thực hiện. Mô hình diễn viên đôi khi được đề cập như một mô hình tính toán mạnh mẽ hơn so với máy Turing …

8 terminology  computability  reference-request  programming-languages  computation-models 

Đọc bài viết Giới thiệu về Giải tích Lambda , tôi đã bắt gặp một đoạn mà tôi không thực sự hiểu, ở trang 34 (chữ in nghiêng của tôi): Trong mỗi hai mô hình, có một số phiên bản tính toán lambda đánh máy. Trong nhiều hệ thống quan …

8 computability  logic  lambda-calculus  type-theory