This project aims to deliver a table-driven type-sensitive full "operator precedence" parser.

The project is required by principia.

Milestone one is the single-type case, sufficient for universal algebras and deductive systems (in the sense of Blok and Pigozzi, and including propositional logics).

Milestone two is the parser for the multi-typed operator precedence grammar, required for predicate logics.

Project Activity

See All Activity >

Follow gramma's grammar

gramma's grammar Web Site

Other Useful Business Software
Veeam Data Platform v13.1 - Get Your Free Trial Icon
Veeam Data Platform v13.1 - Get Your Free Trial

Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.

Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
Try it Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of gramma's grammar!

Additional Project Details

Registered

2013-01-14