| Airam Manuel Navas Simón | GitHub | Página personal | Heroku |
| Kevin Días Marrero | GitHub | Página personal | Heroku |
| Jorge Sierra Acosta | GitHub | Página personal | Heroku |
1. Σ = { ADDOP, MULOP, NUM, ID, COMPARISON, CONST, LOOP, IF, ELSE,
FUNCTION, '(', ')', '{', '}', ';', ',', '=' }
2. V = { sentences, functions, statements, if_statement, loop_statement, comma,
expression, assing, condition, expression, term, factor, arguments }
3. Productions:
1. sentences → ((assing ';') | function | statement)*
2. functions → FUNCTION ID '(' ID? (',' ID)* ')' '{' sentences '}'
3. statements → if_statement | loop_statement
4. if_statement → IF condition '{' sentences '}' (ELSE IF condition '{' sentences '}' )* (ELSE '{' sentences '}')?
5. loop_statement → LOOP '(' comma ';' condition ';' comma ')' '{' sentences '}'
6. comma → assing (',' assing)*
7. assing → CONST? ID '=' assing | condition
8. condition → expression (COMPARISON expression)?
9. expression → term (ADDOP term)*
10. term → factor (MULOP factor)*
11. factor → arguments | NUM | ID | ID arguments | ID '(' ')' | EXIT | RETURN assing?
12. arguments → '(' comma ')'
-
Las sentencias pueden ser asignaciones, funciones o declaraciones.
-
Las funciones se declaran de la siguiente forma. Pueden ser declaradas en cualquier momento y accedidas globalmente:
FUNCTION ID(ID, ID, ...) { ... RETURN ...; }Por ejemplo:
FUNCTION test(x){ x = 3; } FUNCTION foo() { RETURN 3; } -
Condicionales:
IF condicion { ... } IF condition { ... } ELSE IF condition { ... } ELSE IF condition { ... } ELSE { ... } -
Bucles:
LOOP (#1 ; #2; #3) { ... } #1 => Operaciones que se ejecutan antes de entrar al bucle. #2 => Condición que se debe cumplir para que continue el bucle. #3 => Operaciones que se ejecutan cada vez que se itera sobre el bucle.Por ejemplo:
LOOP ( i = 0; i < 3; i = i + 1) { ... } -
La asignación puede se puede realizar a cualquier tipo de expresión Dichas asignaciones se declaran de la siguiente forma:
CONST y = 5; x = 3 * 2; z = foo( 3 * 4) * 4; h = 1 > 2;No es necesario declarar las variables previamente para que la asignación se produzca.
-
Las condiciones toman valor true o false. Por ejemplo:
condition1 = true condition2 = i < 5
El árbol sintáctico generado contendrá los siguientes atributos.
- result: Contiene el código
- symbolTable: Contiene información sobre los símbolos globales de variables del programa.
- functionTable: Contiene información sobre los símbolos que representan funciones y su propia tabla de símbolos locales.
- constantTable: Contiene información sobre las constantes y sus valores (true & false). Algunos ejemplos del árbol sintáctico generado:
-
Código simple con tres instrucciones:
x = 1; y = 2; z = (x + 4) * y;Árbol resultado:
{ "result": [ { "type": "=", "left": "x", "right": { "type": "NUM", "value": 1 } }, { "type": "=", "left": "y", "right": { "type": "NUM", "value": 2 } }, { "type": "=", "left": "z", "right": { "type": "*", "left": { "type": "COMMA", "values": [ { "type": "+", "left": { "type": "ID", "value": "x" }, "right": { "type": "NUM", "value": 4 } } ] }, "right": { "type": "ID", "value": "y" } } } ], "symbolTable": { "x": "volatile", "y": "volatile", "z": "volatile" }, "functionTable": {}, "constantTable": { "true": 1, "false": 0 } } -
Utilizando una función
FUNCTION add(x, y) { RETURN x + y; } add(1, 3);Árbol resultado:
{ "result": [ { "type": "FUNCTION", "id": "add", "parameters": { "x": "parameter", "y": "parameter" }, "code": [ { "type": "RETURN", "value": { "type": "+", "left": { "type": "ID", "value": "x" }, "right": { "type": "ID", "value": "y" } } } ] }, { "type": "CALL", "id": "add", "arguments": { "type": "COMMA", "values": [ { "type": "NUM", "value": 1 }, { "type": "NUM", "value": 3 } ] } } ], "symbolTable": {}, "functionTable": { "add": { "local_symbol_table": { "x": "parameter", "y": "parameter" } } }, "constantTable": { "true": 1, "false": 0 } } -
Utilizando una sentencia IF
IF 2 > 3 { c = 4; } ELSE { c = 5; }Árbol resultado:
{ "result": [ { "type": "IF", "if_condition": { "type": ">", "left": { "type": "NUM", "value": 2 }, "right": { "type": "NUM", "value": 3 } }, "if_sentences": [ { "type": "=", "left": "c", "right": { "type": "NUM", "value": 4 } } ], "elseif_sentences": [], "else_sentece": [ { "type": "=", "left": "c", "right": { "type": "NUM", "value": 5 } } ] } ], "symbolTable": { "c": "volatile" }, "functionTable": {}, "constantTable": { "true": 1, "false": 0 } }