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

Mọi người thường nói rằng trình phân tích cú pháp LR (k) mạnh hơn trình phân tích cú pháp LL (k) . Những tuyên bố này là mơ hồ hầu hết thời gian; cụ thể, chúng ta nên so sánh các lớp cho một cố định hoặc liên minh trên …

67 formal-languages  formal-grammars  parsers  reference-question 

EPAL, ngôn ngữ của các palindromes, được định nghĩa là ngôn ngữ được tạo bởi ngữ pháp không ngữ cảnh rõ ràng sau đây: S→ một mộtS→mộtmộtS \rightarrow a a S→ b bS→bbS \rightarrow b b S→ một SmộtS→mộtSmộtS \rightarrow a S a S→ b SbS→bSbS \rightarrow b S b …

23 formal-languages  formal-grammars  parsers 

Tôi muốn phân tích các ngôn ngữ cụ thể miền do người dùng xác định. Các ngôn ngữ này thường gần với các ký hiệu toán học (tôi không phân tích ngôn ngữ tự nhiên). Người dùng xác định DSL của họ theo ký hiệu BNF, như thế này: expr …

20 formal-languages  parsers  compilers 

Rõ ràng, các cuộc tấn công ReDos khai thác các đặc điểm của một số biểu thức chính quy (nếu không hữu ích) ... về cơ bản gây ra sự bùng nổ các đường dẫn có thể thông qua biểu đồ được xác định bởi NFA. Có thể tránh những …

16 regular-expressions  parsers 

Nếu tôi có Ngữ pháp Loại 3, nó có thể được biểu diễn trên máy tự động đẩy xuống (không thực hiện bất kỳ thao tác nào trên ngăn xếp) để tôi có thể biểu diễn các biểu thức thông thường bằng cách sử dụng các ngôn ngữ không ngữ …

16 formal-languages  regular-languages  formal-grammars  parsers  regular-expressions 

Có thể phân tích tài liệu bằng một lần chuyển từ máy trạng thái. Lợi ích của việc có hai đường chuyền là gì, tức là. có một lexer để chuyển đổi văn bản thành mã thông báo và có trình phân tích cú pháp để kiểm tra quy tắc …

15 compilers  parsers 

Tôi cố gắng dạy bản thân cách sử dụng bò rừng. Bison manpage (1) nói về bò rừng: Tạo một trình phân tích cú pháp LR hoặc GL (GLR) xác định sử dụng các bảng phân tích cú pháp LALR (1), ClassifiedR (1) hoặc canonical (1). Trình phân tích mã …

14 formal-languages  terminology  formal-grammars  parsers 

Theo bài viết trên Wikipedia , chữ L trong có nghĩa là "quét từ trái sang phải" và "R" có nghĩa là "đạo hàm ngoài cùng bên phải". Tuy nhiên, trong bài viết gốc của Knuth về ngữ pháp L R ( k ) , ông định nghĩa L R …

14 formal-languages  reference-request  terminology  formal-grammars  parsers 

Tôi đã nghĩ về ngữ pháp cho các ngôn ngữ nhạy cảm với sự thay đổi và có vẻ như các ngữ pháp CF sẽ thực hiện thủ thuật nếu kết hợp với các tham số. Ví dụ, xem xét đoạn này cho ngữ pháp Python đơn giản hóa ở …

13 formal-languages  context-free  formal-grammars  parsers 

Tôi đang cố gắng hiểu ý nghĩa của "tính xác định" trong các biểu thức, chẳng hạn như "ngữ pháp không ngữ cảnh xác định". (Có nhiều "điều" mang tính quyết định hơn trong lĩnh vực này). Tôi sẽ đánh giá cao một ví dụ nhiều hơn sau đó giải …

13 context-free  formal-grammars  parsers 

Tôi thường làm việc với lexer / trình phân tích cú pháp , trái ngược với trình kết hợp trình phân tích cú pháp và thấy những người chưa bao giờ tham gia một lớp phân tích cú pháp, hỏi về phân tích dữ liệu nhị phân. Thông thường dữ …

13 programming-languages  compilers  parsers 

Tôi có một vấn đề với bài tập này: Đặt G là ngữ pháp mơ hồ sau đây cho phép tính: E → v | λv.E | EE | (E) Trong đó E là ký hiệu không đầu cuối duy nhất, λv.E đại diện cho sự trừu tượng viết biến …

13 context-free  formal-grammars  compilers  parsers 

Gần đây tôi đang nghiên cứu về thiết kế Trình biên dịch. Tôi đã biết về hai loại ngữ pháp một là ngữ pháp LL và loại khác là ngữ pháp LR. Chúng ta cũng biết một sự thật rằng mỗi ngữ pháp LL là LR ngữ pháp LL là …

12 formal-grammars  compilers  parsers  lr-k  ll-k 

Tôi muốn chuyển đổi một người dùng đã nhập biểu thức chính quy thành NFA để sau đó tôi có thể chạy NFA theo chuỗi cho các mục đích phù hợp. Máy tối thiểu có thể được sử dụng để phân tích các biểu thức thông thường là gì? Tôi …

12 formal-languages  parsers  regular-expressions  pushdown-automata 

Đây là một câu hỏi từ Sách Rồng. Đây là ngữ pháp: Một → ε B → εS→AaAb∣BbBaS→AaAb∣BbBaS \to AaAb \mid BbBa A→εA→εA \to \varepsilon B→εB→εB \to \varepsilon Câu hỏi hỏi làm thế nào để chỉ ra rằng đó là LL (1) chứ không phải là SLR (1). Để chứng …

11 formal-grammars  compilers  parsers