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

Có tồn tại một máy Turing tạm dừng trên tất cả các đầu vào nhưng thuộc tính đó không thể chứng minh được vì một số lý do? Tôi tự hỏi nếu câu hỏi này đã được nghiên cứu. Lưu ý, "không thể chứng minh" có thể có nghĩa là …

17 computability  reference-request  turing-machines  halting-problem 

Làm thế nào để bạn kiểm tra xem hai thuật toán (giả sử sắp xếp Hợp nhất và sắp xếp Naïve) trả về cùng một kết quả cho bất kỳ đầu vào nào, khi tập hợp tất cả các đầu vào là vô hạn? Cập nhật: Cảm ơn bạn Ben …

17 computability  formal-methods  software-engineering  software-verification 

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 đã nghe phương châm tương tác mạnh hơn thuật toán từ Peter Wegner . Cơ sở của ý tưởng là Máy Turing (cổ điển) không thể xử lý tương tác, nghĩa là giao tiếp (đầu vào / đầu ra) với thế giới / môi trường bên ngoài. Làm thế …

17 computability  computation-models 

Tôi muốn biết nếu vấn đề sau đây là quyết định và làm thế nào để tìm hiểu. Mọi vấn đề tôi thấy tôi có thể nói "có" hoặc "không" với nó, vì vậy hầu hết các vấn đề và thuật toán có thể quyết định được ngoại trừ một …

17 algorithms  computability  graph-theory  undecidability 

Ngôn ngữ đã cho và , chúng ta hãy nói rằng họ nối là rõ ràng nếu cho tất cả các từ , có chính xác là một phân hủy với và , và mơ hồ khác. (Tôi không biết có thuật ngữ nào được thiết lập cho tài sản …

16 algorithms  formal-languages  computability  regular-languages  ambiguity 

Vấn đề cho dù hai thiết bị tự động đẩy xuống nhận ra cùng một ngôn ngữ là không thể giải quyết được. Vấn đề liệu một thiết bị tự động đẩy xuống có nhận ra ngôn ngữ trống hay không là có thể quyết định được, do đó cũng …

16 computability  undecidability  pushdown-automata 

Không có giải pháp phân tích chung cho vấn đề cơ thể n có thể tạo ra chức năng phân tích có thể được sử dụng để đưa ra trạng thái của hệ thống cơ thể n tại thời điểm tùy ý t với độ chính xác chính xác. Tuy …

16 computability  turing-machines  undecidability  computation-models 

Trong câu hỏi này, chúng tôi chỉ xem xét các máy Turing tạm dừng trên tất cả các đầu vào. Nếu thì bằng T k, chúng ta biểu thị máy Turing có mã là k .k∈Nk∈Nk \in \mathbb{N}TkTkT_kkkk Hãy xem xét các chức năng sau đây s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y) = \min\{k \mid …

16 computability  turing-machines 

Lưu ý đây là một câu hỏi liên quan đến việc học trong khóa học CS tại một trường đại học, nó KHÔNG phải là bài tập về nhà và có thể tìm thấy ở đây trong kỳ thi Fall 2011. Đây là hai câu hỏi tôi đang xem từ …

16 formal-languages  computability  context-free  regular-languages  turing-machines 

Các máy đếm có hai hoặc nhiều bộ đếm thường được hiển thị tương đương với máy Turing trong các khóa học về lý thuyết tính toán. Tuy nhiên, tôi chưa thấy một phân tích chính thức về ngôn ngữ nào có thể được nhận ra bởi một máy đếm. …

15 computability  automata 

Trong một bài giảng, một giáo sư đã đề cập rằng các máy tính hiện đại không có sức mạnh tính toán như máy Turing vì chúng không có bộ nhớ vô hạn và vì không máy tính nào có thể có bộ nhớ vô hạn nên máy Turing không …

15 computability 

Tôi đang sử dụng một máy tính kỹ thuật số để viết tin nhắn này. Một cỗ máy như vậy có một tính chất mà nếu bạn nghĩ về nó, thực sự khá đáng chú ý: Đó là một cỗ máy mà nếu được lập trình phù hợp, có thể …

15 computability  turing-machines  history 

Có các thuộc tính không thể giải quyết được của automata giới hạn tuyến tính (tránh các thủ thuật ngôn ngữ thiết lập trống)? Điều gì về một máy tự động hữu hạn xác định? (đặt sang một bên độ hấp dẫn). Tôi muốn lấy một ví dụ (nếu có …

15 computability  automata  undecidability 

Một tập hợp có thể đếm được nếu nó có một mệnh đề với các số tự nhiên và có thể tính toán được (ce) nếu có một thuật toán liệt kê các thành viên của nó. Bất kỳ tập hợp vô hạn tính toán hữu hạn nào cũng phải …

15 computability  semi-decidability