turing-complete

7Nhiệt

2Trả lời

Tính toán quan hệ tuple an toàn có phải là một ngôn ngữ hoàn chỉnh không?

5Nhiệt

5Trả lời

Điều gì có thể làm awk rằng sed có thể không?

Tôi sử dụng sed cho một loạt ptovess nơi tôi không thể làm điều đó với awk. Vould awk đã làm điều đó? Hoặc là nó là một vấn đề của sự lựa chọn và gọi awk và sed tương đương cho việc sử dụng. Cả hai đề

5Nhiệt

2Trả lời

Turing Bộ chữ cái hoàn chỉnh chữ số x86 (tập hợp con)

Tôi đang tìm cách tạo một tập hợp con nhỏ, tính toán phổ quát của mã vạch x86 chữ và số. Cuối cùng, tôi muốn tập hợp con chứa ít hướng dẫn nhất có thể và nếu có nhiều tập con tối thiểu, tôi cũng muốn

5Nhiệt

2Trả lời

Trình biên dịch tiền xử lý C++ có được lập trình đầy đủ không?

Tôi biết lập trình meta mẫu C++ là Turing-complete. Điều tương tự có giữ cho lập trình meta lập trình trước không?

19Nhiệt

4Trả lời

Ai đó có thể giải thích Quy tắc 110 theo cách đơn giản nhất có thể không?

Tôi không thể che đầu quanh những gì the Wikipedia article hoặc the answer here. Ai đó có thể giải thích Quy tắc 110 bằng các thuật ngữ đơn giản không? Làm thế nào để đảm bảo Turing đầy đủ?

7Nhiệt

8Trả lời

Các loại chương trình này có thể tồn tại trong mọi ngôn ngữ Turing hoàn chỉnh không?

Trong mọi ngôn ngữ Turing-Complete, là nó có thể tạo ra một tác biên dịch cho chính nó mà đầu tiên chạy trên một phiên dịch viết bằng một số ngôn ngữ khác và sau đó biên dịch nó là mã nguồn riêng? (Bo

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ể)?

50Nhiệt

2Trả lời

Hệ thống kiểu trong Scala là Turing hoàn chỉnh. Bằng chứng? Thí dụ? Lợi ích?

Có những tuyên bố rằng hệ thống kiểu của Scala là Turing hoàn tất. Câu hỏi của tôi là: Có bằng chứng chính thức cho điều này không? Làm thế nào một phép tính đơn giản trông giống như trong hệ thống ki

27Nhiệt

6Trả lời

Cổng logic nào cần cho Turing đầy đủ?

Con trai tôi đã chơi Little Big Planet 2 gần đây, và tôi nhận thấy rằng trình chỉnh sửa trò chơi cho phép VÀ cổng, HOẶC cổng và KHÔNG cổng ... Có phải Turing đã hoàn thành? Nếu vậy, bất cứ ai có thể g

24Nhiệt

1Trả lời

Thuộc tính nào của hệ thống kiểu Scala làm cho nó hoàn thành Turing?

Scala sử dụng hệ thống kiểu dựa trên Hệ thống F ω, thường được cho là chuẩn hóa mạnh mẽ. Tối ưu hóa mạnh mẽ ngụ ý hoàn toàn không Turing. Tuy nhiên, hệ thống kiểu của Scala là Turing-complete. Những t