
| Nodo n | In[n] | Out[n] |
|---|---|---|
| 1 | - | empty |
| 2 | empty | {<x,2>} |
| 3 | {<x,2>} | {<x,2>,<y,3>} |
| 4 | {<x,2>,<y,3>,<x,6>,<y,5>} | {<x,2>,<y,3>,<x,6>,<y,5>} |
| 5 | {<x,2>,<y,3>,<x,6>,<y,5>} | {<x,2>,<x,6>,<y,5>} |
| 6 | {<x,2>,<x,6>,<y,5>} | {<x,6>,<y,5>} |
| 7 | {<x,2>,<y,3>,<x,6>,<y,5>} | - |



| Nodo n | In[n] | Out[n] |
|---|---|---|
| 1 | - | {b-a} |
| 2 | {b-a} | {b-a} |
| 3 | {a-b,b-a} | {a-b} |
| 4 | {b-a} | empty |
| 5 | empty | {a-b} |
| 6 | {a-b} | empty |
| 7 | {a-b} | empty |
| 8 | empty | - |



a)

| Nodo n | In[n] | Out[n] |
|---|---|---|
| 1 | - | empty |
| 2 | empty | {<i,2>} |
| 3 | {<i,2>} | {<i,2>} |
| 4 | {<i,2>,<i,6>,<fact,5>} | {<i,2>,<i,6>,<fact,5>} |
| 5 | {<i,2>,<i,6>,<fact,5>} | {<i,2>,<i,6>,<fact,5>} |
| 6 | {<i,2>,<i,6>,<fact,5>} | {<i,6>,<fact,5>} |
| 7 | {<i,2>,<i,6>,<fact,5>} | - |

