Khoa học máy tính lý thuyết fl.formal-languages

1

Tiểu thuyết bằng chứng bơm bổ đề cho các ngôn ngữ thông thường

Đặt là họ của tất cả các ngôn ngữ trên Σ thỏa mãn tính chất bơm của các ngôn ngữ thông thường. Cụ thể: với mỗi L ∈ L , có một N ∈ N st mỗi từ w ∈ L , | w | > N có thể được …

14 reference-request fl.formal-languages automata-theory

2

Thường xuyên so với TC0

Theo sở thú phức tạp , và chúng tôi biết rằng không thể đếm được vì vậy . Tuy nhiên, nó không nói nếu \ mathsf {Reg} \ subseteq \ mathsf {TC ^ 0} hay không. Vì chúng tôi không biết \ mathsf {NC ^ 1} \ not \ subseteq …

14 cc.complexity-theory fl.formal-languages automata-theory circuit-complexity regular-language

2

XOR automata (NXA) cho các ngôn ngữ hữu hạn có được lợi từ các chu kỳ không?

Một Xor automata không xác định (NXA) về mặt cú pháp là một NFA, nhưng một từ được cho là được chấp nhận bởi NXA nếu nó có số lượng đường dẫn chấp nhận lẻ (thay vì ít nhất một đường dẫn chấp nhận trong trường hợp NFA). Dễ dàng …

14 fl.formal-languages automata-theory nondeterminism minimization

1

Một máy hai quầy có thể quyết định

Máy có thể có hai bộ đếm ( ) tiêu chuẩn với các hướng dẫn sau:c1,c2c1,c2c_1,c_2 1) ADD 1 to c_i, GOTO label_j 2) IF c_i = 0 GOTO label_j, OTHERWISE SUB 1 to c_i and GOTO label_k 3) GOTO label_j 4) HALT and ACCEPT|REJECT quyết định ngôn ngữ sau: …

14 fl.formal-languages counter-automata

4

Sự tương đương eta cho các chức năng có tương thích với hoạt động seq của Haskell không?

Bổ đề: Giả sử tương đương eta chúng ta có điều đó (\x -> ⊥) = ⊥ :: A -> B. Bằng chứng: ⊥ = (\x -> ⊥ x)bằng cách tương đương eta, và (\x -> ⊥ x) = (\x -> ⊥)bằng cách giảm theo lambda. Báo cáo Haskell 2010, …

14 domain-theory haskell extensionality cc.complexity-theory counting-complexity fl.formal-languages automata-theory cc.complexity-theory arithmetic-circuits it.information-theory shannon-entropy graph-theory pr.probability graph-theory approximation-algorithms approximation-hardness multicommodity-flow cc.complexity-theory ds.algorithms np-hardness polynomial-time dynamic-programming lo.logic terminology

3

Tầm quan trọng của sự phức tạp nhà nước trong automata và ngôn ngữ thông thường?

Tôi đang đọc "Sự kết hợp giữa ngôn ngữ thông thường và độ phức tạp mô tả " của Galina Jiraskova, 2009 về sự phức tạp trạng thái do sự kết hợp của hai ngôn ngữ thông thường (bởi Galina Jiraskova), nhưng tôi không thể hiểu ý nghĩa thực tế …

14 fl.formal-languages automata-theory regular-language

1

Điều kiện đủ cho sự đều đặn của ngôn ngữ không ngữ cảnh

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

1

Giới hạn thấp hơn về kích thước của CFG cho các ngôn ngữ hữu hạn cụ thể

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

2

Thuật toán hiệu quả để cập nhật cây phân tích cú pháp

Giả sử tôi có một khối mã lớn mà tôi đã viết và phân tích cú pháp. Giả sử chỉ cần một nhân vật thay đổi; Tôi muốn cập nhật phân tích cú pháp của mình, nhưng vì sửa đổi rất nhỏ so với toàn bộ, tôi muốn biết liệu …

14 fl.formal-languages parsing

3

Về việc hiện thực hóa các đơn âm như các đơn ngữ cú pháp

Đặt là một ngôn ngữ, sau đó chúng tôi xác định đồng âm cú pháp là và thương monoid được gọi là monoid cú pháp của . u ∼ v : ⇔ ∀ x , y ∈ X ∗ : x u y ∈ L ↔ x v y ∈ …

14 fl.formal-languages automata-theory regular-language algebra monoid

1

Là {ww '| HamDist (w, w ')> 1} không ngữ cảnh?

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

1

Khoảng cách giữa các ngôn ngữ thông thường

Tôi muốn định nghĩa một khái niệm "gần gũi" giữa hai ngôn ngữ thông thường của các từ hữu hạn trong (và / hoặc các từ vô hạn trong ). Ý tưởng cơ bản là chúng tôi muốn hai ngôn ngữ gần nhau nếu chúng không khác nhau bởi nhiều …

13 reference-request fl.formal-languages regular-language

4

(N) DFA với (các) trạng thái ban đầu / chấp nhận tương tự

Những gì được biết về lớp ngôn ngữ được công nhận bởi automata hữu hạn có cùng trạng thái ban đầu và chấp nhận? Đây là một tập hợp con đúng của các ngôn ngữ thông thường (vì mọi ngôn ngữ như vậy đều chứa chuỗi trống), nhưng nó yếu …

13 fl.formal-languages automata-theory algebra regular-language

3

Có tồn tại một DCFL khó nhất?

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

2

Tham chiếu cho các ngôn ngữ Dyck là

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

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