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

1

So sánh sự tăng trưởng của số lượng các lớp cú pháp và các lớp Nerode.

Đối với một ngôn ngữ L ⊆ ^ * , hãy xác định đồng âm cú pháp ≡ của L là đồng đẳng ít nhất trên Σ ^ * làm bão hòa L , tức là: u ≡ v ⇔ (x, y) [xuy ∈ L ↔ xvy ∈ L]. Bây …

16 automata-theory  fl.formal-languages 

---

2

Có một hoạt động phân chia được xác định rõ trên automata hữu hạn?

Lý lịch: Cho hai automata hữu hạn xác định A và B, chúng ta tạo thành sản phẩm C bằng cách để các trạng thái trong C là sản phẩm cartes của các trạng thái ở A và trạng thái ở B. Sau đó, chúng ta chọn chuyển tiếp, trạng …

15 fl.formal-languages  automata-theory  dfa 

---

2

Büchi automata với chiến lược chấp nhận

Vấn đề Hãy là một automaton Buchi, thừa nhận một ngôn ngữ L ⊆ Σ w . Chúng tôi cho rằng A có một chiến lược chấp nhận theo nghĩa sau đây: có một hàm σ : Σ * → Q có thể được sử dụng để chạy thí điểm …

15 fl.formal-languages  automata-theory  regular-language  nondeterminism 

---

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 

---

4

Phân cấp trong các ngôn ngữ thông thường

Có bất kỳ hệ thống phân cấp "đẹp" nào được biết đến (có thể là hữu hạn) trong lớp ngôn ngữ thông thường không? Ở đây, các lớp trong mỗi hệ thống phân cấp nắm bắt tính biểu cảm / sức mạnh / độ phức tạp khác nhau. Ngoài ra, …

14 automata-theory  regular-language  regular-expressions 

---

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 

---

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 

---

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 

---

2

Tự động học mà không có phản ứng mẫu

Trong khuôn khổ học tập automata Angluin của , một mục tiêu học sinh học một ngôn ngữ thường xuyên L ⊆ Σ*L⊆Σ∗L\subseteq \Sigma^* bằng cách hỏi hai loại câu hỏi để cô giáo của mình: Lời truy vấn: trao w ∈ Σ*w∈Σ∗w\in \Sigma^* , là w ∈ Lw∈Lw\in L …

13 automata-theory  regular-language 

---

1

Sự phức tạp của vấn đề từ ngữ với ít chữ cái riêng biệt được chấp nhận bởi một máy tự động hữu hạn

Với một giới hạn (xác định hoặc không xác định, tôi không nghĩ rằng điều này có nhiều tầm quan trọng) automaton A và ngưỡng n , A có chấp nhận một từ có chứa nhiều nhất n chữ cái không? (Theo k chữ cái khác nhau, ý tôi là …

13 cc.complexity-theory  np-hardness  automata-theory 

---

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 

---

1

Chuỗi sản phẩm ma trận boolean thưa thớt nhanh

Vì vậy, tôi đã có khoảng 100-200 ma trận boolean vuông rất thưa thớt với độ dài cạnh ~ vài chục và tôi cần tính toán sản phẩm của họ. Tôi biết rằng nếu tôi nhân chúng một cách thanh thản, sản phẩm thường sẽ vẫn thưa thớt ở mỗi …

13 ds.algorithms  automata-theory  matrix-product  sparse-matrix 

---

1

Ngôn ngữ thông thường phân biệt giữa hai CFG xác định

Giả sử bạn có hai xác định đẩy xuống automata mà nhận ra ngôn ngữ và B , và mong muốn để xác định xem có một ngôn ngữ thông thường R như vậy Một ⊆ R và R ∩ B = ∅ . Về cơ bản, thách thức là …

12 automata-theory 

---