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

Tôi muốn mã hóa một máy Turing đơn giản theo luật chơi bài. Tôi muốn biến nó thành một cỗ máy Turing phổ quát để chứng minh sự hoàn chỉnh của Turing. Cho đến nay tôi đã tạo một trạng thái trò chơi mã hóa máy Turing 2 trạng thái, …

31 computability  turing-machines  universal-computation 

Nếu chúng ta xem xét định lý phân cấp DTIME, chúng ta đã có một bản ghi do chi phí mô phỏng của Máy Turing xác định bằng một máy phổ quát: DTIME(flogf)⊊DTIME(f)DTIME(flog⁡f)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) Chúng tôi chưa có loại chi phí này cho NTIME của DSPACE. Một lời …

30 cc.complexity-theory  universal-computation  time-hierarchy 

Chúng ta hãy sửa mã hóa máy Turing không có tiền tố và máy Turing phổ dụng UUU trên đầu vào (T,x)(T,x)(T,x) (được mã hóa dưới dạng mã không có tiền tố của TTT theo sau xxx ) xuất ra bất cứ thứ gì TTT xuất ra trên đầu vào …

28 cc.complexity-theory  kolmogorov-complexity  universal-computation  universal-turing-machines 

Tôi không thể nghĩ về bất kỳ mô hình như vậy, có thể một số hình thức tính toán lambda gõ? một số tự động tế bào tiểu học? Điều này gần như sẽ bác bỏ "Nguyên tắc tương đương tính toán" của Wolfram: Hầu như tất cả các quy …

26 automata-theory  computability  turing-machines  lambda-calculus  universal-computation 

Đây là một sự cải tổ của các chương trình ngữ pháp? hỏi trước bởi Vag và với nhiều lời đề nghị từ các bình luận viên. Bằng cách nào một ngữ pháp có thể được xem là chỉ định một mô hình tính toán? Ví dụ, nếu chúng ta …

18 fl.formal-languages  pl.programming-languages  grammars  universal-computation 

Tôi đang tìm kiếm tổ hợp phổ quát nhỏ nhất có thể , được đo bằng số lượng trừu tượng và ứng dụng cần thiết để chỉ định một tổ hợp như vậy trong phép tính lambda . Ví dụ về các tổ hợp phổ quát bao gồm: kích thước …

17 lo.logic  computability  lambda-calculus  universal-computation  combinatory-logic 

Có ứng dụng thực tế nào cho các mô hình lập trình không von Neumann không? Các ngôn ngữ lập trình không von Neumann được chấp nhận rộng rãi nhất là gì?

16 universal-computation  logic-programming 

Greg Egan trong tiểu thuyết "Dark Integers" (câu chuyện về hai vũ trụ với hai toán học khác nhau giao tiếp bằng cách chứng minh các định lý xung quanh sự không nhất quán trong số học) cho rằng có thể xây dựng máy tính đa năng chỉ trên các …

14 computability  universal-computation 

Có một mẹo cũ để viết ra một thuật toán, nếu P = NP, giải SAT trong thời gian đa thức. Về cơ bản, người ta liệt kê tất cả các cỗ máy thời gian đa thức và đa tác vụ trên chúng. Có một mẹo tương tự cho các …

13 universal-computation  one-way-function 

Robin Gandy là một học sinh của Alan Turing . Gandy đã thực hiện một phân tích về Công cụ phân tích của Babbage (xem 'Gandy - Sự kết hợp của các ý tưởng vào năm 1936' được trích dẫn trong 'Herken, Rolf - The Turing Machine Universal Một cuộc …

10 turing-machines  universal-computation  charles-babbage 

Trong Bernstein và Vazirani của giấy tinh "Quantum Theory phức tạp", họ cho thấy một biến đổi unita chiều có thể xấp xỉ một cách hiệu quả bởi một sản phẩm của những gì họ gọi là "gần tầm thường quay" và "thay đổi giai đoạn gần như không đáng …

10 quantum-computing  linear-algebra  universal-computation 

Có một số khái niệm khác nhau (có thể là không tương đương) về tính phổ quát tính toán (ví dụ: xem vài trang cuối của http://www.dna.caltech.edu/~woods/doad/WoodsNearyTCS07-DRAFT.pdf ) và không có sự đồng thuận giữa các các chuyên gia về khái niệm nào là chính xác nhất (xem ví dụ …

10 universal-computation 

Chúng ta hãy sửa mã hóa máy Turing và máy Turing phổ dụng, U, trên đầu vào (T, x) xuất ra bất cứ thứ gì T xuất ra trên đầu vào x (có thể cả hai chạy mãi mãi). Xác định độ phức tạp Kolmogorov của x, K (x), là …

9 cc.complexity-theory  universal-computation  kolmogorov-complexity  universal-turing-machines 

Tôi đang tìm kiếm các nguồn về khái niệm chính thức của các chương trình. Điều này dường như có liên quan mật thiết đến sự tương ứng của Curry-Howard, nhưng người ta cũng có thể theo dõi điều này trở lại với Universal Turing Machines và khả năng đọc …

8 pl.programming-languages  universal-computation  type-systems  program-verification  formal-methods