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

Giả sử tôi có hai hàm và và tôi quan tâm đến việc xác định xemFFFGGG F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. Giả sử rằng các hàm của tôi bao gồm các hàm cơ bản (đa thức, hàm mũ, nhật ký và hàm lượng giác), nhưng không, giả sử, chuỗi Taylor. Là …

9 computability  undecidability  mathematical-analysis  computer-algebra 

Ở giữa kỳ có một biến thể của câu hỏi sau: Đối với thể quyết định xác định Hiển thị rằng không nhất thiết phải có thể quyết định.pref ( L ) = { x | ∃ y st x y ∈ L } pref ( L )LLLPref(L)={x∣∃y s.t. xy∈L}Pref(L)={x∣∃y …

9 computability  undecidability 

Xem xét điều kiện xây dựng từ các yếu tố của và các hoạt động + , × , - , / , và n √QQ\mathbb Q+,×,−,/+,×,−,/+,\times,-,/⋅−−√n⋅n\sqrt[n]{\,\cdot\,}cho mỗi số tự nhiên . Đưa ra lời hứa rằng hai thuật ngữ được hình thành rõ ràng - nghĩa là không có …

8 computability  undecidability  number-theory  equality 

Có vấn đề nào về tính quyết định trong đó chưa được biết nhưng chắc chắn rằng các vấn đề ít khó khăn hơn vấn đề tạm dừng.

8 computability  reference-request  undecidability 

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 

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 

Hãy xem xét vấn đề vũ trụ sau đây . Vấn đề vũ trụ. Cho một tập hữu hạn cho một lớp học ngôn ngữ, và một automaton chấp nhận ngôn ngữ L , quyết định nếu L = Σ * .ΣΣ\SigmaLLLL = Σ*L=Σ∗L=\Sigma^* Trong [1], người ta đã tuyên …

8 formal-languages  reference-request  automata  undecidability  decision-problem 

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 

Làm thế nào để tôi chỉ ra rằng vấn đề quyết định xem một thiết bị PDA có chấp nhận một số chuỗi có dạng không thể giải quyết được không?{ w ! w ∣ w ∈ { 0 , 1 }*}{w!w∣w∈{0,1}∗}\{ w!w \mid w \in \{ 0, 1 \}^*\} …

8 formal-languages  automata  context-free  undecidability  pushdown-automata 

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ỗi lần tôi nghĩ rằng tôi hiểu định lý của Rice nghĩa là gì, tôi lại tìm thấy một ví dụ để làm tôi bối rối. Có lẽ ai đó có thể cho tôi biết tôi đang nghĩ sai ở đâu. Hãy lấy một số thuộc tính không tầm thường …

8 computability  undecidability 

Để cho L={<M>|ML={<M>|ML = \{ | M tạm dừng trên mỗi đầu vào xxx nhiều nhất 200∗|x|200∗|x|200 * |x| các bước }}\}. Là LLLquyết định? Có thể nhận ra? Cho rằng thành viên trong LLL khẳng định một cái gì đó về MMMHành vi của một chuỗi vô hạn, đối …

8 computability  turing-machines  undecidability  decision-problem 

Như nó nói trong tiêu đề: Có những trường hợp vấn đề mà chúng ta biết là không thể giải quyết? Hoặc tương đương Có bất kỳ vấn đề hứa hẹn nào với số lượng đầu vào hữu hạn không thể giải quyết được không? Xin lưu ý: Tôi nhận …

7 undecidability