Khoa học máy tính halting-problem

4

Xác định vấn đề tạm dừng cho automata không xác định

Định nghĩa chính của máy Turing (TM), ít nhất là trong sách giáo khoa tham khảo của riêng tôi (Hopcroft + Ullman 1979) mang tính quyết định. Do đó sự hiểu biết của riêng tôi về vấn đề tạm dừng chủ yếu dành cho TM xác định, mặc dù tôi …

18 turing-machines automata nondeterminism halting-problem linear-bounded-automata

3

Có một TM tạm dừng trên tất cả các đầu vào nhưng tài sản đó là không thể chứng minh?

Có tồn tại một máy Turing tạm dừng trên tất cả các đầu vào nhưng thuộc tính đó không thể chứng minh được vì một số lý do? Tôi tự hỏi nếu câu hỏi này đã được nghiên cứu. Lưu ý, "không thể chứng minh" có thể có nghĩa là …

17 computability reference-request turing-machines halting-problem

5

Máy Turing + giãn thời gian = giải quyết vấn đề tạm dừng?

Có những không gian vũ trụ tương đối tính (ví dụ như tàu vũ trụ MH; xem Hogarth 1994) trong đó một thế giới của thời gian vô hạn có thể được chứa trong quá khứ của một người quan sát hữu hạn. Điều này có nghĩa là một người …

15 turing-machines halting-problem church-turing-thesis hypercomputation

5

Làm thế nào để chứng minh sự tồn tại của một số không thể được viết bởi bất kỳ thuật toán nào?

Tôi có vấn đề: Cho thấy tồn tại một số thực mà không có chương trình nào tồn tại chạy dài vô tận và ghi các chữ số thập phân của số đó. Tôi cho rằng nó có thể được giải quyết bằng cách giảm nó thành vấn đề Dừng, …

14 algorithms reductions halting-problem

3

Tại sao vấn đề tạm dừng có thể quyết định đối với LBA?

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

3

Liệu bằng chứng về tính không ổn định của vấn đề Ngừng gian lận bằng cách đảo ngược kết quả?

Tôi gặp khó khăn trong việc hiểu vấn đề tạm dừng của Turing. Bằng chứng của anh ta giả định rằng có tồn tại một cỗ máy ma thuật có thể xác định liệu một máy tính sẽ dừng lại hay lặp lại mãi mãi cho một đầu vào nhất …

12 computability halting-problem

1

Tổng hợp chương trình, tính quyết định và vấn đề tạm dừng

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

1

Có bất kỳ vấn đề hiện tại sẽ không thể giải quyết được với một lời tiên tri tạm dừng?

Tôi hiểu rằng hầu hết các vấn đề là tầm thường nếu có một lời tiên tri tạm dừng (hoặc, tôi nghĩ tương đương, siêu tính toán). Tuy nhiên, việc áp dụng đối số cho thấy Sự cố dừng là không thể đối với máy Turing cũng cho thấy rằng …

11 computability undecidability halting-problem oracle-machines

1

Là vấn đề tạm dừng có thể quyết định cho automata di động 3 biểu tượng một chiều?

Tôi đã cố gắng tìm hiểu xem vấn đề tạm dừng có thể quyết định được đối với automata di động một chiều 3 ký hiệu hay không. Định nghĩa Gọi biểu thị cấu hình của hệ thống tại bước thời gian i . Chính thức hơn f : A …

10 computability decision-problem halting-problem cellular-automata

2

Ngừng vấn đề mà không tự tham khảo

Trong vấn đề tạm dừng, chúng tôi quan tâm nếu có máy Turing có thể cho biết liệu máy Turing đã cho M có dừng hay không trên đầu vào i đã cho . Thông thường, bằng chứng bắt đầu giả sử T như vậy tồn tại. Sau đó, chúng …

10 computability undecidability halting-problem

1

Vấn đề thứ 10 của Hilbert và phương trình Diophantine của Chaitin Máy tính?

Trong Meta Math của Chaitin ! The Quest For Omega , anh nói ngắn gọn về vấn đề thứ 10 của Hilbert. Sau đó, ông nói rằng bất kỳ phương trình Diophantine có thể được thay đổi thành hai đa thức bằng nhau với các hệ số nguyên dương: .p …

10 logic halting-problem

4

Máy Turing (TM) có thể quyết định xem sự cố tạm dừng có áp dụng cho tất cả các TM không?

Trên trang web này có nhiều biến thể về câu hỏi liệu các TM có thể quyết định vấn đề tạm dừng hay không, cho dù tất cả các TM khác hoặc các tập hợp con nhất định. Câu hỏi này có phần khác nhau. Nó hỏi liệu thực tế …

9 computability turing-machines undecidability halting-problem

2

Có thể giải quyết vấn đề tạm dừng cho tất cả các đầu vào ngoại trừ mã của máy không?

Câu hỏi này xảy ra với tôi về vấn đề tạm dừng và tôi không thể tìm thấy câu trả lời hay trên mạng, tự hỏi liệu ai đó có thể giúp đỡ. Có thể là vấn đề tạm dừng có thể quyết định đối với bất kỳ TM nào …

9 computability undecidability halting-problem

2

Hằng số của Chaitin là bình thường?

Theo nguồn tin này, hằng số Chaitin ΩΩ\Omega là bình thường. Mỗi xác suất tạm dừng là một số thực bình thường và siêu việt không thể tính toán được, điều đó có nghĩa là không có thuật toán để tính các chữ số của nó. Thật vậy, mỗi xác …

9 halting-problem

2

Ngừng vấn đề mà không tự tham khảo: tại sao đối số này không đủ (hoặc không)?

Tôi đang cố gắng tìm cách giải thích ý tưởng về chứng minh vấn đề tạm dừng theo cách dễ tiếp cận nhất có thể (đối với sinh viên CS chưa tốt nghiệp). Đối số đơn giản nhất tôi đã tìm thấy là điều này ; đây chính xác là …

8 halting-problem

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