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

Sẽ rất tốt nếu thu thập một danh sách các điều kiện ngụ ý rằng ngôn ngữ không ngữ cảnh L là thông thường, nghĩa là các điều kiện có dạng: "nếu một CFG / PDA nhất định có thuộc tính P, thì ngôn ngữ của nó là thông thường" …

14 reference-request  fl.formal-languages  regular-language  context-free  survey 

Hãy xem xét câu hỏi tự nhiên sau: Cho một ngôn ngữ hữu hạn , ngữ pháp không ngữ cảnh nhỏ nhất tạo ra gì?LLLLLL Chúng ta có thể làm cho câu hỏi trở nên thú vị hơn bằng cách chỉ định một chuỗi ngôn ngữ , ví dụ là …

14 reference-request  fl.formal-languages  lower-bounds  grammars  context-free 

Sau khi đọc câu hỏi gần đây "Phần bổ sung của ngữ cảnh không?" { w w w ∣ . . . }{www∣...}\{ www \mid ...\}; Tôi nhớ một vấn đề tương tự tôi không thể bác bỏ: Là bối cảnh miễn phí?L = { w w'∣ w , w'∈ …

13 fl.formal-languages  context-free 

Tôi đang xem xét ngôn ngữ của tất cả các công thức logic mệnh đề thỏa đáng, SAT (để đảm bảo rằng điều này có một bảng chữ cái hữu hạn, chúng tôi sẽ mã hóa các chữ cái mệnh đề theo một cách phù hợp [sửa: các câu trả …

12 cc.complexity-theory  circuit-complexity  sat  context-free 

Greibach nổi tiếng được xác định một ngôn ngữ , cái gọi là phiên bản không xác định của , chẳng hạn rằng bất kỳ CFL là một hình ảnh hình thái nghịch đảo của . Có tồn tại một tuyên bố tương tự với DCFL, có thể với một …

12 fl.formal-languages  open-problem  context-free  nondeterminism  hard-instances 

Ngôn ngữ Dyck được xác định bởi ngữ pháp sau S → S SDyck(k)Dyck(k)\mathsf{Dyck}(k) trên tập các biểu tượng { ( 1 , ... , ( k , ) 1 , ... , ) k } . Ngôn ngữ Dyck trực giác là ngôn ngữ của dấu ngoặc đơn cân …

12 reference-request  fl.formal-languages  circuit-complexity  ho.history-overview  context-free 

Điều nổi tiếng là phần bổ sung của là không có ngữ cảnh. Nhưng còn phần bổ sung của thì sao?{ww∣w∈Σ∗}{ww∣w∈Σ∗}\{ ww \mid w\in \Sigma^*\}{www∣w∈Σ∗}{www∣w∈Σ∗}\{ www \mid w\in \Sigma^*\}

12 fl.formal-languages  context-free 

Tôi hiểu các tuyên bố sau đây là đúng: Hai dẫn xuất riêng biệt của một chuỗi trong CFG đã cho đôi khi có thể quy cùng một cây phân tích cú pháp cho chuỗi. Khi có đạo hàm của một số chuỗi trong một CFG đã cho thuộc tính …

11 fl.formal-languages  regular-language  context-free 

Đặt một số được cho. Hãy xem xét ngôn ngữ sau .L n = {nnnLn= {w w|w ∈ { 0 , 1 }n}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} Nói cách khác, là tập hợp các chuỗi sao chép có độ dài . 2 …

10 fl.formal-languages  automata-theory  grammars  context-free 

Cho dù có một số kết quả về việc giải quyết các vấn đề ngôn ngữ chính thức bằng cách sử dụng phân tích toán học, toán học liên tục. Ví dụ: giải quyết vấn đề không trống giao nhau cho ngôn ngữ không ngữ cảnh và ngôn ngữ thông …

9 fl.formal-languages  automata-theory  context-free 

Hãy xem xét một bối cảnh tự do tùy ý ngữ pháp trên bảng chữ cái { 0 , 1 , ¯ 0 , ¯ 1 } . Để các sản phẩm của ngữ pháp này, thêm hai cố định phi ngữ cảnh tự do sản xuất P : ¯ …

9 context-free  decidability 

Tỷ lệ CFG mơ hồ trên tất cả các CFG là gì? Vì cả hai bộ đều vô hạn, tỷ lệ này không được xác định rõ. Nhưng những gì về mật độ tiệm cận : limn↦∞# ambiguous CFG of size<n# CFG of size<nlimn↦∞# ambiguous CFG of size<n# CFG of …

9 fl.formal-languages  grammars  context-free 

Tôi muốn biết lý do tại sao để nhận dạng các ngôn ngữ không ngữ cảnh, chỉ có automata đẩy xuống không xác định (DPA = NPDA) hoạt động. Tại sao automata đẩy xuống xác định (DPDA) không nhận ra các ngôn ngữ như vậy?

9 fl.formal-languages  automata-theory  context-free 

Có tồn tại hoán vị và kích thước đa thức (trong ) ngữ pháp tự do ngữ cảnh mô tả ngôn ngữ hữu hạn trên bảng chữ cái ?| w | = n { w π 1 ( w ) π 2 ( w ) } { 0 , 1 …

9 fl.formal-languages  grammars  context-free