christianp/grammars-for-informal-notation

A customisable parsing expression grammar for Numbas' JME

We're working on a system which can parse student's ambiguous mathematical notation.

1. Offer suggestions or decided what is meant based on context.
2. Flexible parsing rules based on commonly used mathematical contexts.
3. Output the resulting parse-trees in a variety of languages, e.g. LaTeX, Maxima.

The longer term goal of this work is to use the resulting parser in an online assessment system with students.

To run the tests

• Install npm
• Install nearley: npm install nearley
• Compile the grammar to JavaScript: make jme-nearley.js
• Now test.html should work.

Parsing libraries

• PEGjs - creates simple, unambiguous parsers.
• Nearley - creates very versatile parsers, and returns multiple results for ambiguous grammars.

grammars-for-informal-notation's Issues

Use nearley instead of peg.js?

https://github.com/Hardmath123/nearley

It allows any grammar in BNF, whichwould make left-associative things easier.