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

Có tồn tại một tập hợp các cấu trúc ngôn ngữ lập trình trong một ngôn ngữ lập trình để nó được coi là Turing Complete không? Từ những gì tôi có thể nói từ wikipedia , ngôn ngữ cần hỗ trợ đệ quy, hoặc, dường như, phải có khả …

55 computability  programming-languages  turing-machines  turing-completeness 

Tôi đã gặp một vấn đề kỳ lạ khi viết một trình thông dịch (nên) móc vào các chương trình / chức năng bên ngoài: Các hàm trong 'C' và 'C ++' không thể móc các hàm matrixdic , ví dụ: tôi không thể tạo một hàm gọi 'printf' với …

42 computability  programming-languages  turing-completeness 

Tôi đã cố gắng giải thích với ai đó rằng C là Turing-Complete và nhận ra rằng tôi thực sự không biết liệu đó có thực sự là Turing hoàn chỉnh hay không. (C như trong ngữ nghĩa trừu tượng, không phải như trong một triển khai thực tế.) Câu …

40 computability  turing-completeness  c 

Tôi thấy rằng hầu hết các định nghĩa về những gì cần phải hoàn thành Turing đều mang tính thời sự ở một mức độ nào đó. Ví dụ: nếu bạn Google "Turing hoàn thành nghĩa là gì", bạn sẽ nhận được: Một máy tính hoàn thành Turing nếu nó …

34 turing-machines  turing-completeness 

Tôi đã đọc về Iota và Jot và thấy phần này khó hiểu: Không giống như Iota, nơi cây cú pháp cho một chuỗi có thể phân nhánh ở bên trái hoặc bên phải, cú pháp Jot được phân nhánh đồng đều. Do đó, Iota hoàn toàn không có ngữ …

32 regular-languages  programming-languages  turing-completeness 

Lưu ý, trong khi tôi biết cách lập trình, tôi khá là người mới bắt đầu học lý thuyết CS. Theo câu trả lời này Turing hoàn thiện là một khái niệm trừu tượng về khả năng tính toán. Nếu một ngôn ngữ là Turing hoàn chỉnh, thì nó có …

26 computability  programming-languages  turing-completeness 

Tôi biết rằng, trong các ngôn ngữ lập trình bắt buộc, vòng lặp while-do đủ để xây dựng luồng điều khiển để làm cho ngôn ngữ trở nên hoàn chỉnh (theo như luồng điều khiển đi - tất nhiên chúng ta cũng cần bộ nhớ không giới hạn và các …

22 programming-languages  turing-completeness  loops  imperative-programming 

Có lẽ sự hiểu biết hạn chế của tôi về chủ đề này là không chính xác, nhưng đây là những gì tôi hiểu cho đến nay: Lập trình chức năng dựa trên Lambda Tính, được xây dựng bởi Alonzo Church. Lập trình bắt buộc dựa trên mô hình máy …

22 computability  turing-machines  programming-languages  lambda-calculus  turing-completeness 

Về cổng Toffoli lượng tử : nó là cổ điển phổ quát, và nếu vậy, tại sao? là nó quantumly phổ quát, và tại sao?

20 quantum-computing  circuits  turing-completeness 

Tôi đã đọc trang wikipedia cho quy tắc 110 trong automata di động và tôi ít nhiều biết cách chúng hoạt động (một bộ quy tắc quyết định nơi sẽ vẽ 1 hoặc 0 tiếp theo). Tôi vừa đọc xong Turing, nhưng tôi thậm chí không thể hiểu được bạn …

19 computability  automata  turing-completeness  cellular-automata 

Những hoạt động cần phải được thực hiện để làm bất kỳ tính toán tương tự tùy ý ? Phép cộng, phép trừ, phép nhân và phép chia có đủ không? Ngoài ra, có ai biết chính xác những vấn đề có thể dễ dàng sử dụng tính toán tương …

17 computability  computation-models  turing-completeness 

Tôi biết rằng có thể chứng minh PRITAL là Turing-Complete bằng cách xây dựng một chương trình mô phỏng máy Turing như thế này: turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf, Ls, Ls, Rs, Rs) :- !. perform(Q0, Ls0, Ls, Rs0, Rs) :- …

15 programming-languages  turing-completeness  logic-programming  prolog 

Tôi biết rằng các cổng NAND có thể được sử dụng để tạo ra các mạch thực hiện mọi bảng chân lý và các máy tính hiện đại được xây dựng từ các cổng NAND. Liên kết lý thuyết giữa các cổng NAND và tính đầy đủ của Turing là …

14 turing-machines  turing-completeness  digital-circuits 

Các ngôn ngữ như là dưới nhiều mức giảm một. Thật là tầm thường khi thấy rằng cũng có vấn đề hoàn chỉnh. S. Schmitz [1] xem xét một số lớp nằm giữa và . Họ trình bày các vấn đề hoàn chỉnh cho các lớp này theo các mức …

14 computability  reductions  turing-completeness  recursion-theory 

Tôi đã hỏi một câu hỏi tương tự trên cstheory.SE . Theo câu trả lời này trên Stackoverflow có một thuật toán trên một ngôn ngữ lập trình chức năng thuần túy phi lười biếng có phức tạp, trong khi cùng một thuật toán trong lập trình bắt buộc là …

13 complexity-theory  lambda-calculus  functional-programming  turing-completeness