| Token Type | Token Value | Formalization |
| DECLARATION | INT | TOKEN(DECLARATION, INT) |
| KEYWORD_ID | MAIN | TOKEN(KEYWORD_ID, MAIN) |
| LPAREN | ( | TOKEN(LPAREN, ( ) |
| RPAREN | ) | TOKEN(RPAREN, ) ) |
| LBRACE | { | TOKEN(LBRACE, { ) |
| IF_KEYWORD | IF | TOKEN(IF_KEYWOR, IF ) |
| LPAREN | ( | TOKEN(LPAREN, ( ) |
| ID | A | TOKEN(ID, a ) |
| BOOL_OPRT | == | TOKEN(BOOL_OPRT, == ) |
| INTEGER_CONST | 2 | TOKEN(INTEGER_CONST, 2 ) |
| RPAREN | ) | TOKEN(RPAREN, ) ) |
| LBRACE | { | TOKEN(LBRACE, { ) |
| ID | C | TOKEN(ID, c ) |
| ASSIGN | = | TOKEN(ASSIGN, = ) |
| ID | A | TOKEN(ID, a ) |
| AE_OPRT | + | TOKEN(AE_OPRT, + ) |
| ID | B | TOKEN(ID, b ) |
| SEMI | ; | TOKEN(SEMI, ; ) |
| RBRACE | } | TOKEN(RBRACE, } ) |
| RBRACE | } | TOKEN(RBRACE, } ) |