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

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 

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ôi đã thử tìm kiếm trực tuyến, nhưng tôi không thể tìm thấy bất kỳ tuyên bố dứt khoát nào. Nó có ý nghĩa với tôi rằng Liên minh và Giao lộ của hai ngôn ngữ NPC sẽ tạo ra một ngôn ngữ không nhất thiết phải có trong NPC. …

8 complexity-theory  np-complete  closure-properties 

Đặ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 

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 

Hãy để LLL là một ngôn ngữ thông thường. Là ngôn ngữ L2={y:∃x,z s.t.|x|=|z| and xyz∈L}L2={y:∃x,z s.t.|x|=|z| and xyz∈L}L_2 = \{y : \exists x,z\ \ s.t.|x|=|z|\ and\ xyz \in L \} thường xuyên? Tôi biết nó rất giống với câu hỏi ở đây , nhưng điều thú vị là nó …

8 formal-languages  regular-languages  closure-properties 

Đặ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 

Trong lớp học tuần này, chúng tôi đã học về CFL và các thuộc tính đóng của chúng. Tôi đã thấy bằng chứng cho sự hợp nhất, giao lộ và khen ngợi nhưng để đảo ngược, giảng viên của tôi chỉ nói rằng nó đóng cửa. Tôi muốn xem bằng …

8 context-free  closure-properties 

Vì vậy, tôi đã gãi đầu về vấn đề này trong một vài ngày nay. Cho một số ngôn ngữ AAA và là chính quy, cho thấy rằng ngôn ngữ bao gồm tất cả các chuỗi trong có độ dài bằng một số chuỗi trong là ngôn ngữ thông thường.L …

8 formal-languages  regular-languages  finite-automata  proof-techniques  closure-properties 

Tôi đã có một vài ngày thi và gặp vấn đề để giải quyết nhiệm vụ này. Hãy LLL là một ngôn ngữ thông thường trên bảng chữ cái ΣΣ\Sigma . Chúng tôi có các hoạt động đi xe đạp( L ) = { x y∣ x , y∈ Σ* …

8 formal-languages  regular-languages  finite-automata  closure-properties 

Đâ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 

Người ta biết rằng các ngôn ngữ thông thường được đặc trưng bởi sự tương đương Myhill-Nerode. Đối với ngôn ngữLLL kết thúc Σ*Σ∗\Sigma^* xác định sự tương đương x~Lyx∼Lyx\sim_L y kết thúc Σ*Σ∗\Sigma^* iff cho tất cả z∈Σ*z∈Σ∗z\in\Sigma^* chúng ta có x z∈ L⟺yz∈ Lxz∈L⟺yz∈Lxz\in L \iff yz\in L. …

8 regular-languages  closure-properties 

Cho một ngôn ngữ LLL, định nghĩa: NE(L)={x∈L:x is not the proper prefix of any string in L}NE(L)={x∈L:x is not the proper prefix of any string in L} NE(L) = \{x \in L : x \text{ is not the proper prefix of any string in } L\} Tôi đang cố …

7 formal-languages  context-free  closure-properties 

Từ một bình luận , một câu hỏi thú vị xuất hiện. Lớp CFL (các ngôn ngữ được công nhận bởi các PDA) rõ ràng không bị đóng cửa theo thuyết không điều kiện - điều tôi muốn nói là điều này là các PDA xác định không có sức …

7 formal-languages  context-free  closure-properties  computation-models  nondeterminism 

Các ngôn ngữ tự do ngữ cảnh có thể được lấy là sự đóng của ngôn ngữ Dyck trong các hoạt động của hình nón . Ngôn ngữ DyckD2D2D_2là một ngôn ngữ tự do ngữ cảnh xác định và các hoạt động hình nón tương ứng với các hoạt động …

7 complexity-theory  formal-languages  closure-properties  np