Câu hỏi được gắn thẻ «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 

Tôi không biết nhiều về yacc, bison, flex hoặc lex và vui lòng sửa cho tôi nếu tôi sai nhưng ngôn ngữ lập trình cũng là máy Turing và máy Turing được định nghĩa là tuple trong đó , , , làm đầu vào, là hàm chuyển đổi trong đó …

7 turing-machines  formal-grammars  programming-languages  computation-models 

Tôi nghĩ rằng một nửa trận chiến trong việc trả lời câu hỏi này nằm ở việc xây dựng nó một cách chính xác! Một công cụ tìm kiếm không bật lên nhiều, vì vậy tôi đã tự hỏi liệu đây là một câu hỏi nổi tiếng hay được nghiên …

7 complexity-theory  reference-request  turing-machines  combinatorics 

Tôi đang xem cuốn sách giáo khoa của tôi ở đây từ Michael Sipser và anh ấy nói rằng một máy Turing không xác định là một người quyết định nếu tất cả các nhánh tính toán của nó dừng lại trên tất cả các đầu vào. Tôi nghĩ rằng …

7 turing-machines  nondeterminism 

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 

Thành thật mà nói tôi rất khó chịu với các tài liệu ngay bây giờ. Có một số điều tôi có thể hiểu, nhưng nhiều điều tôi vẫn chưa làm được. Nhiệm vụ đầu tiên của tôi là hỏi tôi trong một câu hỏi (mà tôi biết cách làm) để …

7 terminology  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 

Tôi tự hỏi nếu có một ví dụ đơn giản của bộ và mà là Turing-được giảm đến nhưng không nhiều-to-one được giảm đến .AAABBBAAABBBBBB

7 turing-machines  reductions 

Lớp phức tạp # P#P\newcommand{\sharpp}{\mathsf{\#P}}\sharpp được định nghĩa là # P ={f∣ ∃ đa thức thời gian NTM M ∀ x .f( x ) = #Chấp nhậnM( x ) }#P={f∣∃ polynomial-time NTM M ∀x.f(x)=#acceptM⁡(x)}\qquad \displaystyle \sharpp = \{f \mid \exists \text{ polynomial-time NTM } M\ \forall x.\, f(x) = \#\operatorname{accept}_{M}(x)\} …

7 complexity-theory  turing-machines  closure-properties 

Tôi đang làm luận án tốt nghiệp về việc chứng minh tính đúng đắn của chương trình để nhân 2 ma trận bằng logic Hoare. Để làm điều này, tôi cần tạo bất biến cho vòng lặp lồng nhau cho chương trình này: for i = 1:n for j = …

7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free 

Câu hỏi là liệu tuyên bố sau là đúng hay sai: Một≤TB⟹Một≤mBMột≤TB⟹Một≤mBA \leq_T B \implies A \leq_m B Tôi biết rằng nếu thì có một nhà tiên tri có thể quyết định A liên quan đến B. Tôi biết rằng điều này là không đủ để nói rằng có một …

7 computability  reductions  turing-machines