Khoa học máy tính simulation

3

Làm thế nào để hiển thị hai mô hình tính toán là tương đương?

Tôi đang tìm kiếm lời giải thích về cách người ta có thể chứng minh rằng hai mô hình tính toán là tương đương nhau. Tôi đã đọc sách về chủ đề này ngoại trừ bằng chứng tương đương bị bỏ qua. Tôi có một ý tưởng cơ bản về …

21 proof-techniques computation-models simulation

1

Làm cách nào tôi có thể chuyển đổi máy Turing nhận dạng ngôn ngữ

Theo bài viết Wikipedia này , ngữ pháp không giới hạn tương đương với máy Turing. Bài viết lưu ý rằng tôi có thể chuyển đổi bất kỳ máy Turing nào thành ngữ pháp không hạn chế, nhưng nó chỉ cho thấy cách chuyển đổi ngữ pháp sang máy Turing. …

19 formal-grammars turing-machines simulation

1

Mô phỏng phổ quát của máy Turing

Đặt là hàm cố định thời gian có thể xây dựng.fff Kết quả mô phỏng phổ quát cổ điển cho các TM (Hennie và Stearns, 1966) nói rằng có một TM hai băng sao choBạnBạnU mô tả về TM và⟨ M⟩⟨M⟩\langle M \rangle một chuỗi đầu vào ,xxx chạy cho …

16 complexity-theory reference-request turing-machines machine-models simulation

4

Có phải mọi thuật toán thời gian tuyến tính là một thuật toán phát trực tuyến?

Trong câu hỏi này về đếm ngược , tôi tìm thấy một bài báo chứng minh giới hạn thấp hơn về độ phức tạp không gian cho tất cả các thuật toán phát trực tuyến (chính xác) . Tôi đã tuyên bố rằng ràng buộc này mở rộng cho tất …

14 algorithms streaming-algorithm simulation lower-bounds

3

Làm cách nào để tạo DFA từ biểu thức chính quy mà không sử dụng NFA?

Mục tiêu là tạo DFA từ một biểu thức thông thường và sử dụng "exp thông thường> NFA> chuyển đổi DFA" không phải là một tùy chọn. Làm thế nào một người nên đi về làm điều đó? Tôi đã hỏi câu hỏi này với giáo sư của chúng tôi …

12 automata finite-automata regular-expressions simulation

1

Làm thế nào để ánh xạ các băng của một máy Turing băng k-băng vào một băng duy nhất của một máy Turing Máy 1 băng

Tôi đang đọc Sipser và tôi cảm thấy khó hiểu quá trình này là gì nếu bạn đưa cho tôi k Máy Turing có băng k, tôi có thể nhổ ra một máy Turing tương đương chỉ với một băng. Một ví dụ sẽ tốt đẹp. Trên thực tế, một …

11 turing-machines simulation

2

1 / r lực hấp dẫn bởi thiết bị tự động di động

Có tồn tại một máy tự động di động (ở dạng 2D) mô phỏng lực giữa các hạt không?1/r1/r1/r Cụ thể hơn, tôi muốn biết liệu có thể, với các quy tắc cập nhật cục bộ nghiêm ngặt, để có hai đối tượng (được xác định trong mô hình) thu …

11 simulation cellular-automata

1

Suy ra các loại sàng lọc

Tại nơi làm việc, tôi được giao nhiệm vụ suy luận một số thông tin về ngôn ngữ động. Tôi viết lại các chuỗi các câu lệnh thành các letbiểu thức lồng nhau , như vậy: return x; Z => x var x; Z => let x = undefined in …

