Espressioni regolari. Espressioni regolari
|
|
- Monica Milani
- 7 anni fa
- Visualizzazioni
Transcript
1
2 spressioni regolari Un FA (NFA o DFA) e un metodo per costruire una macchina che riconosce linguaggi regolari. Una espressione regolare e un modo dichiarativo per descrivere un linguaggio regolare. Esempio: Le espressioni regolari sono usate, ad esempio, in comandi UNIX (grep) strumenti per l analisi lessicale di UNIX (Lex (Lexical analyzer generator) e Flex (Fast Lex)).
3 perazioni sui linguaggi Unione: L M = {w : w L o w M} Concatenazione: L.M = {w : w = xy,x L,y M} Potenze: L 0 = {ǫ}, L 1 = L, L k+1 = L.L k Chiusura di Kleene: L = L i i=0
4 Definizione induttiva di espressioni regolari Base: ǫ e sono espressioni regolari. L(ǫ) = {ǫ} e L( ) =. Se a Σ, allora a e un espressione regolare. L(a) = {a}. Induzione: Se E e un espressione regolare, allora (E) e un espressione regolare. L((E)) = L(E). Se E e F sono espressioni regolari, allora E + F e un espressione regolare. L(E + F) = L(E) L(F). Se E e F sono espressioni regolari, allora E.F e un espressione regolare. L(E.F) = L(E).L(F). Se E e un espressione regolare, allora E e un espressione regolare. L(E ) = (L(E)).
5 sempio Espressione regolare per L = {w {0,1} : 0 e 1 alternati in w} o, equivalentemente, (01) + (10) + 0(10) + 1(01) (ǫ + 1)(01) (ǫ + 0)
6 rdine di precedenza per gli operatori 1 Chiusura 2 Concatenazione (punto) 3 Piu (+) Esempio: e raggruppato in (0(1) ) + 1
7 quivalenza di FA e espr. regolari Abbiamo gia mostrato che DFA, NFA, e ǫ-nfa sono tutti equivalenti. -NFA NFA RE DFA Per mostrare che gli FA sono equivalenti alle espressioni regolari, mostreremo che 1 Per ogni DFA A possiamo trovare (costruire, in questo caso) un espressione regolare R, tale che L(R) = L(A). 2 Per ogni espressione regolare R esiste un ǫ-nfa A, tale che L(A) = L(R).
8 a tecnica di eliminazione di stati Etichettiamo gli archi con espressioni regolari di simboli R 1m q 1 p 1 Q 1 R 11 S P 1 s q k Q k R km P m p m R k1
9 Ora eliminiamo lo stato s. R + 11 Q 1 S* P 1 q 1 p 1 R 1m + Q 1 S* P m q k R k1 + Q k S* P 1 R km + Q k S* P m p m Per lo stato accettante q eliminiamo dall automa originale tutti gli stati eccetto q 0 e q.
10 Per ogni q F saremo rimasti con A q della forma Start R S U T e che corrisponde all espressione regolare E q = (R + SU T) SU o con A q della forma Start R che corrisponde all espressione regolare E q = R L espressione finale e q F E q
11 sempio A, dove L(A) = {W : w = x1b, o w = x1bc, x {0,1}, {b,c} {0,1}} 0,1 Start 1 0,1 0,1 A B C D La trasformiamo in un automa con espressioni regolari come etichette Start A B C D
12 sempio Start A B C D Eliminiamo lo stato B Start A 1( 0 + 1) C D Poi eliminiamo lo stato C e otteniamo A D Start A 1( 0 + 1) ( 0 + 1) D con espressione regolare (0 + 1) 1(0 + 1)(0 + 1)
13 sempio Da Start A 1( 0 + 1) C D possiamo eliminare D e ottenere A C Start A 1( 0 + 1) C con espressione regolare (0 + 1) 1(0 + 1) L espressione finale e la somma delle due espressioni regolari precedenti: (0 + 1) 1(0 + 1)(0 + 1) + (0 + 1) 1(0 + 1)
14 a espressioni regolari a ǫ-nfa Teorema 3.7: Per ogni espressione regolare R possiamo costruire un ǫ-nfa A, tale che L(A) = L(R). Prova: Per induzione strutturale: Base: Automa per ǫ,, e a. (a) (b) a (c)
15 Induzione: Automa per R + S, RS, e R R S (a) R S (b) R (c)
16 sempio Trasformiamo (0 + 1) 1(0 + 1) 0 1 (a) 0 1 (b)
17 sempio (b) Start (c)
18 eggi algebriche per i linguaggi L M = M L. L unione e commutativa. (L M) N = L (M N). L unione e associativa. (LM)N = L(MN). La concatenazione e associativa. Nota: La concatenazione non e commutativa, cioe, esistono L e M tali che LM ML.
19 L = L = L. e l identita per l unione. {ǫ}l = L{ǫ} = L. {ǫ} e l identita sinistra e destra per la concatenazione. L = L =. e l annichilatore sinistro e destro per la concatenazione.
20 L(M N) = LM LN. La concatenazione e distributiva a sinistra sull unione. (M N)L = ML NL. La concatenazione e distributiva a destra sull unione. L L = L. L unione e idempotente. = {ǫ}, {ǫ} = {ǫ}. L + = LL = L L, L = L + {ǫ}
21 (L ) = L. La chiusura e idempotente. Prova: ( ) i w (L ) w L j i=0 j=0 k,m N : w (L m ) k p N : w L p w i=0 w L L i
Espressioni regolari
spressioni Regolari Un FA (NFA o DFA) e una macchina a stati finiti che riconosce linguaggi regolari. Una espressione regolare e un modo dichiarativo (o algebrico) per descrivere un linguaggio regolare.
DettagliEspressioni regolari descrivono i linguaggi regolari. Un FA (NFA o DFA) è un metodo per costruire una macchina che riconosce linguaggi regolari.
Espressioni regolari descrivono i linguaggi regolari Un FA (NFA o DFA) è un metodo per costruire una macchina che riconosce linguaggi regolari. Una espressione regolare e un modo dichiarativo per descrivere
DettagliProprieta dei Linguaggi regolari
Proprieta dei Linguaggi regolari Pumping Lemma. Ogni linguaggio regolare soddisfa il pumping lemma. Se qualcuno vi presenta un falso linguaggio regolare, l uso del pumping lemma mostrera una contraddizione.
DettagliProgamma sintetico. Nozioni preliminari Automi Finiti Macchine di Turing Limiti delle macchine di Turing La tesi di Church-Turing Le classi P e NP
Progamma sintetico Nozioni preliminari Automi Finiti Macchine di Turing Limiti delle macchine di Turing La tesi di Church-Turing Le classi P e NP Un problema classico Un uomo viaggia con un lupo, una pecora
DettagliLinguaggi Regolari e Linguaggi Liberi
Linguaggi Regolari e Linguaggi Liberi Potenza espressiva degli automi Potenza espressiva delle grammatiche 9/11/2004 Programmazione - Luca Tesei 1 Linguaggi Regolari Tutti i linguaggi che possono essere
DettagliLinguaggi Regolari e Linguaggi Liberi
Linguaggi Regolari e Linguaggi Liberi Linguaggi regolari Potere espressivo degli automi Costruzione di una grammatica equivalente a un automa Grammatiche regolari Potere espressivo delle grammatiche 1
DettagliLinguaggi regolari e automi a stati finiti
utomi a stati finiti Gli automi a stati finiti sono usati come modello per Software per la progettazione di circuiti digitali. Analizzatori lessicali di un compilatore. Ricerca di parole chiave in un file
DettagliProprietà dei linguaggi regolari
Proprietà dei linguaggi regolari Argomenti della lezione Relazione tra automi, grammatiche ed espressioni regolari Pumping lemma per i linguaggi regolari Equivalenza di automi a stati finiti Le seguenti
DettagliAutomi a pila. Automi a pila
utomi a pila Un automa a pila (PDA) e in pratica un ǫ-nfa con una pila. In una transizione un PDA: 1 Consuma un simbolo di input. 2 Va in un nuovo stato (o rimane dove e ). 3 Rimpiazza il top della pila
DettagliOperatori di relazione
Condizioni Negli algoritmi compaiono passi decisionali che contengono una proposizione (o predicato) dal cui valore di verità dipende la sequenza dinamica Chiamiamo condizioni tali proposizioni Nei casi
DettagliLinguaggi. Rosario Culmone, Luca Tesei. 20/10/2009 UNICAM - p. 1/32
Linguaggi Rosario Culmone, Luca Tesei 20/10/2009 UNICAM - p. 1/32 Alfabeto Un alfabeto è un insieme finito di simboli. Useremo Σ per denotare un alfabeto. Esempi di alfabeto sono: l alfabeto latino adottato
DettagliSi ottiene facendo precedere i numeri naturali dal segno + o dal segno -.
I numeri naturali non sono adatti per risolvere tutti i problemi. Esempio. La temperatura atmosferica di un mattino estivo, sopra lo zero, viene indicata con un numero preceduto dal segno + (+19 C, +25
DettagliLunghezza media. Teorema Codice D-ario prefisso per v.c. X soddisfa. L H D (X). Uguaglianza vale sse D l i. = p i. . p.1/27
Lunghezza media Teorema Codice D-ario prefisso per v.c. X soddisfa L H D (X). Uguaglianza vale sse D l i = p i.. p.1/27 Lunghezza media Teorema Codice D-ario prefisso per v.c. X soddisfa L H D (X). Uguaglianza
DettagliEsercitazioni di Reti Logiche. Algebra Booleana e Porte Logiche
Esercitazioni di Reti Logiche Algebra Booleana e Porte Logiche Zeynep KIZILTAN Dipartimento di Scienze dell Informazione Universita degli Studi di Bologna Anno Academico 2007/2008 Notizie Il primo parziale
DettagliL insieme dei numeri Relativi
L insieme dei numeri Relativi ITIS Feltrinelli anno scolastico 007-008 R. Folgieri 007-008 1 Ampliamento di N e Q: i relativi Nell insieme N non possiamo fare operazioni quali -1 perché il risultato non
DettagliPrecorsi di matematica
Precorsi di matematica Francesco Dinuzzo 12 settembre 2005 1 Insiemi Il concetto di base nella matematica moderna è l insieme. Un insieme è una collezione di elementi. Gli elementi di un insieme vengono
DettagliEsercizi di Fondamenti di Informatica per la sicurezza. Stefano Ferrari
Esercizi di Fondamenti di Informatica per la sicurezza tefano Ferrari 23 dicembre 2003 2 Argomento 1 Grammatiche e linguaggi Esercizi Es. 1.1 Definiti i linguaggi: L 1 = {aa, ab, bc, c} L 2 = {1, 22, 31}
DettagliAnno 4 Matrice inversa
Anno 4 Matrice inversa 1 Introduzione In questa lezione parleremo della matrice inversa di una matrice quadrata: definizione metodo per individuarla Al termine della lezione sarai in grado di: descrivere
DettagliCostruzione di espressioni regolari 4
ostruzione di espressioni regolari 4 Indicando con d uno dei possibili digits {,, 2,,9} --possiamo esprimere il sotto linguaggio dei digits come d = ( + + 2 +.. + 9) Quale linguaggio produce l espressione:
DettagliLinguaggi. Claudio Sacerdoti Coen 29,?/10/ : La struttura dei numeri naturali. Universitá di Bologna
Linguaggi 5: La struttura dei numeri naturali Universitá di Bologna 29,?/10/2014 Outline La struttura dei numeri naturali 1 La struttura dei numeri naturali I numeri naturali La
DettagliElementi di Algebra e Logica Determinare la tavola della verità di ciascuna delle seguenti forme proposizionali:
Elementi di Algebra e Logica 2008. 8. Logica. 1. Determinare la tavola della verità di ciascuna delle seguenti forme proposizionali: (a) p ( q r); (b) p (q r); (c) (p q) ( p r); (d) (p q) ( p r); (e) (p
DettagliMa il programma in Fig. 8.2 del libro? Stampa hello, world, dato un input n se e solo se l equazione
Problemi che i calcolatori non possono risolvere E importante sapere se un programma e corretto, cioe fa uello che ci aspettiamo. E facile vedere che il programma Ma il programma in Fig. 8.2 del libro?
DettagliI metodi formali dell Analisi Lessicale: Le Espressioni Regolar
I metodi formali dell Analisi Lessicale: Le Espressioni Regolari (ER) N.Fanizzi - V.Carofiglio 6 aprile 2016 1 Introduzione 2 3 4 5 Espressioni Regolari Dato un alfabeto finito X, una espressione regolare
DettagliPumping lemma per i linguaggi Context-free
Pumping lemma per i linguaggi Context-free Sia L un linguaggio context-free. E possibile determinare una costante k, dipendente da L, tale che qualunque stringa z! L con z > k si può esprimere come z=
DettagliPORTE LOGICHE. Si effettua su due o più variabili, l uscita assume lo stato logico 1 se almeno una variabile di ingresso è allo stato logico 1.
PORTE LOGICHE Premessa Le principali parti elettroniche dei computer sono costituite da circuiti digitali che, come è noto, elaborano segnali logici basati sullo 0 e sull 1. I mattoni fondamentali dei
DettagliLe variabili logiche possono essere combinate per mezzo di operatori detti connettivi logici. I principali sono:
Variabili logiche Una variabile logica (o booleana) è una variable che può assumere solo uno di due valori: Connettivi logici True (vero identificato con 1) False (falso identificato con 0) Le variabili
Dettagliid+id*id (id+id)*id / - ( + ) * +id +*** (+)id Linguaggi formali Stringhe Linguaggi Grammatiche
id / - ( + ) * id+id*id (id+id)*id +*** (+)id + +id Linguaggi formali Stringhe Linguaggi Grammatiche 2 Simboli, Alfabeto e stringhe 3 Operazioni su stringhe 4 Linguaggi 5 Operazioni sui linguaggi 6 Concatenazione
DettagliEQUAZIONI MATRICIALI
EQUAZIONI MATRICIALI a cura di Gioella Lorenzon, Edoardo Sech, Lorenzo Spina, Jing Jing Xu Realizzato nell'ambito del progetto Archimede con la supervisione del Prof. Fabio Breda I.S.I.S.S. M.Casagrande,
DettagliNumeri relativi: numeri il cui valore dipende dal segno che li precede.
. Definizioni e proprietà Numeri relativi: numeri il cui valore dipende dal segno che li precede. + 4 è un numero positivo, cioè maggiore di 0, perché preceduto dal segno + (il segno + davanti ai numeri
DettagliAlgebra di Boole. Andrea Passerini Informatica. Algebra di Boole
Andrea Passerini passerini@disi.unitn.it Informatica Variabili logiche Una variabile logica (o booleana) è una variable che può assumere solo uno di due valori: True (vero identificato con 1) False (falso
DettagliRicorsione. Rosario Culmone. - p. 1/13
Ricorsione Rosario Culmone - p. 1/13 Induzione e Ricorsione Spesso utilizzeremo le definizioni induttive. Sono forme di definizione compatte che descrivono un numero infinito di elementi. I contesti di
DettagliStrutture algebriche. Leggi di composizione. Leggi di composizione. Gruppi Insiemi di numeri Polinomi
Introduzione S S S S Le strutture algebriche sono date da insiemi con leggi di composizione binarie (operazioni) ed assiomi (proprietà) Una legge di composizione binaria è una funzione : I J K, una legge
DettagliALGEBRA I: ASSIOMI DI PEANO E PROPRIETÀ DEI NUMERI NATURALI
ALGEBRA I: ASSIOMI DI PEANO E PROPRIETÀ DEI NUMERI NATURALI 1. GLI ASSIOMI DI PEANO Come puro esercizio di stile voglio offrire una derivazione delle proprietà elementari dei numeri naturali e delle operazioni
DettagliX Settimana = 0 R. = 0 R x, x R. + (x 0 R. ) x 0 R = = x 0 R
X Settimana 1 Elementi basilari della teoria degli anelli (I parte) Un anello (R, +, ) è un insieme non vuoto R dotato di due operazioni (binarie), denotate per semplicità con i simboli + e + : R R R,
Dettaglix 1 Fig.1 Il punto P = P =
Geometria di R 2 In questo paragrafo discutiamo le proprietà geometriche elementari del piano Per avere a disposizione delle coordinate nel piano, fissiamo un punto, che chiamiamo l origine Scegliamo poi
DettagliRichiami di Algebra di Commutazione
LABORATORIO DI ARCHITETTURA DEI CALCOLATORI lezione n Prof. Rosario Cerbone rosario.cerbone@libero.it http://digilander.libero.it/rosario.cerbone a.a. 6-7 Richiami di Algebra di Commutazione In questa
DettagliFondamenti di Informatica B. Fondamenti di Informatica B. Fondamenti di Informatica B. Fondamenti di Informatica B.
Fondamenti di Informatica Lezione n. n. lgebra booleana Circuiti logici Elementi primitivi Esercizi con elementi logici Fondamenti di Informatica Lezione n. In questa lezione vengono ripresi i concetti
DettagliLe grammatiche formali
Le grammatiche formali Il carattere generativo dei sistemi linguisticii i Consideriamo i la seguente frase: Un gatto rincorre il topo Non facciamo difficoltà a riconoscere che si tratta di una frase sintatticamente
DettagliIl codice di Sarngadeva
Matematica - Musica Il codice di Sarngadeva È oggi riconosciuto da molti (vedi, ad esempio, Knuth [3]) come diverse nozioni combinatorie di base (quali il sistema binario, il triangolo di Tartaglia-Pascal,
DettagliLinguaggio universale, riduzioni, e teorema di Rice. Linguaggio universale, riduzioni, e teorema di Rice
l linguaggio universale Il linguaggio universale L u e l insieme delle stringhe binarie che codificano una coppia (M,w) dove w L(M). Esiste una TM U, detta TM universale, tale che L u = L(U). U ha tre
DettagliUniversità degli Studi di Roma Tor Vergata. Principio di induzione matematica
Università degli Studi di Roma Tor Vergata. Principio di induzione matematica Il Principio di induzione matematica è una tecnica di dimostrazione che permette la dimostrazione simultanea di infinite affermazioni.
Dettagliacuradi Luca Cabibbo e Walter Didimo Esercizi di Informatica teorica - Luca Cabibbo e Walter Didimo 1
acuradi Luca Cabibbo e Walter Didimo Esercizi di Informatica teorica - Luca Cabibbo e Walter Didimo 1 richiami teorici sulle grammatiche di Chomsky esercizivari esercizi su grammatiche ed espressioni regolari
Dettagli1 (A,+) sia un gruppo abeliano, cioè soddisfi gli assiomi: x (y + z) = x y + x z (y + z) x = y x + z x
ANE ANELLI. Anelli In questa unità ci occupiamo di un particolare anelloide che prende il nome di anello. Si chiama anello ogni anelloide (A + ) tale che: (A+) sia un gruppo abeliano cioè soddisfi gli
DettagliLe operazioni fondamentali con i numeri relativi
SINTESI Unità Le operazioni fondamentali con i numeri relativi Addizione La somma di due numeri relativi concordi è il numero relativo che ha lo stesso segno degli addendi e come valore assoluto la somma
Dettaglicontrollo stringa a a b a b b c c b a b x y z pila di memoria
Gli automi a pila Dagli automi finiti iti agli automi a pila Possiamo ottenere un automa a pila a partire da un automa finito (così come l abbiamo definito in precedenza), attraverso l introduzione di
DettagliAlgebra di Boole X Y Z V. Algebra di Boole
L algebra dei calcolatori L algebra booleana è un particolare tipo di algebra in cui le variabili e le funzioni possono solo avere valori 0 e 1. Deriva il suo nome dal matematico inglese George Boole che
DettagliI numeri complessi. Capitolo 7
Capitolo 7 I numeri complessi Come abbiamo fatto per i numeri reali possiamo definire assiomaticamente anche i numeri complessi. Diciamo che l insieme C dei numeri complessi è un insieme su cui sono definite
DettagliLIMITI. 1. Definizione di limite.
LIMITI 1. Definizione di limite. Sia A un sottoinsieme di IR; se il numero reale x 0 è di accumulazione per A in ogni intorno di x 0 si trovano elementi di A distinti da x 0. Allora ha senso chiedersi
DettagliLinguaggi formali e compilazione
Linguaggi formali e compilazione Corso di Laurea in Informatica A.A. 2015/2016 Linguaggi formali e compilazione sul corso Sito web: http://algogroup.unimore.it/people/mauro/dida/2015-2016 / Ricevimento:
Dettagli3. Matrici e algebra lineare in MATLAB
3. Matrici e algebra lineare in MATLAB Riferimenti bibliografici Getting Started with MATLAB, Version 7, The MathWorks, www.mathworks.com (Capitolo 2) Mathematics, Version 7, The MathWorks, www.mathworks.com
DettagliFondamenti di Informatica
Fondamenti di Informatica Algebra di Boole e Circuiti Logici Prof. Christian Esposito Corso di Laurea in Ingegneria Meccanica e Gestionale (Classe I) A.A. 2016/17 Algebra di Boole e Circuiti Logici L Algebra
DettagliAlgebra e topologia. Appendice A. 1. Algebra
Appendice A Algebra e topologia In questa appendice richiamiamo alcuni concetti di algebra e di topologia che dovrebbero essere familiari a tutti. Questa è solo una breve lista di definizioni per una trattazione
DettagliLINGUAGGI FORMALI Esercizi
LINGUAGGI FORMALI Esercizi PPPPPP Nicol Fnizzi LINGUAGGI DI PROGRAMMAZIONE Corso di Informtic T.P.S. Diprtimento di Informtic Università di Bri Aldo Moro [2014/01/28-13:30:23] [ 2 / 14 ] Indice 1 Introduzione
DettagliGeometria BIAR Esercizi 2
Geometria BIAR 0- Esercizi Esercizio. a Si consideri il generico vettore v b R c (a) Si trovi un vettore riga x (x, y, z) tale che x v a (b) Si trovi un vettore riga x (x, y, z) tale che x v kb (c) Si
DettagliSISTEMI LINEARI. x y + 2t = 0 2x + y + z t = 0 x z t = 0 ; S 3 : ; S 5x 2y z = 1 4x 7y = 3
SISTEMI LINEARI. Esercizi Esercizio. Verificare se (,, ) è soluzione del sistema x y + z = x + y z = 3. Trovare poi tutte le soluzioni del sistema. Esercizio. Scrivere un sistema lineare di 3 equazioni
DettagliV il segmento orientato. V con VETTORI. Costruzione di un vettore bidimensionale
VETTORI Costruzione di un vettore bidimensionale Nel piano con un righello si traccia una retta r tratteggiata Su r si disegna un segmento di lunghezza l d una delle estremità si disegni la punta di una
Dettagli1 Se X e Y sono equipotenti, Sym(X) e Sym(Y ) sono isomorfi
In ogni esercizio c è la data del giorno in cui l ho proposto. 1 Se X e Y sono equipotenti, Sym(X) e Sym(Y ) sono isomorfi Se X è un insieme indichiamo con Sym(X) l insieme delle biiezioni X X. Si tratta
DettagliAlgebra di Boole. Modulo 2. Università di Cagliari Dipartimento di Ingegneria Elettrica ed Elettronica Laboratorio di Elettronica (EOLAB)
Algebra di Boole Modulo 2 Università di Cagliari Dipartimento di Ingegneria Elettrica ed Elettronica Laboratorio di Elettronica (EOLAB) Algebra di Boole L algebra di Boole o della commutazione è lo strumento
DettagliVETTORI. Finora abbiamo considerato uno spazio di Hilbert H con elementi f, g,... tra i quali è definito un prodotto scalare indicato con il simbolo,.
2/6 NOTAZIONE DI DIRAC 11/12 1 VETTORI Finora abbiamo considerato uno spazio di Hilbert H con elementi f, g,... tra i quali è definito un prodotto scalare indicato con il simbolo,. È possibile costruire
DettagliAlgebra di Boole Cenni all Algebra di Boole
Algebra di Boole Cenni all Algebra di Boole Introduzione Rappresentazione di una funzione combinatoria Proprietà dell algebra di commutazione Forme canoniche Teorema di espansione di Shannon Versione del
DettagliOPERAZIONI IN Q = + = = = =
OPERAZIONI IN Q A proposito delle operazioni tra numeri razionali, affinché il passaggio da N a vero e proprio ampliamento è necessario che avvengano tre cose: Q risulti un ) le proprietà di ciascuna operazione
DettagliESERCIZI IN PIÙ I NUMERI COMPLESSI
ESERCIZI IN PIÙ I NUMERI COMPLESSI L equazione x x 0 non ha soluzioni nell insieme dei numeri reali; infatti, applicando la formula ridotta, si ottiene x, 3. Interpretando come numero immaginario, cioè
DettagliUniversità degli Studi di Palermo Facoltà di Economia. Dipartimento di Scienze Economiche, Aziendali e Statistiche. Appunti del corso di Matematica
Università degli Studi di Palermo Facoltà di Economia Dipartimento di Scienze Economiche, Aziendali e Statistiche Appunti del corso di Matematica 03 - I Numeri Reali Anno Accademico 2015/2016 M. Tumminello,
DettagliEsempio 1 Si consideri il seguente gioco in forma estesa:
Best reply: strategie pure e miste c Fioravante Patrone Esempio Si consideri il seguente gioco in forma estesa: 5 T L R L R 4 4 B T B a) scriverne la forma strategica; b) determinarne gli equilibri di
DettagliMETODI MATEMATICI PER L INFORMATICA
METODI MATEMATICI PER L INFORMATICA Tutorato Lezione 2 17/03/2016 Corso per matricole congrue a 1 Docente: Margherita Napoli Tutor: Amedeo Leo Applicazioni della logica proposizionale La logica ha una
DettagliEquazioni di primo grado ad un incognita
Equazioni di primo grado ad un incognita Identità Si dice IDENTITÀ un uguaglianza fra due espressioni letterali che è verificata per ogni valore attribuito alle lettere. 2 = 2 è un identità =3 2 3=2 3
DettagliDott. Dallavalle Riccardo UNITA DIATTICA nr. 5 Gli argomenti di oggi:
Gli argomenti di oggi: Le operazioni matematiche con i numeri INTERI RELATIVI Come facciamo a fare la ADDIZIONE con i numeri interi relativi? Consideriamo un esempio: (+5) + (+7) =? Come potrei fare? Prova
Dettagli2 3 4 5 6 7 8 9 10 12,999,976 km 9,136,765 km 1,276,765 km 499,892 km 245,066 km 112,907 km 36,765 km 24,159 km 7899 km 2408 km 76 km 12 14 16 3 6 11 1 7 1 2 5 3 12 4 9 10 8 18 20 21 22 23 24 25 26 28
DettagliGruppi, Anelli, Campi
Gruppi, Anelli, Campi (A1) Chiusura per addizione (A2) Associatività addizione (A3)Elemento neutro addizione (A4)Esistenza inversi additivi Campo (A5) Commutatività addizione (M1) Chiusura per moltiplicazione
Dettagli4 + 7 = 11. Possiamo quindi dire che:
Consideriamo due numeri naturali, per esempio 4 e 7. Contando successivamente, dopo le unità del primo, le unità del secondo si esegue l operazione aritmetica detta addizione, il cui simbolo è + ; 4 +
DettagliRADICALI QUADRATICI E NON Applicazione geometrica 1 (lato di un quadrato)
RADICALI QUADRATICI E NON Applicazione geometrica 1 (lato di un quadrato) Se un quadrato ha l'area di 25 mq, qual è la misura del suo perimetro? E se l'area vale 30 mq? Table 1 Risoluzione 1 Poichè l'area
DettagliEspressioni Regolari
Espressioni Regolari Le espressioni regolari sono costituite dalle stringhe sull alfabeto Σ = Σ {+,,*,(,),φ} ottenute secondo le seguenti regole: 1. φ e ciascun membro di Σ sono Epressioni Regolari 2.
DettagliRiassumiamo le proprietà dei numeri reali da noi utilizzate nel corso di Geometria.
Capitolo 2 Campi 2.1 Introduzione Studiamo ora i campi. Essi sono una generalizzazione dell insieme R dei numeri reali con le operazioni di addizione e di moltiplicazione. Nel secondo paragrafo ricordiamo
DettagliGrammatiche context-free
Corso di Laurea Magistrale in Ingegneria Informatica A.A. 2013-2014 Linguaggi Formali e Compilatori Grammatiche context-free Giacomo PISCITELLI Politecnico di Bari G. Piscitelli pag. 1 di 28 Grammatiche
DettagliDAI NUMERI NATURALI AI NUMERI RAZIONALI
DAI NUMERI NATURALI AI NUMERI RAZIONALI 1. L insieme dei numeri naturali Nel sistema assiomatico ZF, l Assioma dell infinito stabilisce che: Esiste un insieme A, i cui elementi sono insiemi e tale che
DettagliQuiz sui linguaggi CF
Fondamenti dell Informatica 1 semestre Quiz sui linguaggi CF Prof. Giorgio Gambosi a.a. 2014-2015 Problema 1: Si consideri la seguente grammatica context free G, dove S, NP, V P, P P, A sono i simboli
DettagliElementi di informatica
Elementi di informatica Algebra di Boole Algebra di Boole I circuiti logici sono componenti hardware che manipolano informazione binaria. I circuiti di base sono detti PORTE LOGICHE (logical gate). Allo
DettagliLa sottrazione di numeri naturali: esercizi svolti
La sottrazione di numeri naturali: esercizi svolti Nella pagina dedicata all'addizione di numeri naturali abbiamo visto che questa è la più semplice e naturale delle operazioni. Ci chiediamo adesso se,
DettagliReti logiche: introduzione
Corso di Calcolatori Elettronici I Reti logiche: introduzione ing. Alessandro Cilardo Corso di Laurea in Ingegneria Biomedica Circuiti e porte logiche Esempio di rete di commutazione: Circuiti e porte
DettagliLEZIONE 8. k e w = wx ı + w y j + w z. k di R 3 definiamo prodotto scalare di v e w il numero
LEZINE 8 8.1. Prodotto scalare. Dati i vettori geometrici v = v x ı + v y j + v z k e w = wx ı + j + k di R 3 definiamo prodotto scalare di v e w il numero v, w = ( v x v y v z ) w x = v x + v y + v z.
DettagliSviluppi e derivate delle funzioni elementari
Sviluppi e derivate delle funzioni elementari In queste pagine dimostriamo gli sviluppi del prim ordine e le formule di derivazioni delle principali funzioni elementari. Utilizzeremo le uguaglianze lim
DettagliRiconoscere e formalizzare le dipendenze funzionali
Riconoscere e formalizzare le dipendenze funzionali Giorgio Ghelli 25 ottobre 2007 1 Riconoscere e formalizzare le dipendenze funzionali Non sempre è facile indiduare le dipendenze funzionali espresse
DettagliLA MATEMATICA DELLE RELAZIONI SOCIALI
LA MATEMATICA DELLE RELAZIONI SOCIALI ALESSIO TORTI SILVIA LAZZARI FRANCESCA GERACE FLAVIA VICICONTE ABSTRACT. Nell articolo si analizzano, utilizzando la teoria dei grafi, le diverse configurazioni che
DettagliIL CALCOLO LETTERALE. La «traduzione» del linguaggio comune in linguaggio matematico
IL CALCOLO LETTERALE La «traduzione» del linguaggio comune in linguaggio matematico BREVE STORIA DELL ALGEBRA Dall algebra sincopata all algebra simbolica L algebra è una disciplina antichissima ma il
DettagliCongruenze. Alberto Abbondandolo Forte dei Marmi, 17 Novembre 2006
Congruenze Alberto Abbondandolo Forte dei Marmi, 17 Novembre 2006 1 Il resto nella divisione tra interi Consideriamo i numeri naturali 0, 1, 2, 3,... ed effettuiamone la divisione per 3, indicando il resto:
DettagliIl Piacere della Logica. La Torre di Hanoi. Il Piacere della Logica. Prof. Ivano Coccorullo
La Torre di Hanoi Le Torri di Hanoi Il problema delle Torri di Hanoi deriva da una antica leggenda indiana che recita così: «nel grande tempio di Brahma a Benares, su di un piatto di ottone, sotto la cupola
DettagliLinguaggi di programmazione - Principi e paradigmi 2/ed Maurizio Gabbrielli, Simone Martini Copyright The McGraw-Hill Companies srl
Approfondimento 2.1 Non è questo il testo dove trattare esaurientemente queste tecniche semantiche. Ci accontenteremo di dare un semplice esempio delle tecniche basate sui sistemi di transizione per dare
DettagliEsercizi di logica. Ivan Valbusa 5 dicembre 2012
Esercizi di logica Ivan Valbusa 5 dicembre 2012 Gli esercizi proposti di seguito coprono solo una piccola parte del programma del corso. Sono mediamente più difficili di quelli presenti sul manuale di
DettagliCON L EUROPA INVESTIAMO NEL VOSTRO FUTURO Fondi Strutturali Europei Programmazione FSE PON "Competenze per lo sviluppo" Bando 2373
CON L EUROPA INVESTIAMO NEL VOSTRO FUTURO Fondi Strutturali Europei Programmazione 2007-2013 FSE PON "Competenze per lo sviluppo" Bando 2373 26/02/2013 Piano integrato 2013 Codice progetto: C-2-FSE-2013-313
DettagliAlgebra di Boole Algebra di Boole
1 L algebra dei calcolatori L algebra booleana è un particolare tipo di algebra in cui le variabili e le funzioni possono solo avere valori 0 e 1. Deriva il suo nome dal matematico inglese George Boole
DettagliDescrizione delle operazioni di calcolo. Espressioni costanti semplici
Descrizione delle operazioni di calcolo Come abbiamo detto l interprete è in grado di generare nuovi valori a partire da valori precedentemente acquisiti o generati. Il linguaggio di programmazione permette
DettagliCriteri di divisibilità
Criteri di divisibilità Criterio di divisibilità per 9. Supponiamo, ad esempio, di voler dividere 2365 palline a 9 persone. Sappiamo che per stabilire se un numero è divisibile per 9 occorre sommare tutte
DettagliValutazione Lazy. Prefazione alla lezione
Valutazione Lazy Aniello Murano Università degli Studi di Napoli Federico II 1 Prefazione alla lezione Nella lezione precedente abbiamo introdotto i linguaggi (funzionali) con tipi di ordine superiore.
DettagliAnno 2. Radicali algebrici e aritmetici: condizioni di esistenza
Anno 2 Radicali algebrici e aritmetici: condizioni di esistenza 1 Introduzione Perché studiare i radicali? In matematica ogni volta che facciamo un operazione dobbiamo anche vedere se è possibile tornare
DettagliMoltiplicazione. Divisione. Multipli e divisori
Addizione Sottrazione Potenze Moltiplicazione Divisione Multipli e divisori LE QUATTRO OPERAZIONI Una operazione aritmetica è quel procedimento che fa corrispondere ad una coppia ordinata di numeri (termini
DettagliCorso di Analisi Matematica Funzioni di una variabile
Corso di Analisi Matematica Funzioni di una variabile Laurea in Informatica e Comunicazione Digitale A.A. 2013/2014 Università di Bari ICD (Bari) Analisi Matematica 1 / 24 1 Generalità 2 Funzioni reali
DettagliSistemi lineari. Lorenzo Pareschi. Dipartimento di Matematica & Facoltá di Architettura Universitá di Ferrara
Sistemi lineari Lorenzo Pareschi Dipartimento di Matematica & Facoltá di Architettura Universitá di Ferrara http://utenti.unife.it/lorenzo.pareschi/ lorenzo.pareschi@unife.it Lorenzo Pareschi (Univ. Ferrara)
DettagliI.T.I.S. TRASFORMATA DI LAPLACE DIAGRAMMI DI BODE
I.T.I.S. APPUNTI DI ELETTRONICA TRASFORMATA DI LAPLACE E DIAGRAMMI DI BODE PREMESSA Per lo studio dei sistemi di controllo si utilizzano modelli matematici dinamici lineari. L analisi o il progetto di
DettagliConclusione? Verifica la proprietà commutativa per le altre operazioni.
Le proprietà delle operazioni.( teoria / esercizi pag. 15 24) Proprietà: Sono delle regole che permettono di svolgere dei calcoli più semplicemente. Operazioni: Tu conosci le operazioni numeriche:, 1)
Dettaglimisura. Adesso, ad un arbitrario punto P dello spazio associamo una terna di numeri reali x
4. Geometria di R 3. Questo paragrafo è molto simile al paragrafo : tratta infatti delle proprietà geometriche elementari dello spazio R 3. Per assegnare delle coordinate nello spazio, fissiamo innanzitutto
Dettagli