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 )
Domande Orale Mancarella-Barbuti
Torna a “[PRL] Programmazione I e laboratorio”
Vai a
- Generale
- ↳ Discussioni
- ↳ Discussions (in english)
- ↳ I rappresentanti rispondono
- ↳ Parliamone
- ↳ Mercatino
- ↳ Tirocini
- ↳ Annunci
- ↳ Announcements (in english)
- ↳ Eventi
- I anno
- ↳ Algebra Lineare
- ↳ Analisi Matematica
- ↳ Fondamenti dell'Informatica
- ↳ Laboratorio I
- ↳ Programmazione e Algoritmica
- II anno
- ↳ Architetture e Sistemi Operativi
- ↳ Calcolo Numerico
- ↳ Calcolo Numerico - Vecchio Ordinamento
- ↳ Laboratorio II
- ↳ Paradigmi di Programmazione
- ↳ Ricerca Operativa
- ↳ Ricerca Operativa - Vecchio Ordinamento
- ↳ Statistica
- ↳ Statistica - Vecchio Ordinamento
- III anno
- ↳ Basi di Dati
- ↳ Basi di Dati - Vecchio Ordinamento
- ↳ Introduzione all'Intelligenza Artificiale
- ↳ Introduzione all'Intelligenza Artificiale - Vecchio Ordinamento
- ↳ Ingegneria del Software
- ↳ Ingegneria del Software - Vecchio Ordinamento
- ↳ Reti e Laboratorio III
- Complementari
- ↳ Algebra
- ↳ Cloud Computing
- ↳ Cloud e Green Computing
- ↳ Computer Grafica
- ↳ Crittografia
- ↳ Elementi di Calcolabilità e Complessità
- ↳ Elementi di Calcolabilità e Complessità - Vecchio Ordinamento
- ↳ Esperienze di programmazione
- ↳ Fisica
- ↳ Fisica - Vecchio Ordinamento
- ↳ Gestione di Reti
- ↳ Green Computing
- ↳ Interazione Uomo-Macchina
- ↳ Laboratorio di Basi di Dati
- ↳ Laboratorio di Web Scraping
- ↳ Sicurezza di Sistemi ICT
- ↳ Sviluppo di Applicazioni Mobili
- ↳ Sviluppo di Applicazioni Web
- ↳ Teoria dell'Informazione
- Vecchio Ordinamento
- ↳ I anno
- ↳ [ALL] Algoritmica e Laboratorio
- ↳ [AM] Analisi matematica
- ↳ [FIS] Fisica
- ↳ [LPP] Logica per la programmazione
- ↳ [MDAL] Matematica discreta e algebra lineare
- ↳ [PRL] Programmazione I e laboratorio
- ↳ II anno
- ↳ [AE] Architettura degli elaboratori
- ↳ [BD] Basi di dati
- ↳ [CPS] Calcolo delle probabilità e statistica
- ↳ [CN] Calcolo numerico
- ↳ [IS] Ingegneria del software
- ↳ [PR2] Programmazione II
- ↳ [RO] Ricerca Operativa
- ↳ [SOL] Sistemi operativi e laboratorio
- ↳ III anno
- ↳ [ECC] Elementi di calcolabili e complessità
- ↳ [PI] Programmazione di interfacce
- ↳ [IIA] Introduzione all'intelligenza artificiale
- ↳ [RCL] Reti di calcolatori e laboratorio
- ↳ Advanced databases
- ↳ Advanced programming
- ↳ Advanced software engineering
- ↳ Algorithm design
- ↳ Algorithm engineering
- ↳ Artificial intelligence fundamentals
- ↳ Bioinformatics
- ↳ Competitive programming and contests
- ↳ Computational mathematics for learning and data analysis
- ↳ Data mining
- ↳ Human language technologies
- ↳ ICT infrastructures
- ↳ ICT risk assessment
- ↳ Information Retrieval
- ↳ Intelligent Systems for pattern recognition
- ↳ Laboratory for innovative software
- ↳ Languages, compilers and interpreters
- ↳ Machine learning
- ↳ Mobile and cyber-physical systems
- ↳ Parallel and distributed systems: paradigms and models
- ↳ Peer to peer systems and blockchains
- ↳ Principles for software composition
- ↳ Smart applications
- ↳ Software validation and verification
- Links
- ↳ HomePage Dipartimento
- ↳ Portale Esami