aiuto albero

[Visitatore]

Benvenuto, Visitatore. Per favore, effettua il login o registrati.
Hai perso la tua email di attivazione?
08 Febbraio 2012 - 11:49

1 Ora 1 Giorno 1 Settimana 1 Mese Per Sempre

Login con username, password e lunghezza della sessione

Ricerca Avanzata

[- Università Degli Studi]

- Università Degli Studi
- C.U.S. Firenze
- DSU Toscana
- Biblioteche
- C.S.I.A.F.
- Servizi Online
- Webteach
- Facoltà
- Tasse

Entra in Chat !

Oppure accedi con un client IRC: irc.freenode.net #studenti.fi

[samtam90]

quale è l'albero sintattico di questa espressione?

L.buffer[count].next=count+1

  L  .  buffer  [  count  ]  .  next  =  count   +       1
  |        |             |                             |        |         |
  id       |             id                           id      |     const: int
 var .    id           var: int                   var    op2   expr: int
      |                expr: int                       \      |       /
 var: record*                                         expr: int
expr: address     [expr: int]      
                   |                                             |
                   |                  (next)                    
                var: int     .     identifier              |
                             |
                             |                                   |
                          var: int           =        expr: int
                               \                              /
                                    expr: int (simbolo iniziale)

Dovrebbe essere così, o almeno lo spero perchè sennò significa che l'ho sbagliato nel compito  
Mi rendo conto che non è proprio comprensibilissimo...

Per quanto riguarda la riduzione di L.buffer, inizialmente non mi tornava che sintatticamente buffere fosse un var (pensavo al fatto che il nome collettivo dell'array è una costante), poi ho ripensato al fatto che ciò è vero solamente quando buffer è direttamente dichiarato come array (e quindi il suo indirizzo è fisso), mentre in questo caso si tratta di un puntatore (e di conseguenza la dichiarazione buffer[count] colpisce la count-esima variabile del tipo di buffer a partire dall'indirizzo - variabile - contenuto in buffer).

Vi prego ditemi che ho ragione  

[Dennis]

se lo puoi postare disegnato meglio, mi faresti un grande favorone

[Camper]

se a qualcuno può interessare saperlo anche a me torna in quel modo 

[markoz]

Io non capirò mai come si fanno esercizi di questo tipo, qualcuno sarebbe così gentile da spiegarmeli ?

[Axel90]

ragazzi quale è la semantica di questo riferimento?

*(A[count].num_ptr)

assumendo che essa compaia nel contesto delle seguenti definizioni
struct scheda
{   . . .
int    *num_ptr;
. . .
};

l'albero e il bnf mi sono riusciti (alla fine viene <var.:struct>), la natura generale di un riferimento ho scritto:
consiste nell'identificare una variabile ossia una coppia <locazione di memoria> <tipo>, ad esempio <var>::=<identifier> identifica la variabile dichiarata con nome <identifier> (non sapevo cosa altro scrivere).

Grazie

[samtam90]

ragazzi quale è la semantica di questo riferimento?

*(A[count].num_ptr)

assumendo che essa compaia nel contesto delle seguenti definizioni
struct scheda
{   . . .
int    *num_ptr;
. . .
};

l'albero e il bnf mi sono riusciti (alla fine viene <var.:struct>), la natura generale di un riferimento ho scritto:
consiste nell'identificare una variabile ossia una coppia <locazione di memoria> <tipo>, ad esempio <var>::=<identifier> identifica la variabile dichiarata con nome <identifier> (non sapevo cosa altro scrivere).

Grazie

Ti consiglio di consultare il libro, perchè ce ne sono di questo tipo (svolti) con la semantica. Comunque sia, è necessario partire dall'interno:

-A[count] è un rif. che individua la variabile strutturata count+1-esima nell'array di variabili memorizzato a partire dall'indirizzo A

-A[count].num_ptr è un rif. che individua il campo ptr (variabile di tipo puntatore ad intero) nella variabile strutturata precedente

-*(A[count].num_ptr), infine, è un ulteriore rif. che individua la variabile il cui indirizzo è restituito dalla variabile puntatore precedentemente individuata (che essendo un <var : int *> è anche un <expr : addr (int)>.

Ad essere proprio pignoli bisognerebbe fare un ulteriore passo intermedio dicendo che (A[count].num_ptr) non modifica la semantica del rif. precedente essendo le parentesi solo modificatori sintattici - ma qui si tratta davvero di cercare il proverbiale pelo nell'uovo

Quindi essenzialmente si tratta di descrivere in dettaglio cosa individuano i vari riferimenti, fino a giungere a quello richiesto dall'esercizio - è più o meno come procede anche il Vicario nel libro.

EDIT: occhio però - la riduzione con il BNF deve terminare con <expr> e non con <var> essendo <expr> il simbolo iniziale.

[Axel90]

L'esempio è uno degli esami proposti sul sito; la riduzionone finale *<expr>--><var> ho dimenticato di ridurla a <expr> hai ragione 
La definizione generale di riferimento secondo te è corretta?

[samtam90]

La definizione generale di riferimento secondo te è corretta?

Sì, mi pare che sia corretta.

[Axel90]

Grazie dell'aiuto