Computerized progressive parsing of mathematical expressions

A system for progressively parsing user input of a mathematical expression, comprising:

• a computer program executable on a computing device, the computer program including a progressive parser having a tokenizer and a grammar analyzer;
• wherein the tokenizer is configured to receive an input string via the graphical user interface of a computer program, and loop through the input string to extract a token from the input string on each loop;
• wherein the grammar analyzer is configured to, on each loop, determine a current grammar context based on the token or tokens extracted thus far, determine whether the current grammar context matches a predetermined condition, and if the current grammar context matches the predetermined condition, modify the tokens extracted from the input string in a predetermined manner associated with the predetermined condition, and update a current grammar context to prepare the next token for extraction;
• wherein the progressive parser is configured to obtain a parsing result based on the modified tokens;
• and
• wherein the computer program further includes a serializer configured to convert the parsing result to a modified input string;
• and
• wherein the computer program is configured to display the modified input string on a graphical user interface.

Computer-readable media having program instructions stored thereon, which upon execution by a computing device, cause the computing device to execute a method comprising:

• receiving an input string into a parser via a graphical user interface of a computer program;
• looping through characters in the input string until the input string is fully processed, and on each loop:
• extracting a next token from the input string;
• determining a current grammar context based on the token or tokens extracted thus far;
• determining whether the current grammar context matches a predetermined condition;
• if the current grammar context matches a predetermined condition, modifying tokens extracted from of the input string in a predetermined manner associated with the predetermined condition;
• obtaining a parsing result, based on the modified tokens;
• and
• converting the parsing result to a modified input string.