computability

16Nhiệt

4Trả lời

Có phương pháp hộp đen nào để phát hiện xem thuật toán sắp xếp có ổn định không?

Trong JavaScript (phần nào có thể áp dụng ở nơi khác), nơi bạn không biết mã đang chạy đang triển khai đích nào, có cách nào để phát hiện nếu thuật toán sắp xếp cơ bản (của Array.sort) ổn định hay khô

5Nhiệt

1Trả lời

Chức năng Ackermann so với n vòng lặp lồng nhau

Tôi đang làm việc theo cách của mình trên một cuốn sách về tính toán (Minksy 1967) và có một thời gian khó khăn liên quan đến hàm đệ quy với hàm được xác định theo vòng lặp. Cụ ông hỏi để tìm mối quan

15Nhiệt

2Trả lời

"Bí quyết" để viết một Quine là gì?

Tôi đọc bài báo cổ điển của Ken Thompson Reflections on Trusting Trust, trong đó anh ta nhắc người dùng viết Quine làm giới thiệu về đối số của anh ấy (đọc được khuyến nghị cao). Một quine là một chươ

8Nhiệt

2Trả lời

Turing đầy đủ tính toán lambda?

Làm thế nào để bạn tranh luận cho thực tế là tính toán lambda là Turing hoàn thành (theo cách đơn giản nhất có thể)?

5Nhiệt

1Trả lời

Tính khả dụng và tính đệ quy

Giả sử tồn tại máy Turing M1, M2, M3, các ngôn ngữ mà chúng nhận dạng là L (M1), L (M2) và L (M3) tương ứng. Ngôn ngữ sau L = {(M1, M2, M3): L (M1), L (M2) và L (M3) không bằng nhau} Ngôn ngữ có thể g

8Nhiệt

1Trả lời

Tất cả các ngôn ngữ đã biết mà máy Turing không thể chấp nhận là gì?

Đối với example, ngôn ngữ của máy Turing không chấp nhận mã hóa riêng của chúng không thể được chấp nhận bởi bất kỳ máy Turing nào.

6Nhiệt

1Trả lời

PI có phải là số tính toán được không?

AFAIK, các số có thể tính toán được là các số có chỉ số i-th có thể được trả về bằng Máy Turing. Vì vậy, một số không thể tính được sẽ giống như một số có dấu thập phân được quyết định nếu một số chươ