Help me please 4.The notation for grammars in this question uses the followingconventions, similar to those used in the course:::= in a rule means that the symbol to its left-hand-side is defined bythe symbols to the right-hand side.• A semicolon marks the end of each 'rule'.• Parentheses group multiple symbols as a single item.A ? means the preceding symbol or group is optional.• A * means the preceding symbol or group occurs zero or more times.A | separates alternative symbols or groups.Items enclosed in single quotes represent literal text (e.g.,represents a single-character plus symbol).Items in upper-case (e.g., IDENTIFIER) represent symbols identifiedby a tokenizer (lexical analyser). (e) You have been given the following fragment of a grammarintended for adding a for-loop to the Jack language:for-loop ::= 'for' IDENTIFIER 'in' expr-list 'do' block ;expr-list ::= expr ( ',' expr-list ) ? ;Write pseudocode for recursive-descent parsing routines for thefor-loop and expr-list rules of this fragment. You mayassume that parsing routines for block and expr are alreadyavailable and you should not write those. Both will return true ifthey successfully parse those particular constructs and yourroutines should do the same. If a syntax error is encountered yourcode should simply call an error routine which will terminate theparse. You may assume that the current lookahead lexical token isavailable in a variable called token and the next token is assignedto that variable by a call to nextToken.[8 marks]

Answered: Image /qna-images/answer/72d4570f-a104-4e0b-a48c-a2d52fe692d3.jpg

The notation for grammars in this question uses the following conventions, similar to those used in the course: ::= in a rule means that the symbol to its left-hand-side is defined by the symbols to the right-hand side. • A semicolon marks the end of each 'rule'. Parentheses group multiple symbols as a single item. • A? means the preceding symbol or group is optional. • A * means the preceding symbol or group occurs zero or more times. • A | separates alternative symbols or groups. Items enclosed in single quotes represent literal text (e.g., represents a single-character plus symbol). Items in upper-case (e.g., IDENTIFIER) represent symbols identified by a tokenizer (lexical analyser).