Domande Orale Mancarella-Barbuti

YmirYmir Posts: 183
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ù.

Comments

  • ManutioManutio Posts: 23
    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
  • Aggiungo:
    - Esempio di funzione monotona non continua
  • ManutioManutio Posts: 23
    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 [tex]\Pi[/tex]
  • TesterTester Posts: 8
    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/materiale/semanticaParte1_11_12.pdf ]
     Definizione di punto fisso
    Orale #7
     Teorema (e dimostrazione) 1° punto Teorema di Ricorsione
    Orale #8
     Semantica dichiarazione di procedura
  • GaspareFerraroGaspareFerraro Posts: 44
    edited June 2016
    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 )
  • Salve! Vorrei sapere una cosa per organizzarmi. Quanto tempo avete studiato per preparare l'orale una volta che avete superato laboratorio?

Sign In or Register to comment.