Parsing Right-Associative Operators with Recursive Descent
When it comes to parsing expressions many, many books will cover addition, subtraction, and multiplication, often times leaving the implementation of division, exponents and square root "as an exercise for the reader". This is done to keep texts concise, and also because most books pay the aformentioned lip service to recursive descent before focusing on LR parsing algorithms. This is, to put it mildly, a shame. If the big names in modern compilers (GCC, LLVM, Java) have anything to say about it recursive descent is the way to implement a parser - and I tend to agree. So, allow me to share a bit of the secret sauce: how to parse right associative operators top down with recursive descent.
In todays post I will be implementing both sqrt and pow, as they have the same precedence, but one is a binary operator and the other unary. This should give sufficient breadth to put you on your way. Though the emphasis of todays post is on the aforementioned right associative operators, I will be implementing the following grammar for arithmetic expressions:
<expr> := <term> { ("+"|"-") <term> }
<term> := <factor> { ("*"|"/") <factor> }
<factor> := "sqrt" <primary> | <primary> { ("^") <factor> }
<primary> := ID | NUM | "("<expr>")" | "-"<expr>
In recursive descent parsing left associative operators are handled by replacing the recursive call with a loop a'la tail recursion removal, which can be seen in their "standard" implementations, (code for currSym() and match() have been left out for brevity, but have been covered in this previous post on recursive descent):
astnode* expr() {
astnode* node = term();
while (currSym() == TK_ADD || currSym() == TK_SUB) {
astnode* m = makeExprNode(BINARYOP_EXPR, current);
match(currSym());
m->child[0] = node;
node = m;
node->child[1] = term();
}
return node;
}
astnode* term() {
astnode* node = factor();
while (currSym() == TK_MUL || currSym() == TK_DIV) {
astnode* m = makeExprNode(BINARYOP_EXPR, current);
match(currSym());
m->child[0] = node;
node = m;
node->child[1] = factor();
}
return node;
}
Pay careful attention to the pointer swapping taking place on the inner loop: this is crucial to building proper syntax trees. Speaking of building correct parse trees, we need to proceed differently for right associative operators. The solution is straight forward: instead of looping, we use explicit right recursion! We'll start with exponentiation since it is a binary operator.
astnode* Parser::factor() {
astnode* node = var();
if (currSym() == TK_POW) {
astnode* m = makeExprNode(BINARYOP_EXPR, current);
match(TK_POW);
m->child[0] = node;
m->child[1] = factor();
return m;
}
return node;
}
Sqrt is right associative like exponentiation, but a unary operator like the negative sign. However, if we treated sqrt the same as unary minus, we'd end up with a pretty funky syntax tree (guess how i know) because it has both a higher precedence and different associativity. So we need to figure out how to stick into factor(), and it turns out that "just sticking it in factor" is exactly what needs to be done!
astnode* Parser::factor() {
if (currSym() == TK_SQRT) {
astnode* m = makeExprNode(UNARYOP_EXPR, current);
match(TK_SQRT);
m->child[0] = factor();
return m;
}
astnode* node = var();
if (currSym() == TK_POW) {
astnode* m = makeExprNode(BINARYOP_EXPR, current);
match(TK_POW);
m->child[0] = node;
m->child[1] = factor();
return m;
}
return node;
}
Tada! And to round our last precedence level:
astnode* Parser::var() {
astnode* node;
switch (currSym()) {
case TK_ID: {
node = makeExprNode(ID_EXPR, current);
match(TK_ID);
}
break;
case TK_NUM: {
node = makeExprNode(CONST_EXPR, current);
match(TK_NUM);
}
break;
case TK_REALNUM: {
node = makeExprNode(CONST_EXPR, current);
match(TK_REALNUM);
}
break;
case TK_LPAREN: {
match(TK_LPAREN);
node = simpleExpr();
match(TK_RPAREN);
}
default:
break;
}
return node;
}
And with that, you now have what you need to go forth and descend recursively, confident that no matter the expressions operators precedence or associativity, unary or binary, you WILL construct the correct syntax tree! Until next time, Happy hacking,
-
A Different Take on Merge Sort: Binary Search Trees?
-
Deleting Entries From Open-Address Hash tables
-
Transform any Binary Search Tree in to a Sorted Linked List
-
From Regular Expressions To NFA by way of Abstract Syntax Trees: Thompsons Construction
-
Extending Sedgewick's explicit Digraph NFA
-
Iterative In-order B Tree Traversal
-
Simple DB Migration with JDBC
-
Welcome to CodeBlahger, A Blahging Platform for Programmers.
-
The Façade Pattern
-
The Interpreter Pattern: Implementing Interpreters the OOP way
Leave A Comment