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

Đặ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ố gắng trong một thời gian dài để tìm một công trình để tôi có thể chính thức chứng minh rằng một thiết bị PDA xác định được đóng lại dưới sự bổ sung. Tuy nhiên, điều xảy ra là mọi ý tưởng tôi có đều có thứ …

8 formal-languages  automata  closure-properties  pushdown-automata 

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 

Hãy xem xét vấn đề vũ trụ sau đây . Vấn đề vũ trụ. Cho một tập hữu hạn cho một lớp học ngôn ngữ, và một automaton chấp nhận ngôn ngữ L , quyết định nếu L = Σ * .ΣΣ\SigmaLLLL = Σ*L=Σ∗L=\Sigma^* Trong [1], người ta đã tuyên …

8 formal-languages  reference-request  automata  undecidability  decision-problem 

Đ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 

PC của chúng tôi có hoạt động như Turing Machine không? Mô hình của Máy Turing bao gồm băng nhớ vô hạn, có nghĩa là trạng thái vô hạn. Nhưng giả sử nếu PC của chúng ta có bộ nhớ 128 MB và đĩa 30 GB thì nó sẽ có …

8 complexity-theory  computability  turing-machines  automata 

Đặt A ={L∣Llà một quầy và L¯ cũng là một quầy}A={L|Llà một quầy và L¯ cũng là một quầy}A= \{L \mid L \;\text{is one-counter and \(\bar{L}\) is also one-counter} \} Rõ ràng,Một quầy quyết định ⊆ AMột quầy quyết định⊆Một\text{Deterministic one-counter} \subseteq A Đây có phải là trường hợp mà …

8 formal-languages  automata  closure-properties  pushdown-automata 

Tôi đang tìm kiếm các ứng dụng thực tế của Máy trạng thái hữu hạn như máy DFA, NFA, Moore, Mealy ... Sẽ rất hữu ích nếu ai đó chỉ ra các ví dụ từ Linux Kernel. Tôi biết rằng DFA được sử dụng trong khớp chuỗi như thuật toán …

8 reference-request  automata  finite-automata 

Làm thế nào để tôi chỉ ra rằng vấn đề quyết định xem một thiết bị PDA có chấp nhận một số chuỗi có dạng không thể giải quyết được không?{ w ! w ∣ w ∈ { 0 , 1 }*}{w!w∣w∈{0,1}∗}\{ w!w \mid w \in \{ 0, 1 \}^*\} …

8 formal-languages  automata  context-free  undecidability  pushdown-automata 

Tôi đã cố gắng thực hiện thuật toán của Brzozowski nhưng tôi mới phát hiện ra rằng nó tạo ra tự động dưới mức tối ưu cho một loại đầu vào nhất định, có thêm một trạng thái so với những gì thực sự cần thiết trong kết quả. Tôi …

8 algorithms  automata  finite-automata 

Đây là một câu hỏi tiếp theo của câu hỏi này . Trong một câu hỏi trước đây về các máy trạng thái kỳ lạ , Alex ten Brink và Raphael đã đề cập đến khả năng tính toán của một loại máy trạng thái đặc biệt: min-heap automata. Họ …

8 formal-languages  automata  closure-properties 

L={an(a+b)n|n>0}L={an(a+b)n|n>0}L = \{ a^n (a+b)^n | n>0\} Một cuốn sách tôi đang đọc nói rằng, nhưng xem xét chúng ta không thể biết phần thứ hai sẽ bắt đầu từ đâu và nó cũng có thể bắt đầu bằng một phần, vậy thì làm sao chúng ta có thể chấp …

8 formal-languages  automata  context-free  pushdown-automata 

Thuật toán của Brzozowki được trích dẫn rộng rãi. Một số câu hỏi ở đây đưa ra ví dụ hoặc thảo luận về sự phức tạp của nó. Nhưng tôi đã không thể tìm thấy một bằng chứng chính xác cho thuật toán. Làm thế nào để chúng tôi chứng …

7 formal-languages  automata  finite-automata 

Tôi đang tham gia một lớp lý thuyết máy tính và giáo sư của tôi đã nói với chúng tôi rằng một máy tự động đẩy xuống không thể sử dụng các cấu trúc dữ liệu ngoài một ngăn xếp (như một hàng đợi hoặc nhiều ngăn xếp). Tại sao …

7 automata  pushdown-automata  computation-models 

Tôi không bao giờ sử dụng một trình gỡ lỗi có thể chạy một chương trình ngược nhưng tôi muốn. Bây giờ tôi tự hỏi nếu có nhiều bằng chứng và lý thuyết về lập trình chạy ngược, khi nào và tại sao một chương trình có thể được chạy …

7 automata  programming-languages