Khoa học máy tính lý thuyết context-free

1

Hệ thống phân cấp hợp lý của các ngôn ngữ và ngôn ngữ tự động phi quốc gia - bây giờ nó ở đâu?

Trong phần mở đầu cho những cuốn sách rất có ảnh hưởng của mình Automata, Languages and Machines (Tập A, B), Samuel Eilenberg đã trêu chọc các Tập C và D liên quan đến "một hệ thống phân cấp (được gọi là hệ thống phân cấp hợp lý) của các …

31 soft-question fl.formal-languages automata-theory regular-language context-free

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

10

Để một ngôn ngữ có thể lập trình được, có bắt buộc phải dựa trên ngữ pháp không ngữ cảnh không

Thực tế, đối với một ngôn ngữ cuối cùng có thể được biên dịch / chuyển đổi thành các hướng dẫn cấp hệ thống, có nhất thiết phải là một ngữ pháp không ngữ cảnh không? ví dụ: Có phải tất cả các ngôn ngữ lập trình / kịch bản …

23 pl.programming-languages context-free

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

Các ngôn ngữ mà chúng tôi không thể (không) chứng minh là Không có ngữ cảnh

Tôi đang tìm kiếm các ngôn ngữ "có thể không có ngữ cảnh" nhưng chúng tôi không thể (không) chứng minh nó bằng các kỹ thuật tiêu chuẩn đã biết. Có một cuộc khảo sát gần đây về chủ đề hoặc một phần vấn đề mở từ một hội nghị …

21 reference-request big-list context-free

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

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

1

Làm thế nào để chứng minh một ngôn ngữ tự do bối cảnh là mơ hồ không thể giải quyết được?

Tôi đã đọc ở đâu đó rằng một máy Turing không thể tính toán được điều này và do đó nó không thể giải quyết được nhưng tại sao? Tại sao máy tính không thể tạo ra phân tích cú pháp và đưa ra quyết định? Có lẽ tôi sai …

19 computability turing-machines context-free

3

Phân tích cú pháp CFG bằng cách sử dụng không gian

Có vô số thuật toán có thể phân tích cú pháp ngữ pháp không ngữ cảnh trong thời gian . Sử dụng phép nhân ma trận, người ta thậm chí có thể đi nhanh hơn bất thường.O(n3)O(n3)O(n^3) Tuy nhiên, tất cả các thuật toán để phân tích cú pháp CFG …

18 ds.algorithms fl.formal-languages space-bounded parsing context-free

2

Một tài liệu tham khảo cho một cách tiếp cận nhiều đại số hơn của người Viking về việc đẩy lùi automata và CFL?

Trong cuốn sách của Sakarovitch về lý thuyết automata, nó được viết trong phần giới thiệu về phần hợp lý trong nhóm tự do mà tài liệu trình bày trong đó đưa ra "nền tảng của một lý thuyết toán học thực sự về ngôn ngữ không ngữ cảnh". Tuy …

17 context-free automata-theory reference-request

1

Đặc tính của mà không phải là CFL?

Đó là một bằng chứng tiêu chuẩn trong các khóa học automata dành cho và rằng không phải là ngôn ngữ không ngữ cảnh.L = Σ⋆L=Σ⋆L = \Sigma^\star| Σ | ≥2|Σ|≥2|\Sigma| \ge 2S( L ) = { w w : w ∈ L }S(L)={ww:w∈L}S(L) = \{ww : w \in L\} …

16 context-free

1

Có phải DPDA không có

Trong mô tả chính thức của Automata Pushdown Automata, chúng cho phép di chuyển, trong đó máy có thể bật hoặc đẩy các biểu tượng lên ngăn xếp mà không cần đọc ký hiệu từ đầu vào. Nếu những ε di chuyển không được phép, và chồng chỉ có thể …

16 automata-theory context-free

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

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

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