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

Sự khác biệt giữa máy Turing xác định và không xác định là gì? Các mô hình khác nhau nhưng tương đương của NDTM. Cụ thể, cụm từ được sử dụng thường xuyên này là "đoán không đặc biệt" là gì? Làm thế nào để sử dụng nó đúng, và …

11 turing-machines  nondeterminism 

Tôi đang học cách chuyển đổi NFA thành DFA và tôi muốn chắc chắn rằng mình đang làm đúng. Rõ ràng, quay trở lại theo hướng khác không phải là một điều. Có ai biết một thuật toán để kiểm tra xem DFA có tương đương với NFA không?

10 automata  finite-automata  proof-techniques  nondeterminism 

Sách giáo khoa của tôi nói: "Chúng tôi xác định hàm như sau: f ( 1 ) = 2 và f ( i + 1 ) = 2 f ( i ) 1.2 . Lưu ý rằng với n , chúng ta có thể dễ dàng tìm thấy trong O …

10 complexity-theory  algorithm-analysis  nondeterminism 

Tôi đang làm việc thông qua Sipser Book (ấn bản thứ 2) và tình cờ thấy ví dụ này, điều mà tôi không hiểu. Trong cuốn sách đó khẳng định rằng NFA này chấp nhận chuỗi rỗng, εϵ\epsilon . Ai đó có thể chạy tôi qua tại sao đây là …

9 regular-languages  finite-automata  nondeterminism 

Đặt chuỗi đầu vào là . Sau đó, nếu một NFA hiện đang trong trạng thái (và có đọc đầu vào tối đa bảng chữ cái ) sau đó trước khi đọc ký hiệu đầu vào hôm sau chia tách NFA thành hai NFA, một con người trong trạng thái …

9 turing-machines  finite-automata  pushdown-automata  computation-models  nondeterminism 

Tôi đã bắt đầu nghiên cứu automata không xác định bằng cách sử dụng cuốn sách Hopcroft và Ullman . Tôi bị mắc kẹt trong một vấn đề mà tôi thấy rất thú vị: Đưa ra một máy tự động hữu hạn không xác định chấp nhận tất cả các …

9 formal-languages  automata  regular-languages  finite-automata  nondeterminism 

Tôi hiện đang đọc cuốn sách Giới thiệu về Lý thuyết tính toán (Ed thứ 2 hoặc 3) của Michael Sipser , và đã vấp phải một câu hỏi trong Chương 1 - Ngôn ngữ thông thường , cụ thể là khi tác giả trình bày ý tưởng chứng minh …

8 regular-languages  automata  finite-automata  nondeterminism 

Theo biểu đồ này , DCFL được đóng dưới sự đảo ngược. Tuy nhiên, tôi không bị thuyết phục vì bằng chứng trực quan (đảo ngược mũi tên của máy trạng thái hữu hạn kiểm soát và chuyển đổi các lần đẩy và bật) cho điều này dường như phụ …

8 formal-languages  context-free  closure-properties  pushdown-automata  nondeterminism 

Đặt là một NFA tuần hoàn.MMM Vì là chu kỳ, là hữu hạn.MMML(M)L(M)L(M) Chúng ta có thể tính toántrong thời gian đa thức?|L(M)||L(M)||L(M)| Nếu không, chúng ta có thể ước chừng nó? Lưu ý rằng số lượng từ không giống với số lượng đường dẫn chấp nhận trong , có …

8 formal-languages  automata  finite-automata  nondeterminism  counting 

Tôi đọc rằng hầu hết các nhà khoa học không tin rằng P = NP. Nó có thể chủ quan nhưng bạn có thể đơn giản hóa tại sao không? Tôi không đủ thông tin để có ý kiến ​​nhưng tôi muốn biết các định nghĩa và một số giải …

8 nondeterminism  polynomial-time 

Các slide bài giảng này phác họa một bằng chứng rằng không thể được chấp nhận bởi bất kỳ Đẩy lùi xác định nào Máy tự động. Thật không may, các slide không đưa ra tài liệu tham khảo nào về việc bằng chứng đến từ đâu.L={anbn∣n≥0}∪{anb2n∣n≥0}L={anbn∣n≥0}∪{anb2n∣n≥0}L=\{ a^n b^n \mid …

8 formal-languages  reference-request  automata  pushdown-automata  nondeterminism 

Điều này có phần liên quan đến một câu hỏi khác mà tôi đã hỏi , nhưng tôi cảm thấy nó đủ khác biệt để đảm bảo câu hỏi của riêng mình. Tôi đang thực hiện nghiên cứu trong đó tôi đang cố gắng tìm cấu trúc bổ sung của …

8 formal-languages  automata  finite-automata  discrete-mathematics  nondeterminism 

Khi định lý nổi tiếng của Savitch được nêu, người ta thường thấy yêu cầu là không gian có thể xây dựng được (thật thú vị, nó bị bỏ qua trong Wikipedia). Câu hỏi đơn giản của tôi là: Tại sao chúng ta cần điều này? Tôi hiểu yêu cầu …

8 complexity-theory  space-complexity  complexity-classes  nondeterminism 

Tôi đặc biệt quan tâm đến các giải pháp cho vấn đề mà tìm kiếm được đóng gói có thể phụ thuộc vào thứ tự đánh giá. Theo [1], tìm kiếm được đóng gói trong PAKCS phụ thuộc vào thứ tự đánh giá, trong khi trong MCC thì không, nhưng …

8 reference-request  functional-programming  nondeterminism  logic-programming 

Có một định nghĩa tương đương cho lớp NLNL\mathsf{NL}với người xác minh. Những người xác minh là những máy Turing xác định chỉ có thể đọc băng chứng kiến ​​một lần theo một cách từ trái sang phải. Cho một chức năng f: N → Nf:N→Nf:\mathbb{N}\to\mathbb{N} chúng tôi nói rằng …

7 complexity-theory  turing-machines  nondeterminism