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

Tôi đang nghiên cứu bằng chứng của định lý sau: Đưa ra ngôn ngữ R E G U L A RT M= { ⟨ M⟩ | MREGULARTM={⟨M⟩|M\mathit{REGULAR}_\mathit{TM} = \{\langle M \rangle | M là một máy turing và là thường xuyênA c c e p t (M)Accept(M)\mathit{Accept}(M)}}\} R E G …

7 computability  turing-machines  undecidability 

Tôi đã cố gắng chứng minh rằng ngôn ngữ sau là đệ quy: for , một số nguyên dương: L_k = H _ {\ mathrm {TM}, \ varepsilon} \ cap \ Sigma ^ k trong đó H_ { \ mathrm {TM}, \ varepsilon} = \ {\ langle M \ rangle …

7 computability  turing-machines  proof-techniques 

Mấu chốt của sự khác biệt giữa điện toán analog và kỹ thuật số là số bit chính xác có sẵn, phải không? Bây giờ, tôi biết rằng trong máy Turing, các số có thể được lưu trữ với bất kỳ mức độ chính xác nào vì phương tiện lưu …

7 computability  computation-models 

Tôi tìm thấy một tuyên bố (không có lời giải thích) rằng một ngôn ngữ là có thể quyết định. Làm thế nào là có thể? Ý tôi là, làm thế nào chúng ta có thể xây dựng một máy Turing chấp nhận (hoặc từ chối) một chuỗi 0 vô …

7 formal-languages  computability 

Vì vậy, người ta biết rằng PCP là không thể giải quyết được ngay cả khi chúng tôi sửa số lượng gạch thành n≥7n≥7n \geq 7. Tôi tự hỏi, có thể nói bất cứ điều gì tương tự khi có độ dài từ cố định không? Nói chính xác, đây …

7 computability  undecidability  decision-problem 

Tôi đang gặp khó khăn khi xem giải pháp của Turing cho vấn đề dừng lại với tư cách là một nhà logic học, thay vì là một kỹ sư. Dưới đây là sự hiểu biết của tôi về vấn đề dừng: Để cho MMM là tập hợp của tất …

7 computability  halting-problem 

Tôi đang nghiên cứu bằng chứng về chức năng Ackermann được đệ quy, nhưng không phải đệ quy nguyên thủy, và một câu hỏi đặt ra cho tôi: "Vậy thì sao?". Tại sao nó quan trọng? Tầm quan trọng của các hàm đệ quy nguyên thủy là gì?

7 terminology  computability  machine-models 

Wikipedia : Định lý chương trình có cấu trúc [...] nói rằng [...] mọi thuật toán có thể được biểu diễn chỉ bằng ba cấu trúc điều khiển. họ đang Thực hiện một chương trình con, và sau đó một chương trình con khác (trình tự) Thực hiện một trong …

7 computability  programming-languages  computation-models 

Cho một máy Turing , chúng tôi nói rằng nếu ngôn ngữ do máy quyết định có thể được quyết định bởi một số máy trong thời gian đa thức. Chúng ta nói rằng nếu máy chạy trong thời gian đa thức. Lưu ý rằng có thể có máy chạy …

7 computability  time-complexity  turing-machines 

Khi viết một công cụ quyết định cho một máy để xem liệu nó có di chuyển trái hay không trên đầu vào của w , người ta nói rằng nếu chúng ta tiếp tục tính toán cho| w | +N+ 1|w|+N+1|w|+N+1( : số trạng thái) số bước, chúng tôi …

7 computability  turing-machines 

Vấn đề dừng được định nghĩa là: HTM={⟨M,w⟩∣M halts on input w}HTM={⟨M,w⟩∣M halts on input w}H_{TM} = \{ \langle M, w \rangle \mid \text{\(M\) halts on input \(w\)}\} Tôi không chắc nó có nghĩa gì. LàHTMHTMH_{TM} một bộ sưu tập Máy Turing sao cho tất cả chúng chấp nhận / …

7 computability  turing-machines 

Chức năng hải ly bận rộn tiêu chuẩn thu hút sự chú ý đến số lượng cuối cùng của các biểu tượng khác không trên băng. Thay vào đó, chúng ta có thể nhìn vào số lượng lớn nhất các biểu tượng khác không xuất hiện trên băng ở bất …

7 computability  turing-machines 

Nếu chúng ta giới hạn một máy turing để nó không được phép viết biểu tượng mà nó đọc thì nó có làm giảm sức mạnh của nó không? Ví dụ: (State,A,State,Z,DIRECTION)(State,A,State,Z,DIRECTION)( State, A, State, Z, DIRECTION) AAA không thể là biểu tượng giống như ZZZ.

7 computability  turing-machines  machine-models 

L1L1L_1 là một ngôn ngữ có thể liệt kê đệ quy trên một số bảng chữ cái . Một thuật toán hiệu quả liệt kê những lời của nó như . là một ngôn ngữ khác trên là Hãy xem xét các xác nhận sau.ΣΣ\Sigmaw1,w2, . . .w1,w2,...w_1, w_2, ... …

7 formal-languages  computability 

Nếu là độ phức tạp Kolmogorov của chuỗi ,K(s)K(s)K(s)s∈{0,1}∗s∈{0,1}∗s \in \{0,1\}^* Chúng ta có thể chứng minh (hoặc từ chối) câu lệnh sau: "Mỗi chuỗi là tiền tố của một chuỗi không thể nén được, tức là với mỗi chuỗi tồn tại một chuỗi sao cho "? ssssssrrrK(sr)≥|sr|K(sr)≥|sr|K(sr) \geq |sr| …

7 computability  kolmogorov-complexity