Domande Orale Mancarella-Barbuti
Inviato: 12/01/2015, 21:19
Aggiungete domande!
Da un appello del 2014.
- Parlare delle pile di frame
- Quando un albero si dice di derivazione?
- Com'è fatta la produzione di una grammatica libera?
Purtroppo ho segnato solo queste perché non si sentiva niente e quelle che fece a me non le ricordo più.
Sono molto disordinate, ma siamo sotto esame, e il tempo scarseggia...
Se qualcosa non è chiaro potete chiedere!
- Grammatiche (il quartetto), alberi di derivazione
- teorema di ricorsione, dimostrare che T(i) è un punto fisso, dimostrare che è il minimo punto fisso
- semantica di while (semc while (e) com), parto da uno stato <ro, mu>
- trasformare una grammatica in un sistema di equazioni ricorsive (ogni produzione (parte destra) è un insieme contenente solo un simbolo terminale o un simbolo terminale e una categoria sintattica. Ogni categoria sintattica è una variabile. Operazioni: unione e concatenazione)
- Linguaggio come lo 0 per la moltiplicazione: concatenato ad un altro linguaggio da se stesso: linguaggio vuoto
- linguaggio come l'1 per la moltiplicazione, concatenato a ciascun linguaggio lo lascia invariato: Linguaggio che contiene sono la stringa vuota (epsilon)
- ricorsione per induzione ben fondata. Insieme ben fondato.
- trasformare automa non determinismo in deterministico. Se un automa non deterministico ha k stati, quanti stati ha l'automa deterministico? Quante sono le parti di un insieme di k elementi, ovvero??? K?
Quali sono gli stati di riconoscimento? Tutti quelli fatti da insiemi che contengono almeno uno stato di riconoscimento.
- semantica di un blocco (partendo da uni stato): semc (block) <ro, mu> = mu" con mu"= semc (comlist) <ro', mu'> con <ro', mu'> = semc (declist) <ro,mu> ?
- grammatica regolare, come si passa da un automa a una grammatica regolare
- Grammatica ambigua
- un linguaggio finito contiene un numero finito di stringhe? No, contiene un numero infinito di stringhe finite
Sono quelle del 20.01.2015, tratte dalle interrogazioni successive a quella pubblicata da Ymir
- Esempio di funzione monotona non continua
Posso dire che anche il Barbuti fa le stesse domande e aggiungo:
- Semantica di un blocco
- Semantica di una dichiarazione
- Definizione di Grammatica
- Differenze automa deterministico/ non deterministico, automa/grammatica, grammatica regolare/irregolare
Una cosa che ho notato è che raramente chiedono (Barbuti soprattutto) gli scritti, però semmai fanno domande di teoria sugli argomenti sbagliati nello scritto (ad esempio l'ultima domanda era perché era sbagliato l'automa)
Esatto, barbuti e mancarella sono bff da sempre e fanno le stesse cose, confermo anche io che le domande sono le stesse.
Aggiungo alla lista una domanda del barbuti:
-Definisci le operazioni di ADD, MOD e ricerca di un valore per una generica pila [math]
domande che il barbuti ha fatto agli orali:
-definizione formale di grammatica regolare/libera
-definizione albero di derivazione
-semantica di
un blocco,
una dichiarazione di variabile,
un assegnamento ad una variabile/puntatore,
un indirizzo,
espressione
-operazioni su frame e pile
-definizione di frame, pile di frame
-pumpin lemma
-tipo della funzione succloc
-come sono definiti frame e pile di ambiente e memoria
-come sono definiti gli insiemi di frame ambiente e memoria
-teorema di ricorsione e dimostrazione di entrambi i punti
-definizione di trasformazione continua e monotona
-dimostrazione che la monotonia implica la continuità
-dimostrazione che la trasformazione di due trasformazioni continue è anch'essa continua
Dovrebbero essere più o meno tutte
(08 gennaio 2013)
[Barbuti]
Orale #1
Semantica dichiarazione (T x)
Aggiunta su pile
Semantica del blocco
Orale #2
Definizione di grammatica libera
Dimostrazione teorema ricorsione
Semantica dichiarazione puntatori
Tipizzazione della semantica
[Mancarella]
Orale #1
Albero di derivazione (spiegazione)
Induzione ben fondata
o Relazione di precedenza
o Transitività
o Principio di induzione ben fondata
Semantica dell’assegnamento (*Ide=Exp)
Orale #2
Definizione di grammatica
Concatenazione di due linguaggi
Teorema di Ricorsione (dimostrazione)
Semantica assegnamento (Ide=Exp)
Pila
o Operazioni su pila
o Rappresentazione in formalismo matematico di pila e frame
Orale #3
Dimostrazione Teorema di Ricorsione
Costruzione delle soluzioni (applicazione teor. Ricorsione)
#orale terminato prematuramente
Orale #4
Dimostrazione 2° punto Teorema di Ricorsione
#orale terminato prematuramente
Orale #5
Rappresentazione del frame ed operazioni sui frame
Semantica espressione puntatori
Orale #6
Definizione di linguaggio
Definizione di grammatica
Come definire il linguaggio generato da una grammatica (applicazione teorema ricorsione alle grammatiche)
Dimostrazione validità del Principio di Induzione ben fondata
Semantica procedura
Orale #7
Operazioni su frame
Dimostrazione lemma/ 2° punto del Teorema di Ricorsione
Semantica comandi
Orale #8
Semantica procedura
Dimostrazione corollario composizione funzioni
Semantica assegnamento
Esercizio: dichiarazione implicita durante l’assegnamento
Orale #9
Operazioni su pile (ricerca)
Alberi di derivazione
Dimostrazione 1° punto del Teorema di Ricorsione
Semantica comando iterativo
Orale #10
Dimostrazione 2° punto Teorema di Ricorsione
Relazione di precedenza indotta dalla definizione della funzione
Dimostrazione utilizzando induzione ben fondata
(09 gennaio 2013)
[Barbuti]
Orale #1
Semantica (T x=e)
Semantica (x=e)
add e mod su pila
Orale #2
Semantica blocco
Teorema di ricorsione
Orale #3
Dimostrazione T continua => T monotona
Lettura valore su pila
Tipizzazione e
Semantica dell’assegnamento
o Assegnamento nella pila (memoria)
o Assegnamento nella pila (heap)
Orale #4
Semantica dichiarazione
Dimostrazione 2° punto Teorema di Ricorsione
Operazioni su pila
Orale #5
Semantica dichiarazione di procedura
Definizione grammatica libera
Semantica assegnamento puntatore
Orale #6
Semantica blocco
Tipo e
Definizione P (pile di ambiente) e M (pile di memoria) ricorsiva [nota: vedi http://www.di.unipi.it/~paolo/PRL/mater ... _11_12.pdf ]
Definizione di punto fisso
Orale #7
Teorema (e dimostrazione) 1° punto Teorema di Ricorsione
Orale #8
Semantica dichiarazione di procedura
All'orale di oggi ( 20/06/2016 ) ha fatto fare una prova scritta con 3 domande uguali per tutti ( corso A e corso B ) da discutere poi col professore velocemente.
Le tre domande erano:
1) Scrivere i tipi della semantica delle espressioni, delle dichiarazioni e dei comandi, scrivere la semantica del blocco.
2) Dare la definizione di albero di derivazione secondo una grammatica G.
3) Sia T una trasformazione da Pa a Pa ( insieme delle parti ) continua, dimostrare che è monotona. ( Continua => Monotona )
Da un appello del 2014.
- Parlare delle pile di frame
- Quando un albero si dice di derivazione?
- Com'è fatta la produzione di una grammatica libera?
Purtroppo ho segnato solo queste perché non si sentiva niente e quelle che fece a me non le ricordo più.
Sono molto disordinate, ma siamo sotto esame, e il tempo scarseggia...
Se qualcosa non è chiaro potete chiedere!
- Grammatiche (il quartetto), alberi di derivazione
- teorema di ricorsione, dimostrare che T(i) è un punto fisso, dimostrare che è il minimo punto fisso
- semantica di while (semc while (e) com), parto da uno stato <ro, mu>
- trasformare una grammatica in un sistema di equazioni ricorsive (ogni produzione (parte destra) è un insieme contenente solo un simbolo terminale o un simbolo terminale e una categoria sintattica. Ogni categoria sintattica è una variabile. Operazioni: unione e concatenazione)
- Linguaggio come lo 0 per la moltiplicazione: concatenato ad un altro linguaggio da se stesso: linguaggio vuoto
- linguaggio come l'1 per la moltiplicazione, concatenato a ciascun linguaggio lo lascia invariato: Linguaggio che contiene sono la stringa vuota (epsilon)
- ricorsione per induzione ben fondata. Insieme ben fondato.
- trasformare automa non determinismo in deterministico. Se un automa non deterministico ha k stati, quanti stati ha l'automa deterministico? Quante sono le parti di un insieme di k elementi, ovvero??? K?
Quali sono gli stati di riconoscimento? Tutti quelli fatti da insiemi che contengono almeno uno stato di riconoscimento.
- semantica di un blocco (partendo da uni stato): semc (block) <ro, mu> = mu" con mu"= semc (comlist) <ro', mu'> con <ro', mu'> = semc (declist) <ro,mu> ?
- grammatica regolare, come si passa da un automa a una grammatica regolare
- Grammatica ambigua
- un linguaggio finito contiene un numero finito di stringhe? No, contiene un numero infinito di stringhe finite
Sono quelle del 20.01.2015, tratte dalle interrogazioni successive a quella pubblicata da Ymir
- Esempio di funzione monotona non continua
Posso dire che anche il Barbuti fa le stesse domande e aggiungo:
- Semantica di un blocco
- Semantica di una dichiarazione
- Definizione di Grammatica
- Differenze automa deterministico/ non deterministico, automa/grammatica, grammatica regolare/irregolare
Una cosa che ho notato è che raramente chiedono (Barbuti soprattutto) gli scritti, però semmai fanno domande di teoria sugli argomenti sbagliati nello scritto (ad esempio l'ultima domanda era perché era sbagliato l'automa)
Esatto, barbuti e mancarella sono bff da sempre e fanno le stesse cose, confermo anche io che le domande sono le stesse.
Aggiungo alla lista una domanda del barbuti:
-Definisci le operazioni di ADD, MOD e ricerca di un valore per una generica pila [math]
domande che il barbuti ha fatto agli orali:
-definizione formale di grammatica regolare/libera
-definizione albero di derivazione
-semantica di
un blocco,
una dichiarazione di variabile,
un assegnamento ad una variabile/puntatore,
un indirizzo,
espressione
-operazioni su frame e pile
-definizione di frame, pile di frame
-pumpin lemma
-tipo della funzione succloc
-come sono definiti frame e pile di ambiente e memoria
-come sono definiti gli insiemi di frame ambiente e memoria
-teorema di ricorsione e dimostrazione di entrambi i punti
-definizione di trasformazione continua e monotona
-dimostrazione che la monotonia implica la continuità
-dimostrazione che la trasformazione di due trasformazioni continue è anch'essa continua
Dovrebbero essere più o meno tutte
(08 gennaio 2013)
[Barbuti]
Orale #1
Semantica dichiarazione (T x)
Aggiunta su pile
Semantica del blocco
Orale #2
Definizione di grammatica libera
Dimostrazione teorema ricorsione
Semantica dichiarazione puntatori
Tipizzazione della semantica
[Mancarella]
Orale #1
Albero di derivazione (spiegazione)
Induzione ben fondata
o Relazione di precedenza
o Transitività
o Principio di induzione ben fondata
Semantica dell’assegnamento (*Ide=Exp)
Orale #2
Definizione di grammatica
Concatenazione di due linguaggi
Teorema di Ricorsione (dimostrazione)
Semantica assegnamento (Ide=Exp)
Pila
o Operazioni su pila
o Rappresentazione in formalismo matematico di pila e frame
Orale #3
Dimostrazione Teorema di Ricorsione
Costruzione delle soluzioni (applicazione teor. Ricorsione)
#orale terminato prematuramente
Orale #4
Dimostrazione 2° punto Teorema di Ricorsione
#orale terminato prematuramente
Orale #5
Rappresentazione del frame ed operazioni sui frame
Semantica espressione puntatori
Orale #6
Definizione di linguaggio
Definizione di grammatica
Come definire il linguaggio generato da una grammatica (applicazione teorema ricorsione alle grammatiche)
Dimostrazione validità del Principio di Induzione ben fondata
Semantica procedura
Orale #7
Operazioni su frame
Dimostrazione lemma/ 2° punto del Teorema di Ricorsione
Semantica comandi
Orale #8
Semantica procedura
Dimostrazione corollario composizione funzioni
Semantica assegnamento
Esercizio: dichiarazione implicita durante l’assegnamento
Orale #9
Operazioni su pile (ricerca)
Alberi di derivazione
Dimostrazione 1° punto del Teorema di Ricorsione
Semantica comando iterativo
Orale #10
Dimostrazione 2° punto Teorema di Ricorsione
Relazione di precedenza indotta dalla definizione della funzione
Dimostrazione utilizzando induzione ben fondata
(09 gennaio 2013)
[Barbuti]
Orale #1
Semantica (T x=e)
Semantica (x=e)
add e mod su pila
Orale #2
Semantica blocco
Teorema di ricorsione
Orale #3
Dimostrazione T continua => T monotona
Lettura valore su pila
Tipizzazione e
Semantica dell’assegnamento
o Assegnamento nella pila (memoria)
o Assegnamento nella pila (heap)
Orale #4
Semantica dichiarazione
Dimostrazione 2° punto Teorema di Ricorsione
Operazioni su pila
Orale #5
Semantica dichiarazione di procedura
Definizione grammatica libera
Semantica assegnamento puntatore
Orale #6
Semantica blocco
Tipo e
Definizione P (pile di ambiente) e M (pile di memoria) ricorsiva [nota: vedi http://www.di.unipi.it/~paolo/PRL/mater ... _11_12.pdf ]
Definizione di punto fisso
Orale #7
Teorema (e dimostrazione) 1° punto Teorema di Ricorsione
Orale #8
Semantica dichiarazione di procedura
All'orale di oggi ( 20/06/2016 ) ha fatto fare una prova scritta con 3 domande uguali per tutti ( corso A e corso B ) da discutere poi col professore velocemente.
Le tre domande erano:
1) Scrivere i tipi della semantica delle espressioni, delle dichiarazioni e dei comandi, scrivere la semantica del blocco.
2) Dare la definizione di albero di derivazione secondo una grammatica G.
3) Sia T una trasformazione da Pa a Pa ( insieme delle parti ) continua, dimostrare che è monotona. ( Continua => Monotona )