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

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 

Một tập hợp có thể đếm được nếu nó có một mệnh đề với các số tự nhiên và có thể tính toán được (ce) nếu có một thuật toán liệt kê các thành viên của nó. Bất kỳ tập hợp vô hạn tính toán hữu hạn nào cũng phải …

15 computability  semi-decidability 

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 

Đây là những gì được biết về vấn đề tạm dừng và bán quyết định: - Vấn đề tạm dừng nói rằng đối với đầu vào x và máy H đã cho, chúng ta không thể nói liệu máy H có dừng hay không trên đầu vào x. Một ngôn …

7 computability  turing-machines  halting-problem  semi-decidability