11 programming-languages logic type-theory type-inference machine-learning data-mining clustering order-theory reference-request information-theory entropy algorithms algorithm-analysis space-complexity lower-bounds formal-languages computability formal-grammars context-free parsing complexity-theory time-complexity terminology turing-machines nondeterminism programming-languages semantics operational-semantics complexity-theory time-complexity complexity-theory reference-request turing-machines machine-models simulation graphs probability-theory data-structures terminology distributed-systems hash-tables history terminology programming-languages meta-programming terminology formal-grammars compilers algorithms search-algorithms formal-languages regular-languages complexity-theory satisfiability sat-solvers factoring algorithms randomized-algorithms streaming-algorithm in-place algorithms numerical-analysis regular-languages automata finite-automata regular-expressions algorithms data-structures efficiency coding-theory algorithms graph-theory reference-request education books formal-languages context-free proof-techniques algorithms graph-theory greedy-algorithms matroids complexity-theory graph-theory np-complete intuition complexity-theory np-complete traveling-salesman algorithms graphs probabilistic-algorithms weighted-graphs data-structures time-complexity priority-queues computability turing-machines automata pushdown-automata algorithms graphs binary-trees algorithms algorithm-analysis spanning-trees terminology asymptotics landau-notation algorithms graph-theory network-flow terminology computability undecidability rice-theorem algorithms data-structures computational-geometry

1

Làm thế nào một máy Turing phổ dụng có thể mô phỏng những người lớn hơn của Google?

Tôi đang cố gắng tìm câu trả lời cho hai câu hỏi về máy Universal Turing. Làm thế nào máy Universal Turing có thể mô phỏng máy Turing nếu máy đang được mô phỏng có số lượng trạng thái lớn hơn? Làm thế nào máy Universal Turing có thể mô …

10 computability turing-machines simulation turing-completeness

1

Chứng minh rằng hàm boolean có thể tính toán được trong T (n) bằng máy RAM nằm trong DTIME (T (n) ^ 2)

Câu hỏi là bài tập 1.9 từ cuốn sách Tính phức tạp tính toán của Arora-Barak - Cách tiếp cận hiện đại : Xác định máy RAM Turing là máy Turing có bộ nhớ truy cập ngẫu nhiên. Chúng tôi chính thức hóa điều này như sau: Máy có một …

10 complexity-theory turing-machines machine-models simulation

1

Chuyển đổi CFG sang PDA

Có bất kỳ bộ quy tắc hoặc phương pháp nào để chuyển đổi bất kỳ ngữ pháp miễn phí ngữ cảnh nào thành tự động đẩy xuống không? Tôi đã tìm thấy một số slide trực tuyến nhưng tôi không thể hiểu chúng. Trong slide 10 anh ấy nói về …

9 context-free formal-grammars pushdown-automata simulation

2

Bảng chữ cái vô hạn Turing Machine

Máy Turing có được phép đọc và viết ký hiệu từ bảng chữ cái vô hạn mạnh hơn TM thông thường không (đó là điểm khác biệt duy nhất, máy vẫn có số lượng trạng thái hữu hạn)? Trực giác nói với tôi là không, vì bạn cần vô số …

9 computability turing-machines reductions simulation

3

Tại sao sử dụng -calculus mà không phải LTL, CTL, CTL *?

Được biết, các logic thời gian LTL, CTL, CTL * có thể được dịch / nhúng vào -calculus. Nói cách khác, (phương thức) -calculus bao gồm các logic này, (nghĩa là nó có ý nghĩa hơn.)μμ\muμμ\mu Bạn có thể vui lòng giải thích / chỉ cho tôi các giấy tờ …

9 logic simulation linear-temporal-logic mu-calculus computation-tree-logic

1

PDE-Turing và vật lý

Khi tôi đọc về luận án Church-Turing, dường như có một tuyên bố chung rằng "thực tế vật lý là Turing có thể tính toán được". Cơ sở cho yêu cầu này là gì? Có bất kỳ kết quả lý thuyết dọc theo những dòng này? Đối với bối cảnh, …

8 computability simulation church-turing-thesis hypercomputation

1

Độ phức tạp thời gian của Mô phỏng máy Turing phổ dụng và Định lý phân cấp thời gian

Tôi có một vấn đề nhỏ để hiểu bằng chứng của Định lý phân cấp thời gian (Hennie và Stearns, 1966) đảm bảo sự tồn tại của một ngôn ngữ được chấp nhận trong nhưng không được chấp nhận trong cho bất kỳ chức năng nào , sao cho có …

8 complexity-theory turing-machines simulation

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