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

Có một cách để thực hiện phân tích cú pháp mờ (chấp nhận các chuỗi ngay cả với lỗi chính tả đến một khoảng cách chỉnh sửa nhất định), với DFA và Levenshtein Automata được xây dựng trong thời gian chạy của từ đầu vào. Có thể làm điều gì …

10 algorithms  context-free  finite-automata  parsers  string-metrics 

Trong một trình phân tích cú pháp LR (0), mỗi trạng thái bao gồm một tập hợp các mục LR (0), là các sản phẩm được chú thích với một vị trí. Trong một trình phân tích cú pháp LR (1), mỗi trạng thái bao gồm một tập hợp các …

10 context-free  parsers  lr-k 

Ai đó có thể khai sáng cho tôi lý do tại sao một trình phân tích cú pháp gốc đệ quy với quay lui thử các sản phẩm và (theo thứ tự đó) không nhận ra ngôn ngữ được tạo bởi ngữ pháp .S→ một SmộtS→mộtSmộtS \rightarrow aSaS→ một mộtS→mộtmộtS …

10 context-free  formal-grammars  compilers  parsers 

Những món quà ngữ pháp ngữ cảnh tự do sau một "treo lủng lẳng khác" kiểu nhập nhằng (tưởng tượng rằng đại diện cho và là viết tắt của và là viết tắt của một số loại khác giảng dạy hoặc khối): Ví dụ, có thể được phân tích cú …

9 context-free  formal-grammars  parsers  ambiguity 

Sử dụng vectơ Earley làm công cụ nhận dạng khá đơn giản: khi kết thúc chuỗi, bạn chỉ cần kiểm tra sản xuất tiên đề đã hoàn thành bắt đầu ở vị trí 0. Nếu bạn có ít nhất một, thì chuỗi được chấp nhận. Sử dụng vectơ Earley để …

9 context-free  dynamic-programming  parsers  ambiguity  syntax-trees 

Ở trường đại học, chúng tôi đã học về lý thuyết tính toán nói chung và máy Turing cụ thể hơn. Một trong những kết quả lý thuyết tuyệt vời là với chi phí của một bảng chữ cái (ký hiệu) có khả năng lớn, bạn có thể giảm số …

9 turing-machines  context-free  parsers 

Ngữ pháp này được để lại đệ quy: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term | MultiplicationExpression '/' Term Term ::= Number | '(' AdditionExpression ')' Number ::= [+-]?[0-9]+(\.[0-9]+)? Vì vậy, trên lý thuyết, dòng dõi …

8 reference-request  formal-grammars  recursion  parsers  left-recursion 

Tôi đang làm việc với trình phân tích cú pháp cho ngôn ngữ kiểu C và đối với trình phân tích cú pháp đó, tôi cần biểu thức chính quy khớp với kiểu C / ** / nhận xét. Bây giờ, tôi đã tìm thấy biểu thức này trên web: …

8 compilers  parsers  regular-languages 

nếu tôi có một ngữ pháp có một sản phẩm chứa cả đệ quy trái và bao thanh toán như F→ FB một | c D S| cF→FBmột|cDS|c\qquad \displaystyle F \to FBa \mid cDS \mid c cái nào được ưu tiên, đệ quy trái hay bao thanh toán?

8 formal-languages  formal-grammars  parsers  left-recursion 

Mô tả vấn đề trừu tượng Theo cách tôi nhìn thấy, unparsing có nghĩa là tạo ra một luồng mã thông báo từ AST, khi được phân tích lại sẽ tạo ra một AST bằng nhau, tức là parse(unparse(AST)) = ASTnên giữ. Điều này tương đương với việc tìm một …

7 algorithms  compilers  parsers  attribute-grammars 

Tôi phải viết một ngữ pháp cho Pascal, và chỉ có một điều gây ra vấn đề. Hãy nói rằng chúng tôi có các toán tử (được sắp xếp theo mức độ ưu tiên từ thấp đến cao): Hậu tố^ . Tiền tố^ . [ ]và ., (cùng mức độ …

7 programming-languages  parsers  formal-grammars