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

Trong lớp, giáo sư của chúng tôi đã chỉ cho chúng tôi 3 phương pháp để chứng minh sự không đều đặn: Định lý Nerode của Myhill Bơm bổ đề cho các ngôn ngữ thông thường Bằng chứng về sự không đều đặn, dựa trên độ phức tạp Kolmogorov Bây …

8 formal-languages  regular-languages  proof-techniques  kolmogorov-complexity 

Khi tôi xem xét các bằng chứng cho việc bơm bổ đề , tôi có cảm giác rằng tôi thường bị thiếu trực giác đằng sau điều kiện | xy | ≤ p. Chính xác thì lý do đằng sau tình trạng này là gì? Tất cả các tài liệu …

8 formal-languages  regular-languages  pumping-lemma 

Một thuộc tính "bơm" (các từ có độ dài nhất định ngụ ý sự tồn tại của các vòng lặp trong cơ chế xác định ngôn ngữ) được biết là tồn tại đối với các ngôn ngữ thông thường và không ngữ cảnh và một số ngôn ngữ khác (thường …

8 formal-languages  pumping-lemma  context-sensitive 

L:={w∈{0,1}∗|L:={w∈{0,1}∗|L := \{w \in \{0,1\}^* | độ dài của là số lẻ 1 ở giữawww∧∧ \wedge w}w}w\} Vì vậy, bảng chữ cái là . Vấn đề của tôi là tôi không thể theo dõi sự bình đẳng của ký tự trước và sau . Một DFA giới hạn cho độ …

8 formal-languages  finite-automata  formal-grammars 

Câu hỏi của tôi về cơ bản được đưa ra ba ngôn ngữ A, B và L, trong đó L là A và B được nối với nhau và B được chứng minh là không thường xuyên, liệu có thể tìm thấy một A làm cho L thường xuyên không?

8 formal-languages  regular-languages 

Chúng tôi có hai ngôn ngữ: . Chúng tôi biết rằng là ngôn ngữ thông thường, vì vậy câu hỏi của tôi là liệu có thường xuyên không?L 1 L 2 L 2 L 1L1, L2L1,L2L_1,L_2L1L2L1L2L_1L_2L2L1L2L1L_2L_1 Tôi cố gắng tìm cách chứng minh điều đó ... Tất nhiên tôi không …

8 formal-languages  regular-languages  closure-properties 

Tôi muốn hỏi chính xác mối quan hệ giữa các vấn đề và ngôn ngữ. Chúng tôi biết rằng tập hợp của tất cả các ngôn ngữ không thể đếm được. Là tập hợp các vấn đề cũng không thể đếm được? Mọi vấn đề có thể được xác định …

8 formal-languages 

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 , trong đó và cho tất cả .L={an∣n≥0}L={an∣n≥0}L = \{a^n \mid n \ge 0\}a0=ϵa0=ϵa^0 = \epsilonan=an−1aan=an−1aa^n = a^{n-1}an≥1n≥1n \ge 1 Do đó bao gồm các chuỗi độ dài bằng a, bao gồm chuỗi có độ dài . Hãy được bất kỳ tập con vô hạn của . Tôi cần …

8 formal-languages  regular-languages  closure-properties 

Như tôi đã nghiên cứu, việc quyết định tính đều đặn của các ngôn ngữ không ngữ cảnh là không thể giải quyết được. Tuy nhiên, chúng ta có thể kiểm tra tính đều đặn bằng cách sử dụng định lý Myode của Nerode cung cấp một điều kiện cần …

8 formal-languages  computability  regular-languages  undecidability 

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 

Xác định sự tương đương Nerode trên một ngôn ngữ là iff cho mọi .L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^{*}u∼Lvu∼Lvu \sim_L vuw∈L⇔vw∈Luw∈L⇔vw∈Luw \in L \Leftrightarrow vw \in Lw∈Σ∗w∈Σ∗w \in \Sigma^{*} Tương đương Nerode có nhiều lớp tương đương chính xác khi có thể được nhận dạng bởi một máy tự động trạng thái …

8 formal-languages  context-free  pushdown-automata