grammar

5Nhiệt

2Trả lời

Ngữ pháp này LR (1) nhưng không phải là SLR (1)?

Tôi có ngữ pháp sau đây, mà tôi đang nói là LR (1) nhưng không phải SLR (1): S :: = a Một | b A c | d c | b d một Một :: = d Tôi không hiểu tại sao điều này là. Làm thế nào bạn sẽ chứng minh điều này?

8Nhiệt

2Trả lời

LL (2) ngôn ngữ không phải là LL (1)

Để hiểu thêm về các trình phân tích cú pháp và ngữ pháp, tôi đang tìm kiếm một ví dụ (hy vọng đơn giản) của một ngôn ngữ là LL (2) nhưng không LL (1). Đó là, một ngôn ngữ có thể được tạo ra bởi một LL

5Nhiệt

4Trả lời

Xóa đệ quy trái trong DCG - Prolog

Tôi gặp vấn đề nhỏ với đệ quy trái trong ngữ pháp này. Tôi đang cố gắng viết nó trong Prolog, nhưng tôi không biết cách loại bỏ đệ quy trái. <expression> -> <simple_expression> <simple_expression> ->

9Nhiệt

1Trả lời

Làm thế nào tôi có thể chứng minh rằng các dẫn xuất trong Chomsky Normal Form yêu cầu 2n - 1 bước?

Tôi đang cố gắng để chứng minh những điều sau đây: Nếu G là một bối cảnh miễn phí Grammar in dạng chuẩn Chomsky, sau đó cho bất kỳ chuỗi w thuộc L (G) có độ dài n ≥ 1, nó đòi hỏi chính xác 2n -1 bước

23Nhiệt

3Trả lời

Tài liệu tiêu chuẩn mục tiêu-C

Tôi là một lập trình viên C và C++ đang cố bắt đầu với Mục tiêu-C. Tôi thực sự hoang mang, mặc dù, bởi sự vắng mặt hoàn toàn rõ ràng của một tài liệu tiêu chuẩn cho ngôn ngữ và thư viện chuẩn. Tôi có

7Nhiệt

2Trả lời

Ocaml chuỗi phân tích cú pháp để làm cho cây

Tôi có một vấn đề tương tự như sau: How to print a tree structure into a string fast in Ocaml? Nhưng trong một cách ngược lại, rằng tôi đã có một chuỗi và muốn phân tích nó lại trở thành một cái cây.

7Nhiệt

1Trả lời

Kết hợp phân tích cú pháp phân tích cú pháp, phân tích cú pháp và phân tích cú pháp rừng

Tôi đang cố gắng để trình phân tích cú pháp trả về tất cả các kết quả phân tích cú pháp có thể (phân tích rừng) từ ngữ pháp không rõ ràng và chọn từ rừng phân tích bằng cách đánh giá chúng theo ngữ cả

5Nhiệt

1Trả lời

Loại ngữ pháp nào được sử dụng để phân tích cú pháp PostgreSQL?

Loại ngữ pháp nào được sử dụng để phân tích cú pháp PostgreSQL? Nó là LR, LALR, LL, hay cái gì khác?

10Nhiệt

2Trả lời

Công cụ Lint-ing cho Lua

Gần đây tôi đã bắt đầu thực hiện một chút Lua cho mod của Minecraft, Computer Craft. Tôi đã luôn luôn được nối vào javascript, và công cụ tôi thấy hữu ích nhất là JS Lint. Câu hỏi của tôi là, có cái g

17Nhiệt

2Trả lời

Ưu tiên Haskell: Lambda và nhà điều hành

Tôi thấy ưu tiên và khả năng kết hợp là một trở ngại lớn đối với tôi để hiểu ngữ pháp đang cố gắng thể hiện ở cái nhìn đầu tiên về mã haskell. Ví dụ, blockyPlain :: Monad m => m t -> m t1 -> m (t, t1)