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

Trong cuốn sách của Andrew W. Appel, Modern Compiler Thực hiện trong ML , ông nói trong chương 17 rằng lý thuyết tính toán cho thấy rằng sẽ luôn luôn có thể phát minh ra các phép biến đổi tối ưu hóa mới và tiến hành chứng minh rằng trình …

20 computability  compilers  program-optimization 

Tôi biết tính toán là gì trong một số ý nghĩa mơ hồ (đó là điều máy tính làm), nhưng tôi muốn một định nghĩa chặt chẽ hơn. Dictionary.comCác định nghĩa về tính toán, tính toán, tính toán và tính toán là thông tư, vì vậy nó không có ích. …

20 terminology  computability 

Hãy xem xét các vấn đề quyết định được nêu trong một số ngôn ngữ chính thức hợp lý. Giả sử các công thức trong số học Peano bậc cao với một biến miễn phí là một khung tham chiếu, nhưng tôi cũng quan tâm đến các mô hình tính …

20 computability  undecidability 

Có nhiều cách để định nghĩa Độ phức tạp Kolmogorov và thông thường, tất cả các định nghĩa này đều tương đương với hằng số phụ gia. Đó là nếu K 1K1K_1 và K 2K2K_2 là các hàm phức kolmogorov (được xác định thông qua các ngôn ngữ hoặc mô …

20 computability  kolmogorov-complexity 

Có yêu cầu rằng một vấn đề NP-hard phải được tính toán? Tôi không nghĩ vậy, nhưng tôi không chắc.

19 complexity-theory  computability  np-hard 

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 

Hãy để F={⟨M⟩:M is a TM which stops for every input in at most 50 steps}F={⟨M⟩:M is a TM which stops for every input in at most 50 steps}F = \{⟨M⟩:\text{M is a TM which stops for every input in at most 50 steps}\} . Tôi cần phải quyết định …

19 computability  undecidability 

Tôi là một sinh viên tốt nghiệp tham gia một khóa học về lý thuyết tính toán và tôi gặp khó khăn nghiêm trọng trong việc sản xuất nội dung một khi tôi được yêu cầu. Tôi có thể theo sách giáo khoa (Giới thiệu về Lý thuyết tính toán …

19 computability  education  intuition 

Vấn đề tạm dừng không thể được giải quyết trong trường hợp chung. Có thể đưa ra các quy tắc xác định hạn chế các đầu vào được phép và vấn đề tạm dừng có thể được giải quyết cho trường hợp đặc biệt đó không? Ví dụ, có vẻ …

18 computability  undecidability  software-engineering  formal-methods 

Là một máy Turing không có khả năng ghi trên các ô trống kém mạnh hơn Turing tiêu chuẩn? Tôi nghĩ câu trả lời là có nhưng tôi không thể tìm thấy một tính toán mà máy Turing tiêu chuẩn có thể làm được nhưng máy này thì không. Có …

18 formal-languages  turing-machines  computability  automata 

Có tồn tại hàm tính toán f: N → Qf:N→Qf:\mathbb{N}\rightarrow \mathbb{Q} sao cho: Đối với tất cả t ∈ N : 0 ≤ f( t ) &lt; Xt∈N:0≤f(t)&lt;Xt\in\mathbb{N}: 0\le f(t) < X limt → ∞f( t ) = Xlimt→∞f(t)=X\lim\limits_{t\rightarrow\infty} f(t) = X Trong đó là một số thực không thể …

18 computability 

Cài đặt: biểu thức chính quy với phản hồi ngôn ngữ đơn nguyên (bảng chữ cái 1 ký hiệu) Là vấn đề sau đây có thể quyết định trong cài đặt này: Đưa ra một biểu thức chính quy với các phản hồi, nó có định nghĩa một ngôn ngữ …

18 formal-languages  computability  regular-languages  undecidability  regular-expressions 

Bộ Mandelbrot là một sinh vật xinh đẹp trong Toán học. Có rất nhiều hình ảnh đẹp của bộ ảnh này được tạo ra với độ chính xác cao, vì vậy rõ ràng bộ này là "tính toán" theo một nghĩa nào đó. Tuy nhiên, điều khiến tôi lo lắng …

18 computability 

Bộ nhớ được sử dụng cho nhiều thứ, như tôi hiểu. Nó phục vụ như một bộ đệm đĩa và chứa các hướng dẫn của chương trình, ngăn xếp &amp; heap của chúng. Đây là một thử nghiệm suy nghĩ. Nếu người ta không quan tâm đến tốc độ hoặc …

18 computability  memory-management  memory-hardware 

Tôi đang bắt đầu đọc một cuốn sách về Độ phức tạp tính toán và Máy Turing. Đây là trích dẫn: Một thuật toán (nghĩa là một máy) có thể được biểu diễn dưới dạng một chuỗi bit một khi chúng ta quyết định một số mã hóa chính tắc. …

17 algorithms  turing-machines  computability  computation-models