Si può osservare che per il parser costruito in Bottom-up Parser LR(0) , non riesce a riconoscere di linguaggi semplici come L = { a , ab } . Esempio di quanto detto Parser SLR(1) # Questi parser qui utilizzano l’idea del look ahead ampiamente utilizzata in Top-down Parser , per…
Introduzione # Per questa parte c’è un sacco di roba in comune con Tecniche di definizione di semantica (4) Trattiamo alcune caratteristiche che descrivono ad alto livello un linguaggio di programmazione. È da notare che questa parte della spiegazione del linguaggio non è…
Questa parte è strettamente collegata conl a parte di Astrazione sul controllo . Si parla di passare le funzioni come dati . e quindi possono essere passati come se fossero dei parametri. un linguaggio di programmazione è di ordine superiore qualora ammetta funzioni sia come…
https://virtuale.unibo.it/pluginfile.php/1295166/mod_resource/content/0/Lez18-Gorrieri.pdf Halting problem # Questo asserisce che non esiste nessun programma che sia in grado di decidere la terminazione di un altro programma Questo è un problema che ci è interessante perché…
On dangling pointers # Tombstones # Slides tombstones Quando alloco, alloco anche una tombstone, e tutti i riferimenti passano per quella. (quindi ho due dereference per l’accesso) quando vado a deallocare segno la tombstone come RIP, NULL. Dopo molto tempo ho il problema del…
Introduzione # Metodi alternativi di gestione degli errori (3) # A volte le computazioni falliscono. Potremmo gestirle con i result come accennato in Polimorfismo , però diventa molto macchinoso fare tutte le funzioni che debbano inoltrare solamente delle results. bisogna…
Introduzione # Definizione grammatica regolare # Definizione In pratica posso avere solamente come terminali a, oppure un suffisso a su un non terminale. Queste grammatiche sono interessanti perché è molto facile costruire un automa che sia in grado di riconoscere questo…
Linear Temporal Logic (LTL) # Motivation & Historical Context # Temporal logic was introduced into computer science by Amir Pnueli (1977) in his seminal paper "The Temporal Logic of Programs" , for which he later received the Turing Award. The driving idea: classical logic…
Introduzione agli alberi di decisione # Setting del problema # Spazio delle ipotesi # Definizione spazio ipotesi # Per spazio delle ipotesi andiamo a considerare l'insieme delle funzioni rappresentabili dal nostro modello . Questo implica che l'allenamento ricerca l'ipotesi…
Bag of words only takes into account the count of the words inside a document, ignoring all the syntax and boundaries. This method is very common for email classifications techniques. We can say bag of words can be some sort of pooling , it's similar to the computer vision…