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 )