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

4

Đếm các từ được chấp nhận bởi một ngữ pháp thông thường

Cho một ngôn ngữ thông thường (NFA, DFA, ngữ pháp hoặc regex), làm thế nào có thể đếm số lượng từ chấp nhận trong một ngôn ngữ nhất định? Cả "với chính xác n chữ cái" và "có nhiều nhất n chữ cái" đều được quan tâm. Margareta Ackerman có …

26 ds.algorithms co.combinatorics fl.formal-languages regular-language

3

Có tồn tại một phần mở rộng của các biểu thức chính quy nắm bắt các ngôn ngữ tự do ngữ cảnh không?

Trong nhiều bài viết liên quan đến ngữ pháp không ngữ cảnh (CFG), các ví dụ về các ngữ pháp như vậy được trình bày thường thừa nhận các đặc điểm dễ dàng của ngôn ngữ mà chúng tạo ra. Ví dụ: S→aaSbS→aaSbS \to a a S b S→S→S \to …

25 fl.formal-languages context-free context-free-languages

5

Phục hồi một khu rừng phân tích từ một trình phân tích cú pháp Earley?

Gần đây tôi đã đọc về trình phân tích cú pháp Earley và nghĩ rằng đó là một trong những thuật toán thanh lịch nhất mà tôi thấy cho đến nay. Tuy nhiên, thuật toán theo nghĩa truyền thống của nó là một trình nhận dạng và không phải là …

25 fl.formal-languages parsing

2

Ngữ pháp và ngữ cảnh nhạy cảm

1) Điều gì, nếu có, là mối quan hệ giữa gõ tĩnh và ngữ pháp chính thức? 2) Cụ thể, một máy tự động giới hạn tuyến tính có thể kiểm tra xem, giả sử, một chương trình C ++ hoặc SML đã được gõ tốt không? Một ngăn xếp …

25 automata-theory fl.formal-languages pl.programming-languages type-theory type-inference

1

độ phức tạp của một nửa ngôn ngữ

Đối với bất kỳ ngôn ngữ trên Σ * , xác định L 1 / 2 = { x ∈ Σ * : x y ∈ L , y ∈ Σ | x | } . Nói cách, L 1 / 2 bao gồm tất cả các x mà có …

24 fl.formal-languages automata-theory

1

Các ngôn ngữ được công nhận bởi các DFA kích thước đa thức

Đối với một bảng chữ cái hữu hạn cố định ΣΣ\Sigma , một ngôn ngữ chính thức LLL trên ΣΣ\Sigma là bình thường nếu có tồn tại một automaton hữu hạn xác định (DFA) trên ΣΣ\Sigma mà chấp nhận chính xác LLL . Tôi quan tâm đến các ngôn ngữ …

23 reference-request fl.formal-languages automata-theory online-algorithms dfa

6

Kỹ thuật nâng cao để xác định giới hạn phức tạp thấp hơn

Một số bạn có thể đã theo dõi câu hỏi này , đã bị đóng cửa do không phải là cấp độ nghiên cứu. Vì vậy, tôi đang trích ra một phần của câu hỏi ở cấp độ nghiên cứu. Ngoài các kỹ thuật "đơn giản hơn", chẳng hạn như …

23 cc.complexity-theory reference-request fl.formal-languages time-complexity reductions

1

Tất cả các ngữ pháp rõ ràng có thể được phân tích cú pháp trong thời gian tuyến tính?

Ô ( n2)Ôi(n2)O(n^2) Tất cả các ngữ pháp rõ ràng có thể được phân tích cú pháp trong thời gian tuyến tính? Tôi khá chắc chắn rằng tôi đã đọc ở đâu đó rằng đây là trường hợp, nhưng nó không xuất hiện khi tìm kiếm trên internet. Câu hỏi …

22 reference-request fl.formal-languages time-complexity parsing context-free

2

Số phân vùng giao thức và độ phức tạp truyền thông xác định

Bên cạnh độ phức tạp truyền thông (xác định) của mối quan hệ R , một biện pháp cơ bản khác cho lượng giao tiếp cần thiết là số phân vùng giao thức p p ( R ) . Mối quan hệ giữa hai biện pháp này được biết đến …

22 fl.formal-languages lower-bounds open-problem regular-expressions communication-complexity

3

Ngôn ngữ thông thường theo quan điểm lý thuyết thể loại

Tôi nhận thấy rằng ngôn ngữ thường xuyên trên bảng chữ cái có thể được coi một cách tự nhiên như một poset, và thực sự là một mạng. Hơn nữa, nối với nhau bằng ngôn ngữ rỗng ε định nghĩa một cấu trúc monoidal nghiêm ngặt về thể loại …

21 fl.formal-languages regular-language ct.category-theory

4

Bằng chứng về bổ đề bơm cho các ngôn ngữ không ngữ cảnh bằng cách sử dụng tự động đẩy xuống

Các Bổ đề bơm cho các ngôn ngữ thông thường có thể được chứng minh bằng cách xem xét một automaton hữu hạn nhà nước công nhận ngôn ngữ học, chọn một chuỗi với một lớn hơn chiều dài hơn con số của tiểu bang, và áp dụng các nguyên …

21 fl.formal-languages automata-theory proofs grammars

1

Số lượng từ có độ dài n trong ngôn ngữ không ngữ cảnh

Biểu thị bằng wnwnw_n số lượng từ có độ dài nnn trong một ngôn ngữ không có ngữ cảnh (có thể mơ hồ). Những gì được biết về wnwnw_n ? Tôi chắc chắn rằng điều này đã được nghiên cứu rất nhiều, nhưng tôi không thể tìm thấy bất cứ …

20 fl.formal-languages context-free

3

Sự phức tạp của giao điểm của các ngôn ngữ thông thường như ngữ pháp không ngữ cảnh

Đưa ra các biểu thức chính quy , có bất kỳ giới hạn không tầm thường nào về kích thước của ngữ pháp không ngữ cảnh nhỏ nhất cho không?R 1 ∩ ⋯ ∩ R nR1,…,RnR1,…,RnR_1, \dots, R_nR1∩⋯∩RnR1∩⋯∩RnR_1 \cap \cdots \cap R_n

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

5

Một lớp ngôn ngữ đặc biệt: ngôn ngữ vòng tròn kiểu Nhật Bản. Được biết đến?

Xác định lớp ngôn ngữ "tròn" sau đây trên bảng chữ cái hữu hạn Sigma. Trên thực tế, cái tên đã tồn tại để biểu thị một điều khác có vẻ như, được sử dụng trong lĩnh vực điện toán DNA. AFAICT, đó là một loại ngôn ngữ khác nhau. …

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

1

Là sự tương đương của các ngôn ngữ không ngữ cảnh rõ ràng có thể quyết định?

Người ta biết rằng vấn đề tương đương là không thể giải quyết được đối với các ngôn ngữ không có ngữ cảnh chung. Tuy nhiên, tất cả các bằng chứng về thực tế này mà tôi biết dường như liên quan đến một số ngữ pháp không ngữ cảnh …

19 fl.formal-languages grammars context-free decidability undecidability

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