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

Tôi muốn biết nếu vấn đề sau đây là quyết định và làm thế nào để tìm hiểu. Mọi vấn đề tôi thấy tôi có thể nói "có" hoặc "không" với nó, vì vậy hầu hết các vấn đề và thuật toán có thể quyết định được ngoại trừ một …

17 algorithms  computability  graph-theory  undecidability 

Vấn đề cho dù hai thiết bị tự động đẩy xuống nhận ra cùng một ngôn ngữ là không thể giải quyết được. Vấn đề liệu một thiết bị tự động đẩy xuống có nhận ra ngôn ngữ trống hay không là có thể quyết định được, do đó cũng …

16 computability  undecidability  pushdown-automata 

Không có giải pháp phân tích chung cho vấn đề cơ thể n có thể tạo ra chức năng phân tích có thể được sử dụng để đưa ra trạng thái của hệ thống cơ thể n tại thời điểm tùy ý t với độ chính xác chính xác. Tuy …

16 computability  turing-machines  undecidability  computation-models 

Có các thuộc tính không thể giải quyết được của automata giới hạn tuyến tính (tránh các thủ thuật ngôn ngữ thiết lập trống)? Điều gì về một máy tự động hữu hạn xác định? (đặt sang một bên độ hấp dẫn). Tôi muốn lấy một ví dụ (nếu có …

15 computability  automata  undecidability 

Được biết, ngôn ngữ của các từ chứa số 0 và 1 bằng nhau là không thường xuyên, trong khi ngôn ngữ của các từ chứa số 001 và 100 bằng nhau là thường xuyên ( xem tại đây ). Cho hai từ , có thể quyết định được không …

14 regular-languages  undecidability 

Tôi có những câu hỏi này từ một bài kiểm tra cũ tôi đang cố gắng giải. Đối với mỗi vấn đề, đầu vào là một mã hóa của một số máy Turing MMM . Đối với số nguyên và ba vấn đề sau:c>1c>1c>1 Có đúng là với mọi đầu …

14 computability  turing-machines  undecidability 

Tôi tự hỏi làm thế nào mà rằng ngôn ngữ sau đây là trong .RR\mathrm R LM1={⟨M2⟩∣∣M2 is a TM, and L(M1)=L(M2), and |⟨M1⟩|>|⟨M2⟩|}LM1={⟨M2⟩|M2 is a TM, and L(M1)=L(M2), and |⟨M1⟩|>|⟨M2⟩|}L_{M_1}=\Bigl\{\langle M_2\rangle \;\Big|\;\; M_2 \text{ is a TM, and } L(M_1)=L(M_2), \text{ and } |\langle M_1\rangle| > | \langle M_2 …

14 computability  undecidability 

Tuy nhiên, rất nhiều vấn đề "nổi tiếng" không thể giải quyết được, ít nhất là có thể bán được, với sự bổ sung của chúng là không thể giải quyết được. Một ví dụ trên tất cả có thể là vấn đề tạm dừng và bổ sung của nó. …

13 formal-languages  computability  turing-machines  undecidability  semi-decidability 

Tôi tự hỏi nếu quyết định tính quyết định của vấn đề là một vấn đề có thể quyết định. Tôi đoán là không, nhưng sau những tìm kiếm ban đầu tôi không thể tìm thấy bất kỳ tài liệu nào về vấn đề này.

13 computability  undecidability  decision-problem 

Tôi đã đọc trên Wikipedia và một số văn bản khác Vấn đề tạm dừng là [...] có thể quyết định đối với máy tự động giới hạn tuyến tính (LBA) [và] máy xác định có bộ nhớ hữu hạn. Nhưng trước đó người ta viết rằng vấn đề tạm …

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

Tôi đã xem qua định nghĩa Wikipedia về ngôn ngữ nhạy cảm ngữ cảnh và tôi đã tìm thấy điều này: Mỗi thể loại ngôn ngữ là một tập hợp con đúng của danh mục trực tiếp trên nó. Bất kỳ máy tự động và bất kỳ ngữ pháp nào …

12 formal-grammars  turing-machines  undecidability  context-sensitive 

Có tồn tại các ngôn ngữ không thể giải quyết sao cho ngôn ngữ hợp nhất / giao nhau / kết nối của chúng là có thể quyết định? Giải thích vật lý của ví dụ như vậy là gì bởi vì nói chung, các ngôn ngữ không thể giải …

12 formal-languages  undecidability  closure-properties 

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 

Tôi đang đọc một câu trả lời cho một câu hỏi gần đây, và một ý nghĩ kỳ lạ, phù du xuất hiện trong đầu. Việc tôi hỏi điều này có thể phản bội rằng lý thuyết của tôi bị thiếu nghiêm trọng (chủ yếu là đúng) hoặc là quá …

11 turing-machines  undecidability  halting-problem