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

Theo kinh nghiệm của tôi, các ngôn ngữ nhạy cảm theo ngữ cảnh và automata giới hạn tuyến tính thường bị bỏ qua hoặc vượt qua trong các khóa học lý thuyết tính toán, và thậm chí bị loại khỏi một số sách giáo khoa đáng chú ý, mặc dù …

9 computability  fl.formal-languages  automata-theory 

Đã đóng cửa. Câu hỏi này không đúng chủ đề . Nó hiện không chấp nhận câu trả lời. Bạn muốn cải thiện câu hỏi này? Cập nhật câu hỏi để nó thuộc chủ đề cho Trao đổi ngăn xếp khoa học máy tính lý thuyết. Đóng cửa 3 năm …

9 lo.logic  computability  pl.programming-languages 

Theo định lý của Rice, bạn không thể xác định liệu hai máy Turing có quyết định cùng một ngôn ngữ hay không. Câu hỏi của tôi là: Điều này cũng áp dụng trong cài đặt độ phức tạp mô tả, đặc biệt khi thử nghiệm một cặp truy vấn …

9 computability  descriptive-complexity 

Trong Khả năng tính toán, nếu chúng tôi muốn chứng minh rằng một vấn đề không phải là đệ quy hoặc không thể đệ quy, chúng tôi có thể sử dụng ví dụ như giảm các vấn đề không đệ quy hoặc không tái diễn khác, định lý Rice, định …

8 cc.complexity-theory  computability 

Tôi đã tự hỏi một thời gian về nguồn gốc của các tên "miễn dịch" và "đơn giản". Tôi cũng đặt ra câu hỏi tương tự với Andrea Sorbi, người lần lượt liên quan đến một vài đồng nghiệp nữa trong cuộc thảo luận. Về "đơn giản" chúng tôi có …

8 reference-request  lo.logic  computability  philosophy 

Có một sự khái quát của trò chơi GO được biết là hoàn thành Turing không? Nếu không, bạn có một số gợi ý về các quy tắc (khái quát hóa) hợp lý có thể được sử dụng để cố gắng chứng minh rằng nó đã hoàn thành? Một điều …

8 computability  turing-machines 

Ngôn ngữ của whilecác chương trình có thể diễn tả các chức năng có thể tính toán được. (Điều này đúng ngay cả khi các phép toán số học duy nhất trên các biến là, giả sử, tăng và giảm.) Nếu whileđược thay thế bằng for, làm cho các vòng …

8 cc.complexity-theory  computability  pl.programming-languages 

Tôi đang cố gắng phát triển một số khái niệm về tính toán khác biệt giữa Máy Turing lý tưởng nổi tiếng được hình thành bởi một nhà phát triển (ví dụ: bất cứ thứ gì được nhà phát triển phần mềm dự định), gọi nó là và Máy đại …

8 lo.logic  computability  pl.programming-languages  model-checking  program-verification 

Nhiều kết quả trong mật mã phụ thuộc vào kết quả / phỏng đoán bất khả thi trong lý thuyết phức tạp. Ví dụ, mật mã khóa công khai sử dụng RSA được cho là có thể do phỏng đoán về tính không khả thi của bao thanh toán (và …

8 cc.complexity-theory  cr.crypto-security  computability 

Bạn có thể giới thiệu một bài báo khảo sát hoặc chương sách giáo khoa giới thiệu lý thuyết về các hàm đệ quy? Cảm ơn

8 reference-request  computability 

Một Quine là một chương trình máy tính mà tạo ra một bản sao của mã nguồn riêng của mình như đầu ra duy nhất của nó. Có chương trình Quine nào có thể tự in ra n lần, với n được chỉ định một số cách trong chương trình …

8 computability  recreational 

Trong bài báo Tương đối hóa của P =? Câu hỏi NP , Baker và cộng sự. cho thấy có những thế giới tương đối hóa trong đó P = NP hoặc P ≠ NP nắm giữ. Tất cả các nhà tiên tri trong các thiết lập của họ là …

8 cc.complexity-theory  computability  oracles  relativization