Processing. Argomenti trattati nella lezione: CONCETTI INTRODUTTIVI NATURAL LANGUAGE ANALYSIS ARCHITETTURA SISTEMA NLA TAGGER PARSER A PPLICAZIONE
|
|
- Ricardo Forti
- 8 anni fa
- Visualizzazioni
Transcript
1 Natural Language Processing 1 Argomenti trattati nella lezione: CONCETTI INTRODUTTIVI NATURAL LANGUAGE ANALYSIS ARCHITETTURA SISTEMA NLA STEMMER TAGGER PARSER A PPLICAZIONE
2 Concetti Introduttivi Trattamento automatico del linguaggioi Natural Language Analysis Natural Language Generation Natural Language Processing Ha lo scopo di implementare strumenti informatici per analizzare, comprendere e generare testi che gli uomini possano comprendere in maniera naturale, come se stessero comunicando con un altro interlocutore umano e non un computer. Natural Language Analysis (NLA): data una frase ha l obiettivo di darne una rappresentazione della sua analisi Natural Language Generation (NLG): data unagrammaticadiunalingua,haloscopo di produrne frasi di senso compiuto
3 Concetti Introduttivi NLA Si occupa della riduzione di un testo in linguaggio naturale in una rappresentazione formale e univoca Ciò richiede: Risoluzione dell insieme di ambiguità interpretative t ti presenti inun testot in linguaggio naturale Capacità di trattare strutture sintattiche non lineari, ma interdipendenti e gerarchiche NLG Si occupa della costruzione di automi capaci di produrre frasi corrette rispetto a una data lingua L Ciò richiede: Una rappresentazione della lingua di interesse La possibilità di selezione ed elaborazione dei contenuti Realizzazione di frasi con l ausilio della rappresentazione della lingua e di un dizionario-macchina
4 Natural Language g Analysis Paradigmi di Riferimento Per il Natural Language Analysis Knowledge Engineering Codifica manuale di grammatiche e lessici da parte di esperti. È un tipo esempio di approccio rules-based. Machine Learning Addestramento di modelli statistici su grandi quantità di dati (corpora annotati o non annotati)
5 Natural Language g Analysis Knowledge Engineering Machine Learning Approccio di lavoro del tipo top-down, imponendo dei pattern grammaticali e associazioni semantiche note al testo in esame Metodologia Gestione ambiguità Approccio di lavoro del tipo bottom-up, ricercando, sulla base del testo in esame, pattern e associazioni da modellare Risolvono le ambiguità linguistiche imponendo regole aggiuntive o fattori contestuali. Si fa affidamento a esperti umani per l identificazione e la descrizione delle regolarità linguistiche Ha un approccio quantitativo alla risoluzione delle ambiguità: associa probabilità ad analisi alternative del testo, e decide quale considerare attraverso metodi statistici.
6 Architettura Sistema NLA INPUT ORALE SCRITTO RICONOSCIMENTO DI FONEMI RICONOSCIMENTO DI CARATTERI ANALISI LESSICALE RICONOSCITORE DI FORME CATEGORIZZAZIONE Architettura di un Sistema NLA ANALISI SINTATTICA ANALISI SEMANTICA
7 Architettura Sistema NLA ORALE INPUT SCRITTO Conversione fonemi in una rappresentazione machinereadable RICONOSCIMENTO DI FONEMI ANALISI LESSICALE RICONOSCITORE DI FORME RICONOSCIMENTO DI CARATTERI Conversione dei grafemi in una rappresentazione machine-readable CATEGORIZZAZIONE ANALISI SINTATTICA ANALISI SEMANTICA Necessita di conoscenze di tipo fonetico/fonologico e (tipo)grafico rispettivamente per convertire l input orale e scritto in una univoca rappresentazione interna.
8 Architettura Sistema NLA Riconoscimento Fonemi Il sistema che opera la conversione dei fonemi in una rappresentazione macchina interna è detto Speech-to-Text System,, ed è oggetto del campo della Spoken Language Processing. waveform spectrum words
9 Architettura Sistema NLA Riconoscimento Fonemi Il sistema per la conversione dei grafemi in una rappresentazione macchina interna realizza uno scanning del documento cartaceo generando un file. Tale sistema è detto Optical Character Recognitioner (OCR). L OCR può basare la sua azione su una base di conoscenza che contiene tutti i possibili elementi tipografici per ogni simbolo della lingua naturale. Tale approccio diventa impraticabile nel caso del riconoscimento della grafia.
10 Architettura Sistema NLA Rappresentazione strutturale Si cercano di individuare i tratti costituenti (primitivi) di ogni carattere tipografico, e di basare il riconoscimento di un grafema sulla presenza e la relazione dei costituenti primitivi.
11 Architettura Sistema NLA INPUT ORALE SCRITTO RICONOSCIMENTO DI FONEMI RICONOSCIMENTO DI CARATTERI ANALISI LESSICALE RICONOSCITORE DI FORME CATEGORIZZAZIONE Ha il compito di riconoscere gli elementi lessicali, e assegnarvi informazioni in merito alla loro categoria grammaticale, risolvendo le ambiguità Tokenizer: segmenta il testo in token e Stemmer i l fforme riconosce le radicali ANALISI SINTATTICA ANALISI SEMANTICA Necessita di conoscenze di tipo morfologico e della definizione di token Tagger: assegna le categorie grammaticali ai token
12 Architettura Sistema NLA Tokenizer/Stemmer Il Tokenizer deve individuare gli elementi linguistici atomici all interno del testo in input. A tale scopo è necessario conoscere gli opportuni delimitatori. Il problema è dato dalla non determinatezza dei delimitatori: essi dipendono fortemente dalla lingua adoperata nel testo e sono presenti irregolarità (unità atomiche composte da un insiemediparole,i.epolirematiche).inoltreèpossibilecheun carattere di delimitazione non sia adoperato per delimitare parole (ad esempio il punto nelle sigle). Lo Stemmer deve operare la lemmatizzazione del testo, aggiungendo del metalinguaggio che specifica il lemma e il tipo di flessione dell unità in esame.
13 Architettura Sistema NLA Tagger Il POS-Tagger ha il compito di categorizzare le unità linguistiche all interno dei cluster sintattici delle parti del discorso. Un forte problema è rappresentato da una elevata ambiguità presenti nelle lingue. Un esempio sono gli omografi: ad esempio porta funge sia da nome che da voce verbale. Tale problema può essere risolto con un lavoro sinergico del tagger con il tokenizer, e da approcci che non si limitano ad analizzare singolarmente la specifica voce linguistica, ma contestualizzandola. (il 40% delle ambiguità di una lingua è risolvibile analizzandone il contesto d uso)
14 Architettura Sistema NLA ORALE INPUT SCRITTO Ha il compito di assegnare una caratterizzazione sintattica i alla frase RICONOSCIMENTO DI FONEMI RICONOSCIMENTO DI CARATTERI ANALISI LESSICALE RICONOSCITORE DI FORME CATEGORIZZAZIONE ANALISI SINTATTICA ANALISI SEMANTICA Necessita di conoscenze di tipo sintattico per il completo svolgimento del suo task
15 Architettura Sistema NLA Parser Data una frase ed una grammatica, il compito del parser èdireselafrasepuò essere generata dalla grammatica e, in caso affermativo, assegnare alla frase un adeguata rappresentazione sintattica, detto albero di parsing. Un albero di parsing è un grafo aciclico etichettato, caratterizzato da: 1. un nodo radice, detto Sentence (S), 2. dei nodi foglia con le parole della frase 3. deinodiintermedi,cherappresentanolastrut- tura sintattica assegnata alla frase Una frase non sempre ha un univoca struttura sintattica. Ho visto un uomo con un telescopio
16 Architettura Sistema NLA ORALE INPUT SCRITTO Necessita di conoscenze di tipo semantico per il completo svolgimento del suo task RICONOSCIMENTO DI FONEMI RICONOSCIMENTO DI CARATTERI ANALISI LESSICALE RICONOSCITORE DI FORME CATEGORIZZAZIONE ANALISI SINTATTICA Ha il compito di eseguire un analisi i semantica del testo in ingresso, generando meaning rapresentations. ti ANALISI SEMANTICA
17 Architettura Sistema NLA Analizzatore semantico L analisi semantica assegna a pezzi di struttura pezzi di significato. La struttura è composta da simboli e relazioni tra simboli che rappresentano stati del mondo.
18 Stemmer Gli stemmer sono analizzatori morfologici di due tipi: Inflectional morphology, esprime relazioni sintattiche tra le parole tra le parole della stessa parte del discorso. Derivational Morphology, esprime la creazione di nuove parole da partire da quelle conosciute, e cerca di collegare le differenti parole con la forma radicale. La derivazione solitamente coinvolge un cambiamento nella categoria grammaticale della parola, e può implicare un cambiamento del suo significato. Gli analizzatori morfologici fanno un intenso uso di regole e dizionari lessicali, che possono essere temporalmente dispendiosi. Molte applicazioni non richiedono analizzatori linguisticamente corretti, in tali casi si ha analizzatori euristici, che usano regola empirica approssimativa.
19 Stemmer Un algoritmo di stemming molto adoperato è l Algoritmo di Potter, costituito da una serie in cascata di regole di riscrittura delle parole. Le regole hanno una forma del tipo: (condizione) S1 -> S2 ovvero, se la forma flessa finisce con il suffisso S1 e la forma radicale soddisfa la condizione, allora S1 è sostituito da S2. (m > 0) ATIONAL -> ATE relational -> relate (m > 0) FUL -> ε hopeful -> hope Se la forma flessa ha parte radicale di misura positiva, il suffisso ATIONAL o FUL sono sostituiti da ATE o la stringa vuota, cosicché il termine relational diventa relate e hopeful, invece, è hope.
20 Tagger Un Tagset di Tagging è l insiemei delle classi morfologiche di appartenenza delle parole. Classi chiuse, elementi con appartenenza relati- vamente fissata Penn Termbank Parto-of-Speech of Tags Classi aperte, col tempo vengono affiliati nuovi termini, ovvero parole di recente conio
21 Tagger Tipi di Tagging Rule-based tagger, posseggono un grande database di regole di determinazione della parte del discorso di una unità linguistica Stochastic tagger, adoperano un corpus di riferimento per determinare la probabilità che una data unità linguistica abbia un tag morfologico in un preciso cotesto Trasformation-based tagger, è un approccio ibrido, e ha un insieme di regole per l assegnazione dei tag alle unità linguistiche, e anche le regole computate a partire da uncorpusappositamente annotato per la correzione di eventuali errori di assegnazioni di tag
22 Parser Il parsing può essere visto it come un processo di ricerca, all interno dello spazio di tutti i possibili alberi di parsing generabili dalla grammatica in ingresso, dell albero più adatto alla frase in esame. Due parametri fondamentali: 1. le regole grammaticali che predicono come da un nodo radice S ci siano solo alcune vie di scomposizione possibili per ottenere i nodi terminali; 2. le parole della frase, che ricordano come la (s)composizione di S debba terminare
23 Parser Approcci deterministici al Parsing Top-down Si decide di partire dal nodo radice per generare la strut- tura adatta alla frase data in ingresso. Bottom-up Si decide di partire dalle singole parole, cercando di combinarle in strutture compatibili alla grammatica.
24 Parser La strategia Top-Down non perde tempo cercando di costruire alberi non consistenti con la grammatica, ma genererà tutte le alternative possibili prescindendo dall input. La strategia Bottom-Up, sarà consistente (almeno localmente) l con l input fornito, ma potrà generare per molti livelli sotto-alberi, che alla fine si riveleranno incombinabili per ottenere S. Questo tipo di ricerche sono comunque cieche: non esistono euristiche che suggeriscono la scelta migliore non si rendono conto dell errore errore finché l espansione non è stata completamente effettuata. Perché non combinare i due approcci, introducendo un filtro agli alberi generati?
25 Parser Algoritmo del Left Corner idea di base combinare una strategia t Top-Down per la generazione di strutture tt filtrando le soluzioni con considerazioni di natura Bottom-Up. regola dell angolo sinistro (left-corner) ogni categoria alla fine verrà riscritta come una serie di parole linearmente ordinate e conoscere la prima parola della serie aiuterà a prevedere la categoria o almeno ad escludere soluzioni inconsistenti con questa parola Da tale strategia si ottengono i risultati migliori se preliminarmente viene compilata una tabella che direttamente associa alle categoria un loro possibile left-corner:
26 Parser Una grammatica si dice ricorsiva a sinistra, seammetteuna regola dove un simbolo non terminale che è sia parte della condizione di innesco che prodotto di una regola grammaticale. Il parsing può venire a trovarsi in situazioni di stallo o di loop infinito su una o più regole con ricorsione a sinistra. Weakly equivalent grammar: riscrivere una nuova grammatica con lo stesso potere espressivo della precedente, cercando di riformulare le regole ricorsive Programmazione dinamica: memorizzare i risultati intermedi del parsing pernon ripetere il lavoro già fatto che si può evitare e non cadere nella ricorsione
27 Parser La programmazione dinamica memorizza i risultati intermedi in una costruzione grafica che prende il nome di chart. Un chart è un grafo aciclico etichettato, dove un arco contiene l indicazione dei nodi iniziali e terminali e della regola che deve venir applicata. [0,5 S::= NP VP ] [0,2 NP::= DET N] [2,5 VP::= Verbo NP ] The dog eats a bone
28 Parser Algoritmo di Earley L algoritmo inizia con una fase di inizializzazione applicando la regola γ -> S. Ad ogni passo, uno dei seguenti tre operatori viene applicato al chart corrente: Previsione: crea nuovi stati nell entrata corrente del chart, rappresentando le aspettative top-down della grammatica; Scansione: verifica se nell input esiste, una parola la cui categoria combacia con quella prevista dallo stato a cui la regola si trova. Se il confronto è positivo, la scansione produce un nuovo stato in cui l indice di posizione ii viene spostato t dopo la parola riconosciuta. i Completamento: determina che un sintagma significativo è stato riconosciuto e verifica se l avvenuto riconoscimento è utile per completare qualche altra regola rimasta in attesa di quella categoria. Una volta costruito il chart, è possibile ottenere un albero di parsing, estraendo l arco larcooo l insieme linsiemedi archi che dal primo nodo portano all ultimo ultimo.
29 Parser Approccio statistico al Parsing Nel Parsing statistico si scelgono le regole da espandere in base a probabilità calcolate l apartire da un corpus, per arrivare il prima possibile ad un analisi ie restituirla come più probabile. Dato un insieme di regole, fornite sia da esperti che definite a partire da un analisi empirica di un insieme di testi, si definisce la probabilità di applicazione della regola come: ovvero, la probabilità nota la parte di innesto è pari al numero di volte in cui la regola è applicata nel corpus, diviso il numero di occorrenze della parte di innesco.
30 Applicazione Corret- tore ortografico Ricono- scitore di forme scorrette Suggeri- tore della forma corretta Il riconoscitore di forme scorrette funziona mediante la comparazione con un dizionario di riferimento con tutte le possibili flessioni di ogni parola. Per ridurre la complessità spaziale, si preferisce memorizzare solo la parte radicale delle parole, e corredare il dizionario di un insieme di regole di scomposizione morfologica o di flessione. A fronte dell immissione di alcune parole, lo strumento opera per prima cosa lo stemming con le regole di scomposizione, ottenendo la forma radicale, e successivamente controlla la presenzadi quest ultima nel dizionario. i i
31 Applicazione Gli approcci per un suggeritore di forme correte sono: Basato sugli n-grammi: il sistema ha un insieme di sequenze di caratteri plausibili, e quando in un testo si riscontra una sequenza non consentita, la si segnala come errore., e lo sostituisce con una delle sequenze affini. Basato sulla distanza minima: i candidati per la correzione sono ottenuti applicando alla parola erronea gli operazioni di cancellazione, inserimento e alterazione di una lettera, secondo il principio p della minimizzazione della distanza della nuova parola con quella erronea. Per distanza tra due parole, si intende il numero di lettere difformi tra le parole, a parità di lunghezza. Se due parole sono di lunghezza differente, a quella più breve si aggiungono in coda tanti caratteri nulli, quanti ne bastano per arrivare alla lunghezza dell altra l parola del confronto.
Sommario. Definizione di informatica. Definizione di un calcolatore come esecutore. Gli algoritmi.
Algoritmi 1 Sommario Definizione di informatica. Definizione di un calcolatore come esecutore. Gli algoritmi. 2 Informatica Nome Informatica=informazione+automatica. Definizione Scienza che si occupa dell
DettagliI Problemi e la loro Soluzione. Il Concetto Intuitivo di Calcolatore. Risoluzione di un Problema. Esempio
Il Concetto Intuitivo di Calcolatore Fondamenti di Informatica A Ingegneria Gestionale Università degli Studi di Brescia Docente: Prof. Alfonso Gerevini I Problemi e la loro Soluzione Problema: classe
DettagliAnalizzatore lessicale o scanner
Analizzatore lessicale o scanner Lo scanner rappresenta un'interfaccia fra il programma sorgente e l'analizzatore sintattico o parser. Lo scanner, attraverso un esame carattere per carattere dell'ingresso,
DettagliLinguaggi e Paradigmi di Programmazione
Linguaggi e Paradigmi di Programmazione Cos è un linguaggio Definizione 1 Un linguaggio è un insieme di parole e di metodi di combinazione delle parole usati e compresi da una comunità di persone. È una
DettagliAlla ricerca dell algoritmo. Scoprire e formalizzare algoritmi.
PROGETTO SeT Il ciclo dell informazione Alla ricerca dell algoritmo. Scoprire e formalizzare algoritmi. Scuola media Istituto comprensivo di Fagagna (Udine) Insegnanti referenti: Guerra Annalja, Gianquinto
Dettagli1. BASI DI DATI: GENERALITÀ
1. BASI DI DATI: GENERALITÀ BASE DI DATI (DATABASE, DB) Raccolta di informazioni o dati strutturati, correlati tra loro in modo da risultare fruibili in maniera ottimale. Una base di dati è usualmente
DettagliMetodologie di programmazione in Fortran 90
Metodologie di programmazione in Fortran 90 Ing. Luca De Santis DIS - Dipartimento di informatica e sistemistica Anno accademico 2007/2008 Fortran 90: Metodologie di programmazione DIS - Dipartimento di
DettagliFunzioni in C. Violetta Lonati
Università degli studi di Milano Dipartimento di Scienze dell Informazione Laboratorio di algoritmi e strutture dati Corso di laurea in Informatica Funzioni - in breve: Funzioni Definizione di funzioni
DettagliEsercizio su MT. Svolgimento
Esercizio su MT Definire una macchina di Turing deterministica M a nastro singolo e i concetti di configurazione e di transizione. Sintetizzare una macchina di Turing trasduttore che trasformi un numero
DettagliAppunti sulla Macchina di Turing. Macchina di Turing
Macchina di Turing Una macchina di Turing è costituita dai seguenti elementi (vedi fig. 1): a) una unità di memoria, detta memoria esterna, consistente in un nastro illimitato in entrambi i sensi e suddiviso
Dettagli5.3 TABELLE 5.3.1 RECORD 5.3.1.1 Inserire, eliminare record in una tabella Aggiungere record Eliminare record
5.3 TABELLE In un sistema di database relazionali le tabelle rappresentano la struttura di partenza, che resta poi fondamentale per tutte le fasi del lavoro di creazione e di gestione del database. 5.3.1
DettagliLinguistica Computazionale. Tokenizzazione
Linguistica Computazionale Tokenizzazione Sai Tokenizzare (~contare : )) iniziamo giocando poi lavoriamo Quanti token (~parole) nella frase C era una volta un pezzo di legno. Sai Tokenizzare (~contare
DettagliSistemi Operativi mod. B. Sistemi Operativi mod. B A B C A B C P 1 2 0 0 P 1 1 2 2 3 3 2 P 2 3 0 2 P 2 6 0 0 P 3 2 1 1 P 3 0 1 1 < P 1, >
Algoritmo del banchiere Permette di gestire istanze multiple di una risorsa (a differenza dell algoritmo con grafo di allocazione risorse). Ciascun processo deve dichiarare a priori il massimo impiego
DettagliOttimizzazione delle interrogazioni (parte I)
Ottimizzazione delle interrogazioni I Basi di Dati / Complementi di Basi di Dati 1 Ottimizzazione delle interrogazioni (parte I) Angelo Montanari Dipartimento di Matematica e Informatica Università di
DettagliDispensa 3. 1.1 YACC: generalità
Dispensa 3 1.1 YACC: generalità Il tool Yacc (acronimo per Yet Another Compiler Compiler) è uno strumento software che a partire da una specifica grammaticale context free di un linguaggio scritta in un
DettagliLe Macchine di Turing
Le Macchine di Turing Come è fatta una MdT? Una MdT è definita da: un nastro una testina uno stato interno un programma uno stato iniziale Il nastro Il nastro è infinito suddiviso in celle In una cella
DettagliNUCLEO FONDANTE CONOSCENZE ABILITA' COMPETENZE
CURRICOLO DI LINGUA ITALIANA - CLASSE TERZA NUCLEO FONDANTE CONOSCENZE ABILITA' COMPETENZE ASCOLTO E PARLATO Strategie essenziali dell ascolto. Processi di controllo da mettere in atto durante l ascolto
DettagliDatabase. Si ringrazia Marco Bertini per le slides
Database Si ringrazia Marco Bertini per le slides Obiettivo Concetti base dati e informazioni cos è un database terminologia Modelli organizzativi flat file database relazionali Principi e linee guida
DettagliNozione di algoritmo. Gabriella Trucco
Nozione di algoritmo Gabriella Trucco Programmazione Attività con cui si predispone l'elaboratore ad eseguire un particolare insieme di azioni su particolari informazioni (dati), allo scopo di risolvere
DettagliIntroduzione alla teoria dei database relazionali. Come progettare un database
Introduzione alla teoria dei database relazionali Come progettare un database La struttura delle relazioni Dopo la prima fase di individuazione concettuale delle entità e degli attributi è necessario passare
DettagliPROGETTO REGIONALE MISURAZIONE E VALUTAZIONE DELLE BIBLIOTECHE VENETE
PROGETTO REGIONALE MISURAZIONE E VALUTAZIONE DELLE BIBLIOTECHE VENETE Analisi dinamica dei dati dei questionari per le biblioteche di pubblica lettura. GLI INDICATORI Gli indicatori sono particolari rapporti
DettagliSPC e distribuzione normale con Access
SPC e distribuzione normale con Access In questo articolo esamineremo una applicazione Access per il calcolo e la rappresentazione grafica della distribuzione normale, collegata con tabelle di Clienti,
DettagliNote per generazione file.txt per invio trimestrale V.P. all AGENZIA DELLE ENTRATE
Note per generazione file.txt per invio trimestrale V.P. all AGENZIA DELLE ENTRATE Si tratta della funzione che consente di generare il file in formato testo (.TXT) che permette la spedizione all Agenzia
DettagliCosa è un foglio elettronico
Cosa è un foglio elettronico Versione informatica del foglio contabile Strumento per l elaborazione di numeri (ma non solo...) I valori inseriti possono essere modificati, analizzati, elaborati, ripetuti
DettagliFasi di creazione di un programma
Fasi di creazione di un programma 1. Studio Preliminare 2. Analisi del Sistema 6. Manutenzione e Test 3. Progettazione 5. Implementazione 4. Sviluppo 41 Sviluppo di programmi Per la costruzione di un programma
DettagliCorso di Automazione industriale
Corso di Automazione industriale Lezione 11 Macchine utensili e controllo numerico Programmazione CNC Università degli Studi di Bergamo, Automazione Industriale, A.A. 2015/2016, A. L. Cologni 1 Introduzione
DettagliCorrettezza. Corso di Laurea Ingegneria Informatica Fondamenti di Informatica 1. Dispensa 10. A. Miola Novembre 2007
Corso di Laurea Ingegneria Informatica Fondamenti di Informatica 1 Dispensa 10 Correttezza A. Miola Novembre 2007 http://www.dia.uniroma3.it/~java/fondinf1/ Correttezza 1 Contenuti Introduzione alla correttezza
DettagliLezione 8. La macchina universale
Lezione 8 Algoritmi La macchina universale Un elaboratore o computer è una macchina digitale, elettronica, automatica capace di effettuare trasformazioni o elaborazioni su i dati digitale= l informazione
DettagliIl sapere tende oggi a caratterizzarsi non più come un insieme di contenuti ma come un insieme di metodi e di strategie per risolvere problemi.
E. Calabrese: Fondamenti di Informatica Problemi-1 Il sapere tende oggi a caratterizzarsi non più come un insieme di contenuti ma come un insieme di metodi e di strategie per risolvere problemi. L'informatica
DettagliMacchine a stati finiti G. MARSELLA UNIVERSITÀ DEL SALENTO
Macchine a stati finiti 1 G. MARSELLA UNIVERSITÀ DEL SALENTO Introduzione Al più alto livello di astrazione il progetto logico impiega un modello, la cosiddetta macchina a stati finiti, per descrivere
DettagliIntroduzione alla programmazione in C
Introduzione alla programmazione in C Testi Consigliati: A. Kelley & I. Pohl C didattica e programmazione B.W. Kernighan & D. M. Ritchie Linguaggio C P. Tosoratti Introduzione all informatica Materiale
DettagliIndice generale. OOA Analisi Orientata agli Oggetti. Introduzione. Analisi
Indice generale OOA Analisi Orientata agli Oggetti Introduzione Analisi Metodi d' analisi Analisi funzionale Analisi del flusso dei dati Analisi delle informazioni Analisi Orientata agli Oggetti (OOA)
DettagliEsempi di algoritmi. Lezione III
Esempi di algoritmi Lezione III Scopo della lezione Implementare da zero algoritmi di media complessità. Verificare la correttezza di un algoritmo eseguendolo a mano. Imparare a valutare le prestazioni
DettagliGestione Turni. Introduzione
Gestione Turni Introduzione La gestione dei turni di lavoro si rende necessaria quando, per garantire la continuità del servizio di una determinata struttura, è necessario che tutto il personale afferente
DettagliCOS È UN LINGUAGGIO? LINGUAGGI DI ALTO LIVELLO LA NOZIONE DI LINGUAGGIO LINGUAGGIO & PROGRAMMA
LINGUAGGI DI ALTO LIVELLO Si basano su una macchina virtuale le cui mosse non sono quelle della macchina hardware COS È UN LINGUAGGIO? Un linguaggio è un insieme di parole e di metodi di combinazione delle
DettagliMODULO 5 ACCESS Basi di dati. Lezione 4
MODULO 5 ACCESS Basi di dati Lezione 4 ARGOMENTI Lezione 4 Filtrare i dati Esempio 1 Query Cos è Creare Query in visualizza struttura Criteri di ricerca Esempio 2 Esempio 3 Esempio 4 Creare Query in creazione
Dettagli( x) ( x) 0. Equazioni irrazionali
Equazioni irrazionali Definizione: si definisce equazione irrazionale un equazione in cui compaiono uno o più radicali contenenti l incognita. Esempio 7 Ricordiamo quanto visto sulle condizioni di esistenza
DettagliAlgoritmi e strutture dati. Codici di Huffman
Algoritmi e strutture dati Codici di Huffman Memorizzazione dei dati Quando un file viene memorizzato, esso va memorizzato in qualche formato binario Modo più semplice: memorizzare il codice ASCII per
DettagliCorso di Informatica
Corso di Informatica Modulo T3 1-Sottoprogrammi 1 Prerequisiti Tecnica top-down Programmazione elementare 2 1 Introduzione Lo scopo di questa Unità è utilizzare la metodologia di progettazione top-down
DettagliIl calcolatore oggi : UN SISTEMA DI ELABORAZIONE
Il calcolatore oggi : UN SISTEMA DI ELABORAZIONE hardware Firmware, software memorizzato su chip di silicio Sistema Operativo venduto con l, comprende vari programmi di gestione del sistema Applicativo,
DettagliMacchine a stati finiti. Sommario. Sommario. M. Favalli. Le macchine a stati si utilizzano per modellare di sistemi fisici caratterizzabili mediante:
Sommario Macchine a stati finiti M. Favalli Engineering Department in Ferrara 4 Sommario (ENDIF) Analisiesintesideicircuitidigitali / 35 (ENDIF) Analisiesintesideicircuitidigitali 2 / 35 4 Le macchine
DettagliSistema per scambi/cessioni di Gas al Punto di Scambio Virtuale
Sistema per scambi/cessioni di Gas al Punto di Scambio Virtuale Modulo Bacheca 1 INDICE 1 Generalità...3 2 Accesso al sistema...4 2.1 Requisiti tecnici 5 3 Elenco funzioni e tasti di navigazione...6 3.1
DettagliUniversità di Roma Tor Vergata Corso di Laurea triennale in Informatica Sistemi operativi e reti A.A. 2013-14. Pietro Frasca.
Università di Roma Tor Vergata Corso di Laurea triennale in Informatica Sistemi operativi e reti A.A. 2013-14 Pietro Frasca Lezione 11 Martedì 12-11-2013 1 Tecniche di allocazione mediante free list Generalmente,
DettagliPROCEDURA PER LA GESTIONE ESAMI DI STATO AREA ALUNNI AXIOS
PROCEDURA PER LA GESTIONE ESAMI DI STATO AREA ALUNNI AXIOS Lo scopo di questa guida rapida è quello di fornire all utente, sia del prodotto SISSI in RETE che del prodotto Axios, un vademecum per la corretta
DettagliLuigi Piroddi piroddi@elet.polimi.it
Automazione industriale dispense del corso 10. Reti di Petri: analisi strutturale Luigi Piroddi piroddi@elet.polimi.it Analisi strutturale Un alternativa all analisi esaustiva basata sul grafo di raggiungibilità,
DettagliVerbalizzazione e Firma Digitale
Verbalizzazione e Firma Digitale Area Docente Indice Premessa... 2 1 Tipologie di verbalizzazione online disponibili... 3 2 Test di firma in Esse 3... 4 3 Informazioni generali... 6 4 Gestione lista iscritti...
DettagliLibrerie digitali. Video. Gestione di video. Caratteristiche dei video. Video. Metadati associati ai video. Metadati associati ai video
Video Librerie digitali Gestione di video Ogni filmato è composto da più parti Video Audio Gestito come visto in precedenza Trascrizione del testo, identificazione di informazioni di interesse Testo Utile
DettagliArchivi e database. Prof. Michele Batocchi A.S. 2013/2014
Archivi e database Prof. Michele Batocchi A.S. 2013/2014 Introduzione L esigenza di archiviare (conservare documenti, immagini, ricordi, ecc.) è un attività senza tempo che è insita nell animo umano Primi
DettagliSISTEMI DI NUMERAZIONE IL SISTEMA DECIMALE
SISTEMI DI NUMERAZIONE IL SISTEMA DECIMALE La base del sistema decimale è 10 I simboli del sistema decimale sono: 0 1 2 3 4 5 6 7 8 9 Il sistema di numerazione decimale è un sistema posizionale. L aggettivo
DettagliLINGUAGGI DI PROGRAMMAZIONE
LINGUAGGI DI PROGRAMMAZIONE Il potere espressivo di un linguaggio è caratterizzato da: quali tipi di dati consente di rappresentare (direttamente o tramite definizione dell utente) quali istruzioni di
DettagliOrganizzazione degli archivi
COSA E UN DATA-BASE (DB)? è l insieme di dati relativo ad un sistema informativo COSA CARATTERIZZA UN DB? la struttura dei dati le relazioni fra i dati I REQUISITI DI UN DB SONO: la ridondanza minima i
DettagliInformatica 3. Informatica 3. LEZIONE 10: Introduzione agli algoritmi e alle strutture dati. Lezione 10 - Modulo 1. Importanza delle strutture dati
Informatica 3 Informatica 3 LEZIONE 10: Introduzione agli algoritmi e alle strutture dati Modulo 1: Perchè studiare algoritmi e strutture dati Modulo 2: Definizioni di base Lezione 10 - Modulo 1 Perchè
DettagliAlgoritmi. Maurizio Palesi. Maurizio Palesi 1
Algoritmi Maurizio Palesi Maurizio Palesi 1 Cos è Risolvere un problema significa individuare un procedimento che permetta di arrivare al risultato partendo dai dati Un algoritmo è un metodo per la soluzione
Dettaglib i 1,1,1 1,1,1 0,1,2 0,3,4
V o Appello // RICERCA OPERATIVA - Corso A (a.a. 9/) Nome Cognome: Corso di Laurea: L C6 LS LM Matricola: ) Si consideri il problema di flusso di costo minimo in figura. Si verifichi se il flusso ammissibile
DettagliLa ricerca empirica in educazione
La ricerca empirica in educazione Alberto Fornasari Docente di Pedagogia Sperimentale Dipartimento di Scienze della Formazione, Psicologia, Comunicazione Il ricercatore ha il compito di trovare relazioni
DettagliExcel. A cura di Luigi Labonia. e-mail: luigi.lab@libero.it
Excel A cura di Luigi Labonia e-mail: luigi.lab@libero.it Introduzione Un foglio elettronico è un applicazione comunemente usata per bilanci, previsioni ed altri compiti tipici del campo amministrativo
DettagliUniversità degli Studi di L Aquila. Facoltà di Ingegneria. Corso di Laurea in Ingegneria Elettronica Corso di Sistemi Informativi
Università degli Studi di L Aquila Facoltà di Ingegneria Corso di Laurea in Ingegneria Elettronica Corso di Sistemi Informativi Prof. Gaetanino Paolone Dott. Ottavio Pascale a.a.2003-2004 Progetto Campo
DettagliRECOGNITION ProductInfo
RECOGNITION Product Info Indicizzazione Automatica tramite Riconoscimento di Codice a Barre e Testo RECOGNITION rende ancor più rapida l archiviazione di documenti in DocuWare, grazie all individuazione
DettagliFondamenti di Informatica. Docenti: Prof. Luisa Gargano Prof. Adele Rescigno BENVENUTI!
Fondamenti di Informatica Docenti: Prof. Luisa Gargano Prof. Adele Rescigno BENVENUTI! Finalità: Fornire gli elementi di base dei concetti che sono di fondamento all'informatica Informazioni Pratiche ORARIO:
DettagliUso di base delle funzioni in Microsoft Excel
Uso di base delle funzioni in Microsoft Excel Le funzioni Una funzione è un operatore che applicato a uno o più argomenti (valori, siano essi numeri con virgola, numeri interi, stringhe di caratteri) restituisce
DettagliIl Gruppo di lavoro ha articolato l operazione in fasi:
La Camera dei deputati è stata tra le prime istituzioni italiane a realizzare, nella seconda metà degli anni novanta, una versione del proprio sito che, riferita ai tempi, poteva definirsi accessibile.
DettagliEsempio: dest = parolagigante, lettere = PROVA dest (dopo l'invocazione di tipo pari ) = pprrlogvgante
Esercizio 0 Scambio lettere Scrivere la funzione void scambiolettere(char *dest, char *lettere, int p_o_d) che modifichi la stringa destinazione (dest), sostituendone i caratteri pari o dispari (a seconda
DettagliMacchine a stati finiti. Sommario. Sommario. M. Favalli. 5th June 2007
Sommario Macchine a stati finiti M. Favalli 5th June 27 4 Sommario () 5th June 27 / 35 () 5th June 27 2 / 35 4 Le macchine a stati si utilizzano per modellare di sistemi fisici caratterizzabili mediante:
DettagliSPESOMETRO. 2. Parametrizzazione Dal menu principale Spesometro lanciare il menù Archivi di base.
SPESOMETRO I programmi per la gestione dello spesometro si trovano nel menu CGMCOE.M, collocato sotto CONTABILITA -> STAMPE FISCALI ANNUALI -> SPESOMETRO. 1. Operazioni preliminari Con il primo utilizzo
DettagliPIL : produzione e reddito
PIL : produzione e reddito La misura della produzione aggregata nella contabilità nazionale è il prodotto interno lordo o PIL. Dal lato della produzione : oppure 1) Il PIL è il valore dei beni e dei servizi
DettagliControlloCosti. Cubi OLAP. Controllo Costi Manuale Cubi
ControlloCosti Cubi OLAP I cubi OLAP Un Cubo (OLAP, acronimo di On-Line Analytical Processing) è una struttura per la memorizzazione e la gestione dei dati che permette di eseguire analisi in tempi rapidi,
DettagliStefania Marrara - Esercitazioni di Tecnologie dei Sistemi Informativi. Integrazione di dati di sorgenti diverse
Politecnico di Milano View integration 1 Integrazione di dati di sorgenti diverse Al giorno d oggi d la mole di informazioni che viene gestita in molti contesti applicativi è enorme. In alcuni casi le
DettagliIl test di Turing. Seminario. Ester Dalvit. 22 marzo 2005. Il test di Turing p. 1/1
Il test di Turing Seminario Ester Dalvit 22 marzo 2005 Il test di Turing p. 1/1 Intelligenza artificiale Una macchina compie in modo efficiente e veloce attività come eseguire calcoli aritmetici Il test
DettagliCapitolo 5. Cercare informazioni sul Web
Capitolo 5 Cercare informazioni sul Web Cercare nel posto giusto Posti logici e noti per reperire informazioni sui nostri contributi pensionistici, chiediamo all INPS Biblioteche on-line La maggior parte
DettagliProgrammi e Oggetti Software
Corso di Laurea Ingegneria Civile Elementi di Informatica Programmi e Oggetti Software Settembre 2006 Programmi e Oggetti Software 1 Contenuti Cosa è un programma Cosa significa programmare Il punto di
DettagliGUIDA RAPIDA PER LA COMPILAZIONE DELLA SCHEDA CCNL GUIDA RAPIDA PER LA COMPILAZIONE DELLA SCHEDA CCNL
GUIDA RAPIDA BOZZA 23/07/2008 INDICE 1. PERCHÉ UNA NUOVA VERSIONE DEI MODULI DI RACCOLTA DATI... 3 2. INDICAZIONI GENERALI... 4 2.1. Non modificare la struttura dei fogli di lavoro... 4 2.2. Cosa significano
Dettagli(Esercizi Tratti da Temi d esame degli ordinamenti precedenti)
(Esercizi Tratti da Temi d esame degli ordinamenti precedenti) Esercizio 1 L'agenzia viaggi GV - Grandi Viaggi vi commissiona l'implementazione della funzione AssegnaVolo. Tale funzione riceve due liste
Dettagli3.5.1.1 Aprire, preparare un documento da utilizzare come documento principale per una stampa unione.
Elaborazione testi 133 3.5 Stampa unione 3.5.1 Preparazione 3.5.1.1 Aprire, preparare un documento da utilizzare come documento principale per una stampa unione. Abbiamo visto, parlando della gestione
DettagliCreare diagrammi di Gantt con Visio 2003
Creare diagrammi di Gantt con Visio 2003 La fase di pianificazione di un progetto è sicuramente molto delicata e alquanto complessa, in quanto bisogna riuscire a definire una scomposizione del progetto
DettagliCapitolo Quarto...2 Le direttive di assemblaggio di ASM 68000...2 Premessa...2 1. Program Location Counter e direttiva ORG...2 2.
Capitolo Quarto...2 Le direttive di assemblaggio di ASM 68000...2 Premessa...2 1. Program Location Counter e direttiva ORG...2 2. Dichiarazione di dati: le direttive DS e DC...3 2.1 Direttiva DS...3 2.2
DettagliManuale di realizzazione dei modelli di documento
MystiqueXML Manuale di realizzazione dei modelli di documento Indice 1 Le tabelle...5 1.1 Tabelle condizionali...5 1.2 Tabelle Multiple - un solo livello...5 1.3 Tabelle Multiple - a più livelli...5 2
DettagliAccreditamento Soggetti Formatori in materia di Sicurezza sul Lavoro
Linee guida per l utilizzo del sistema informativo Pag.1 di 12 Linee guida per l utilizzo del sistema informativo Accreditamento Soggetti Formatori in materia di Sicurezza sul Lavoro Il presente documento
DettagliIL PROCESSO DI BUDGETING. Dott. Claudio Orsini Studio Cauli, Marmocchi, Orsini & Associati Bologna
IL PROCESSO DI BUDGETING Dott. Claudio Orsini Studio Cauli, Marmocchi, Orsini & Associati Bologna Il processo di budgeting Il sistema di budget rappresenta l espressione formalizzata di un complesso processo
DettagliRicorsione. (da lucidi di Marco Benedetti)
Ricorsione (da lucidi di Marco Benedetti) Funzioni ricorsive Dal punto di vista sintattico, siamo in presenza di una funzione ricorsiva quando all interno della definizione di una funzione compaiono una
DettagliPERCORSO DIDATTICO SPECIFICO PER ALUNNI CON DSA. DATI RELATIVI ALL ALUNNO Cognome e nome: Data e luogo di nascita: Istituto: Classe:
PERCORSO DIDATTICO SPECIFICO PER ALUNNI CON DSA DATI RELATIVI ALL ALUNNO Cognome e nome: Data e luogo di nascita: Istituto: Classe: 1. DESCRIZIONE DEL FUNZIONAMENTO DELLE ABILITÀ STRUMENTALI (situazione
DettagliDescrizione attività
Descrizione attività Associazione complessa Nelle attività di associazione complessa le celle possono essere in quantità differente nelle due griglie per stabilire vari tipi di corrispondenza: biunivoca,
DettagliLa gestione manageriale dei progetti
PROGETTAZIONE Pianificazione, programmazione temporale, gestione delle risorse umane: l organizzazione generale del progetto Dimitri Grigoriadis La gestione manageriale dei progetti Per organizzare il
DettagliTesto Esercizio. Un modello è ragionevole quando contiene queste tre caratteristiche.
Testo Esercizio Si consideri la realizzazione di un semplice programma grafico per il disegno di figure geometriche in due dimensioni. Si analizzino i requisiti e se ne rappresentino i risultati in UML
DettagliEXPLOit Content Management Data Base per documenti SGML/XML
EXPLOit Content Management Data Base per documenti SGML/XML Introduzione L applicazione EXPLOit gestisce i contenuti dei documenti strutturati in SGML o XML, utilizzando il prodotto Adobe FrameMaker per
DettagliSono casi particolari di MCF : SPT (cammini minimi) non vi sono vincoli di capacità superiore (solo x ij > 0) (i, j) A : c ij, costo di percorrenza
Il problema di flusso di costo minimo (MCF) Dati : grafo orientato G = ( N, A ) i N, deficit del nodo i : b i (i, j) A u ij, capacità superiore (max quantità di flusso che può transitare) c ij, costo di
DettagliModulo: I. Mi presento Livello: Alto
1. Mi presento Scrivere i propri dati, parlare di sé, ripasso basi di grammatica e ortografia Saluti, nome, cognome, parlare di sé e della propria personalità basi di ortografia Facsimile carta d identità
DettagliISTITUTO TECNICO ECONOMICO MOSSOTTI
CLASSE III INDIRIZZO S.I.A. UdA n. 1 Titolo: conoscenze di base Conoscenza delle caratteristiche dell informatica e degli strumenti utilizzati Informatica e sistemi di elaborazione Conoscenza delle caratteristiche
DettagliCPM - PERT CPM - PERT. Rappresentazione di un progetto. Gestione di un progetto. Critical Path Method Project Evaluation and Review Technique
CPM - PERT CPM - PERT CPM e PERT sono metodologie per la gestione di progetti composti da più attività in cui esistano relazioni di precedenza. Critical Path Method Project Evaluation and Review Technique
DettagliTipologie di macchine di Turing
Tipologie di macchine di Turing - Macchina di Turing standard - Macchina di Turing con un nastro illimitato in una sola direzione - Macchina di Turing multinastro - Macchina di Turing non deterministica
DettagliSommario. 1 Realizzazione del STG. Introduzione. 1 traduzione delle specifiche informali in specifiche formali (STG o
Sommario Sintesi di macchine a stati finiti 1 Realizzazione del ST M. avalli 2 utoma minimo di SM completamente specificate 6th June 2007 3 Ottimizzazione di SM non completamente specificate Sommario ()
DettagliTecnologie per il trattamento automatico e la comprensione automatica del linguaggio naturale
Tecnologie per il trattamento automatico e la comprensione automatica del linguaggio naturale Prof. Domenico Cotroneo con la collaborazione Ing. Christian Esposito Dispensa del corso Introduzione al corso
DettagliCURRICOLO DISCIPLINARE DI ITALIANO ASCOLTO E PARLATO. Traguardi per lo sviluppo delle competenze. Obiettivi di apprendimento( conoscenze e
CURRICOLO DISCIPLINARE DI ITALIANO ASCOLTO E PARLATO Traguardi per lo sviluppo delle competenze 1.Partecipa a scambi comunicativi con compagni ed insegnanti, formulando messaggi chiari e pertinenti Obiettivi
DettagliCorso di Archivistica
Corso di Archivistica e gestione documentale Prima Parte - Area Informatica Le tabelle Lezione 6 Creare un data base Introduzione La presente è la prima di una serie di lezioni finalizzate alla creazione
DettagliStatistica. Lezione 6
Università degli Studi del Piemonte Orientale Corso di Laurea in Infermieristica Corso integrato in Scienze della Prevenzione e dei Servizi sanitari Statistica Lezione 6 a.a 011-01 Dott.ssa Daniela Ferrante
DettagliPIANO DI STUDIO PERSONALIZZATO CLASSI SECONDE E TERZE PRIMO BIENNIO
PIANO DI STUDIO PERSONALIZZATO CLASSI SECONDE E TERZE PRIMO BIENNIO ITALIANO INDICATORE DISCIPLINARE Sviluppare le abilità di base come l ascoltare, il parlare, il leggere e lo scrivere per maturare padronanza
DettagliIntroduzione all Information Retrieval
Introduzione all Information Retrieval Argomenti della lezione Definizione di Information Retrieval. Information Retrieval vs Data Retrieval. Indicizzazione di collezioni e ricerca. Modelli per Information
DettagliInformazione e dato. Gabriella Trucco
Informazione e dato Gabriella Trucco Cos è l informatica? Informatica? Trattamento automatico delle informazioni INFORMATICA Informazione Informazione: Qualcosa che quando viene fornito dissipa un dubbio,
DettagliEquilibrio bayesiano perfetto. Giochi di segnalazione
Equilibrio bayesiano perfetto. Giochi di segnalazione Appunti a cura di Stefano Moretti, Silvia VILLA e Fioravante PATRONE versione del 26 maggio 2006 Indice 1 Equilibrio bayesiano perfetto 2 2 Giochi
Dettagli(Atti per i quali la pubblicazione non è una condizione di applicabilità) COMMISSIONE
L 86/6 Gazzetta ufficiale dell Unione europea 5.4.2005 II (Atti per i quali la pubblicazione non è una condizione di applicabilità) COMMISSIONE DECISIONE DELLA COMMISSIONE del 22 marzo 2005 che stabilisce
DettagliLinguaggi di programmazione
Linguaggi di programmazione Un calcolatore basato sul modello di von Neumann permette l esecuzione di un programma, cioè di una sequenza di istruzioni descritte nel linguaggio interpretabile dal calcolatore
Dettagli