Trình phân tích cú pháp Boolean và Math

Question

Tôi đang viết một ứng dụng cho phép người dùng nhập biểu thức logic. Tôi cần khả năng đánh giá biểu thức boolean được nhập vào lúc chạy và đang tìm cả trình phân tích cú pháp và trình xác thực expressoin.

Parser
Các phân tích cú pháp cần phải mất một biểu thức boolean như là một chuỗi và trả về đúng/sai.

Ví dụ:

 
string expression = "(1 == 1) && (1 > 0)"; 
Parser parser = new Parser(); 
boolean result = parser.parse(expression); // Result should be True. 

Ngoài xử lý biểu thức boolean Tôi cũng cần nó để xử lý Math.

 
expression = "((1 + 1 * 2) == 1)"; 
result = parser.parse(expression); // Result should be False. 

Validate
Vì vậy mà tôi có thể nói cho người dùng nếu có một vấn đề với các biểu hiện được nhập Tôi cũng cần một cách để xác nhận các cú pháp.

Tôi đang làm việc trong C# bằng .NET Compact Framework, nhưng nếu bạn biết điều gì đó được viết bằng ngôn ngữ khác có thể hữu ích.

Cảm ơn bạn đã trợ giúp bạn có thể cung cấp. Tom

Answer 1

http://www.antlr.org

văn phạm tiếng ANTLR thể được thiết kế để cho phép cả hai phân tích và đánh giá.

Dưới đây là một ví dụ: http://www.antlr.org/wiki/display/ANTLR3/Expression+evaluator

Answer 2

Tôi không biết bất kỳ thư viện nào để thực hiện việc này dễ dàng hơn, nhưng bạn thực sự chỉ có hai vấn đề phụ ở đây. Bạn cần phải xây dựng một infix để chuyển đổi postfix, sau đó viết một máy tính cơ bản cho các hoạt động boolean và toán học.

Khi bạn đã xây dựng xong cây/ngăn xếp boolean, hãy bắt đầu thực hiện các thao tác. Nếu bạn có bất kỳ thứ gì không phải là số, hãy đánh giá nó bằng cách gửi chuỗi/biểu thức tới máy tính số học thực hiện chuyển đổi hậu tố sau đó và sau đó trả về một giá trị.

Nếu bạn google "infix to postfix" và "stack rpn calculator", bạn có thể tìm thêm tài nguyên.

Answer 3

Bạn có thể sử dụng thư viện dotMath để thực hiện việc này.

Answer 4

Dưới đây là một phân tích cú pháp đánh giá tuyệt vời trên Codeproject, sử dụng phương thức eval và không dựa vào CodeDOM hoặc bất cứ điều như thế. Dưới đây là một bài viết tuyệt vời về cách xây dựng một expression evaluator bằng Antlr, cũng trên cùng một trang ..

Hy vọng điều này sẽ giúp, Trân trọng, Tom.

Answer 5

Loại thứ này là bánh mì và bơ của F #. Bạn có thể thử điều đó. Để phân tích cú pháp, sử dụng gốc đệ quy, sau đó bạn có thể chạy trên cây kết quả. Nếu bạn có quyền kiểm soát ngôn ngữ nhập liệu, bạn có thể thực hiện bằng thao tác trích dẫn.

Answer 6

Giả sử bạn có thể thay đổi cú pháp của bạn một chút, chúng ta hãy một cơ sở dữ liệu nhúng làm công việc cho bạn với một truy vấn như thế này T-SQL:

select case when <Expression> then 1 else 0 end as Result 

Sử dụng ví dụ của bạn:

select case when ((1 = 1) and (1 > 0)) then 1 else 0 end as Result 
select case when ((1 + 1 * 2) = 1) then 1 else 0 end as Result 

Answer 7

dự án của chúng tôi đang sử dụng NCalc (với ANTLR bên dưới để lexing/phân tích cú pháp) và chúng tôi rất hài lòng với nó.

NCalc là biểu thức toán học bộ đánh giá trong .NET. NCalc có thể phân tích bất kỳ biểu thức nào và đánh giá kết quả, bao gồm các tham số tĩnh hoặc động và các chức năng tùy chỉnh.

Ứng dụng của chúng tôi yêu cầu phải được biên dịch chéo cho cả Khung đầy đủ và nhỏ gọn. Với những điều chỉnh tương đối đơn giản, chúng tôi đã có thể làm cho cả NCalc và ANTLR hoạt động cho cả hai khuôn khổ.