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

1

Sự mơ hồ liên tục có thể làm giảm sự phức tạp trạng thái của một ngôn ngữ thông thường?

Chúng ta nói rằng NFA là Thường xuyên mơ hồ nếu có tồn tại sao cho bất kỳ chữ được chấp nhận bởi một trong hai hoặc (chính xác) đường dẫn.MMM w ∈ Σ * 0 kk ∈ Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk Nếu automaton liên tục mơ hồ với , thì …

16 complexity-classes  fl.formal-languages  automata-theory  regular-language 

---

2

NFA có thể nhỏ đến mức nào, so với Máy tự động hữu hạn rõ ràng tối thiểu (UFA) tối thiểu của cùng một ngôn ngữ thông thường?

Máy tự động hữu hạn không rõ ràng (UFA) là loại máy tự động hữu hạn không xác định (NFA) đặc biệt. Một NFA được gọi là không rõ ràng nếu mỗi từ có nhiều nhất một đường dẫn chấp nhận.w ∈ Σ*w∈Σ*w\in \Sigma^* Điều này có nghĩa là .D …

16 cc.complexity-theory  fl.formal-languages  automata-theory  regular-language 

---

1

Có các biến thể của automata đẩy xuống rõ ràng cho phép đẩy các từ lên ngăn xếp không?

Tôi tự hỏi, có bất kỳ bài báo hay nghiên cứu nào liên quan đến automata đẩy xuống rõ ràng, nhưng cho phép các từ, thay vì các chữ cái đơn lẻ, được đẩy lên ngăn xếp. Cách khác, một công trình mà cho phép cho các ký hiệu được …

16 reference-request  fl.formal-languages  automata-theory  context-free  context-free-languages 

---

1

Ngữ pháp nhạy cảm với ngữ cảnh cho SAT?

Theo kết quả kinh điển của Kuroda, lớp phức tạp NSPACE [ ]nnn (còn được gọi là NLIN-SPACE) chính xác là lớp CSL của các ngôn ngữ nhạy cảm theo ngữ cảnh . Vấn đề thỏa mãn SAT nằm ở NSPACE [ ], do có thể kiểm tra dự đoán …

16 cc.complexity-theory  fl.formal-languages  sat  space-bounded 

---

2

Cụm từ hoán vị với phân tích cú pháp LR

Một cụm từ hoán vị là một mở rộng của tiêu chuẩn (E) BNF bối cảnh tự do định nghĩa ngữ pháp: một cụm từ hoán vị chứa sản xuất (hoặc tương đương, không thuộc đầu cuối) qua . Ở vị trí của cụm từ hoán vị, chúng tôi muốn …

16 ds.algorithms  fl.formal-languages  parsing  context-free 

---

1

Kết hợp hiệu quả DFAs?

Có bằng chứng lý thuyết cho thấy việc xây dựng sản phẩm cartesian ngây thơ cho giao điểm của DFA là "điều tốt nhất chúng ta có thể làm". Điều gì về sự kết hợp của hai DFA? Cấu trúc tầm thường bao gồm chuyển đổi từng DFA thành NFA, …

16 cc.complexity-theory  fl.formal-languages  automata-theory  dfa 

---

2

Phỏng đoán Collatz & Ngữ pháp / Automata

Tôi đã tự hỏi nếu có một thư mục tốt về các nỗ lực để điều tra phỏng đoán Collatz là một ngữ pháp chính thức? (hoặc bất kỳ nỗ lực nào khác trong cộng đồng CS để đối phó với loại hiện tượng chung chung này & các thuộc …

16 fl.formal-languages  nt.number-theory  halting-problem 

---

1

Tính đầy đủ và ngôn ngữ nhạy cảm theo ngữ cảnh.

Tôi quan tâm đến hai câu hỏi liên quan đến ngôn ngữ nhạy cảm ngữ cảnh (CSL) và tính đầy đủ: Có một khái niệm về tính đầy đủ cho CSL không, và ngôn ngữ nào đã hoàn thành? Có CSL tự nhiên nào là NP-đầy đủ không? Đối với …

16 np-hardness  fl.formal-languages  space-bounded 

---

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

giảm thiểu kích thước của biểu thức chính quy cho các tập hữu hạn

Được biết, việc giảm thiểu kích thước của biểu thức chính quy là hoàn thành PSPACE ngay cả khi chúng ta có DFA làm thông số kỹ thuật của ngôn ngữ . Kết quả là gì nếu ngôn ngữ là hữu hạn? Người ta có thể xem xét vấn đề …

15 cc.complexity-theory  reference-request  fl.formal-languages  regular-expressions  dfa 

---

3

Ngôn ngữ không thể tin được

Đây không nhất thiết là một câu hỏi nghiên cứu. Chỉ là một câu hỏi vì tò mò: Tôi đang cố gắng để hiểu nếu người ta có thể định nghĩa các ngôn ngữ "không thể sửa chữa". Là một đoán đầu tiên tôi gọi một ngôn ngữ L "khử" …

15 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 

---

3

Tiến bộ về vấn đề chiều cao sao tổng quát?

Chiều cao sao (tổng quát) của ngôn ngữ là mức lồng tối thiểu của các ngôi sao Kleene cần có để thể hiện ngôn ngữ bằng biểu thức chính quy mở rộng. Hãy nhớ lại rằng một biểu thức chính quy mở rộng trên bảng chữ cái hữu hạn thỏa …

15 fl.formal-languages  lower-bounds  regular-expressions 

---

4

Các biểu diễn cơ sở-k của đồng miền của một đa thức - nó có phải là ngữ cảnh không?

Trong chương 4 của khóa học thứ hai của Jeffrey Shallit về lý thuyết tự động , vấn đề sau đây được liệt kê là mở: Đặt là một đa thức với các hệ số hợp lý sao cho cho tất cả . Chứng minh hoặc chứng minh rằng ngôn …

14 fl.formal-languages  nt.number-theory  grammars 

---