Quiz sui linguaggi regolari
|
|
|
- Luigina Fabiani
- 8 anni fa
- Visualizzazioni
Transcript
1 Fondamenti dell Informatica 1 semestre Quiz sui linguaggi regolari Prof. Giorgio Gambosi a.a Problema 1: Data l espressione regolare a, definita su {a, b}, descrivere il linguaggio corrispondente ed Problema 2: Data l espressione regolare (ab), definita su {a, b}, descrivere il linguaggio corrispondente ed Problema 3: Data l espressione regolare a(a+b) a, definita su {a, b}, descrivere il linguaggio corrispondente Problema 4: Data l espressione regolare (a + b) a(a + b), definita su {a, b}, descrivere il linguaggio corrispondente Problema 5: Data l espressione regolare (a(cd) a), definita su {a, b, c, d}, descrivere il linguaggio corrispondente Problema 6: Data l espressione regolare (a+b) ab, definita su {a, b}, descrivere il linguaggio corrispondente Problema 7: Data l espressione regolare (aa), definita su {a, b}, descrivere il linguaggio corrispondente ed Problema 8: Data l espressione regolare (a ba ba ), definita su {a, b}, descrivere il linguaggio corrispondente Problema 9: Data l espressione regolare a b, definita su {a, b}, descrivere il linguaggio corrispondente ed Problema 10: Data l espressione regolare (ba + a) (b + ba), definita su {a, b} fornire 1 stringa che non appartiene al linguaggio relativo. Problema 11: Data l espressione regolare a (b + aaa ) a, definita su {a, b} fornire 1 stringa che non appartiene al linguaggio relativo. Problema 12: Definire un espressione regolare che descriva l insieme delle stringhe su {0, 1} che contengono la sottostringa 000. Problema 13: Definire un espressione regolare che descriva l insieme delle stringhe su {0, 1} che non contengono la sottostringa 000. Problema 14: Definire un espressione regolare che descriva l insieme delle stringhe su {0, 1} che contengono la sottostringa 000, ma non come caratteri iniziali. Problema 15: Definire un espressione regolare che descriva l insieme delle stringhe su {0, 1} che contengono la sottostringa 000, ma non all inizio né alla fine. Problema 16: Definire un espressione regolare che descriva l insieme delle stringhe su {0, 1} che contengono esattamente tre caratteri 0 Problema 17: Definire un espressione regolare che descriva l insieme delle stringhe su {0, 1} che contengono al più tre caratteri 0 Problema 18: Definire un espressione regolare che descriva l insieme delle stringhe su {0, 1} che contengono almeno tre caratteri 0 Problema 19: Definire un espressione regolare che descriva l insieme delle stringhe su {0, 1} che inziano e terminano con due caratteri diversi. 1-1
2 Problema 20: Definire un espressione regolare che descriva l insieme delle stringhe su {0, 1} che contengono un numero dispari di 0 Problema 21: Definire un espressione regolare che descriva l insieme delle stringhe su {0, 1} che contengono un numero pari di 0 Problema 22: Definire un espressione regolare che descriva l insieme delle stringhe su {0,..., 9} che rappresentano interi divisibili per 5 Problema 23: Definire un espressione regolare che descriva l insieme delle stringhe su {a, b, c} che contengono un numero di caratteri a pari a 4k + 1, per qualche k 0. Problema 24: Definire un espressione regolare che descriva l insieme delle stringhe su {a, b, c} di lunghezza pari a 3k, per qualche k 0. Problema 25: Definire un espressione regolare che descriva l insieme delle stringhe su {a, b, c} contenenti un numero di caratteri c pari a 3k, per qualche k 0. Problema 26: Definire un espressione regolare che descriva l insieme delle stringhe su {a, b, c} contenenti 2 caratteri a o 3 caratteri b. Problema 27: Definire un espressione regolare che descriva l insieme delle stringhe su {a, b, c} contenenti 2 caratteri a e 3 caratteri b. Problema 28: Mostrare che le seguenti espressioni regolari definiscono linguaggi diversi. E 1 = ab + c, E 2 = (ab + c), E 3 = a(b + c) Problema 29: Definire espressioni regolari per i seguenti linguaggi sull alfabeto {a, b}. 1. Il linguaggio di tutte le stringhe che contengono almeno tre a. 2. Il linguaggio di tutte le stringhe che iniziano e terminano con lo stesso simbolo. 3. Il linguaggio di tutte le stringhe aventi sia ab che ba come sottostringhe. Problema 30: Per una qualunque stringa w = a 1a 2... a n, la stringa inversa w R di w è la stringa w in ordine inverso, a n... a 2 a 1. Per un qualunque linguaggio L, sia L R = {w R w L} il linguaggio composto dalle inverse delle stringhe in L. 1. Dimostrare che se L è regolare, anche L R è regolare. 2. Sia dato l alfabeto Σ 3 = { 0 0 0, 0 0 1, 0 1 0,..., Σ 3 contiene tutte le colonne di 3 elementi aventi valore 0 o 1. Una stringa di simboli di Σ 3 corrisponde a tre righe di 0 e 1. Si consideri ogni riga come un numero espresso in notazione binaria, e sia } B = {w Σ 3 la riga inferiore di w rappresenta la somma delle due righe superiori}. Mostrare che B è regolare. (Traccia: Usare il primo punto nel problema). Problema 31: Si considerino i linguaggi L 1 {0, 1}, comprendente tutte e sole le stringhe contenenti il simbolo 0 in ogni posizione pari ad un multiplo di 3 (0,3,6,9,...), ed L 2 {0, 1}, l insieme delle stringhe aventi almeno 3 caratteri. Mostrare che il linguaggio L = L 1 L 2 è regolare. Problema 32: Sia dato un linguaggio L Σ. Sia estraicarattere(l) il linguaggio composto da tutte le stringhe che possono essere ottenute eliminando un simbolo da una qualche stringa in L. Sia cioè estrai- Carattere(L) = {xz xaz L dove x, z Σ, a Σ}. Mostrare che la classe dei linguaggi regolari è chiusa rispetto all operazione estraicarattere. (Traccia: Dato l ASFD che riconosce L costruire un ASFND che riconosce estraicarattere(l)) Problema 33: Definire le espressioni regolari che descrivono i seguenti linguaggi. Si intende che l alfabeto è {0, 1}. 1. L 1 = {w w contiene la stringa 0101} 1-2
3 2. L 2 = {w w non contiene la stringa 100 come sottostringa} 3. L 3 = {w w inizia con 0 e ha lunghezza dispari, o inizia con 1 e ha lunghezza pari} 4. L 4 = {w w ha al più 5 caratteri} 5. L 1 = {w w ε} Problema 34: Siano r 1 e r 2 due espressioni regolari. Dimostrare se le seguenti proprietà sono vere o false: 1. L(r 1r 1) = L(r 1) 2. L((r 1 + r 2 ) r 1) = L((r 1 + r 2 ) ) 3. L((r 1 r 2 ) ) = L(r 1r 2) Problema 35: Siano r 1 e r 2 due espressioni regolari. Dimostrare se le seguenti proprietà sono vere o false: 1. L(r 1r 1) = L(r 1) 2. L((r 1 + r 2 ) r 1) = L((r 1 + r 2 ) ) 3. L((r 1 r 2 ) ) = L(r 1r 2) Problema 36: Siano r 1 e r 2 due espressioni regolari. Dimostrare se le seguenti proprietà sono vere o false: 1. (r 1r 2 + r 1) r 1r 2 = (r 1r 1r 2) 2. (r 1r 2 + r 1) r 1 = r 1(r 2r 1 + r 1) Problema 37: Usare il pumping lemma e le proprietà di chiusura della classe dei linguaggi regolari per mostrare che i seguenti linguaggi non sono regolari. 1. L 1 = {0 a 1 b 2 c 0 a b c} 2. L 2 = {a 2n n 0} 3. L 3 = {0 n2 n 0} 4. L 4 = {0 n 1 m 0 n m, n 0} 5. L 5 = {w {0, 1} non è palindroma } 6. L 6 = {a n b m n < l + 3, n, l 0} 7. L 7 = {wwww w {a, b} } 8. L 8 = {a n k = n, con n, k interi e n, k 1} Problema 38: Definire grammatiche regolari per i seguenti linguaggi 1. L 1 = L((ab aaab a) + (bba b)) 2. L 2 = {a n b m n + m = 2k, n, m, k 0} Problema 39: Sia Σ = {0, 1, +, =} e sia ADD = {x = y+z x, y, z sono interi in notazione binaria, e x è la somma di y, z}. Mostrare che ADD non è regolare. Problema 40: Sia L un linguaggio su {a, b} tale che per ogni stringa w L: 1. w non contiene coppie di a adiacenti 2. ogni b in w è adiacente ad un altra b 3. w è pari. Dimostrare che L è regolare. Problema 41:(Prova d esame del ). regolare. Dimostrare che il linguaggio L = {a n b m n m} non è Problema 42:(Prova d esame del ). Dimostrare che il linguaggio L = {a n b 2n } non è regolare. Problema 43:(Prova d esame del ). Illustrare come sia possibile verificare, date due espressioni regolari r 1 e r 2, se esse definiscono lo stesso linguaggio. Mostrare come tale proedimento possa essere applicato per verificare che a (ab + ba) b e a b(a + ab) b non definiscono uno stesso linguaggio. 1-3
4 Problema 44:(Prova d esame del ). Il linguaggio {a i b j i + j 4} è regolare? Dimostrare la propria risposta. Problema 45:(Prova d esame del ). Il linguaggio {a i b j i j 4} è regolare? Dimostrare la propria risposta. Problema 46:(Prova d esame del ). Dimostrare che le espressioni regolari r 1 = ab + c, r 2 = (ab + c), r 3 = a(b + c) descrivono linguaggi diversi. Problema 47:(Prova d esame del ). Sia dato l ASFND A con Σ = {0, 1}, Q = {q 0, q 1, q 2, q 3 }, F = {q 3 } e δ definita dalla tabella seguente: q 0 q 1 q 2 q 3 0 q 1 q 3 1 {q 1, q 2} q 3 ε {q 1, q 3 } Derivare una espressione regolare che descriva il linguaggio accettato da A Problema 48:(Prova d esame del ). Per ognuna delle seguenti proposizioni, dire se è vera o falsa, giustificando obbligatoriamente la risposta data. 1. Se L è un linguaggio regolare allora ogni L L è regolare 2. Se L e L sono linguaggi regolari allora L L è regolare appartiene al linguaggio 0 1(11) appartiene al linguaggio 0 1(11) 10 Problema 49:(Prova d esame del ). Dimostrare che il linguaggio L = {a i b j i < j} non è regolare. Problema 50:(Prova d esame dell ). Fornire le espressioni regolari che descrivono i seguenti linguaggi. 1. L = {a 2i i > 0} 2. L = {σ σ contiene esattamente 2 caratteri a} 3. L = {σ σ contiene un numero pari di caratteri a} 4. L = {σ σ contiene un numero dispari di caratteri a} Problema 51:(Prova d esame dell ). Sia dato l ASFD A con Σ = {0, 1}, Q = {q 0, q 1, q 2 }, F = {q 2 } e δ definita dalla tabella seguente: q 0 q 1 q 2 0 q 0 q 2 q 0 1 q 1 q 1 q 1 Derivare una espressione regolare che descriva il linguaggiol(a) riconosciuto dall automa. Problema 52:(Prova d esame dell ). Dimostrare che il linguaggio L = {a n b m c n n, m > 0} non è regolare. Problema 53:(Prova d esame del ). Sia dato il linguaggio L = {σ {a, b, c} #a(σ) = #b(σ) = #c(σ)}, dove #x(σ) indica il numero di caratteri x nella stringa σ. Il linguaggio L è regolare? Dimostrare la risposta data. Problema 54:(Prova d esame del ). Data l espressione regolare r = a(b + a), derivare un automa a stati finiti deterministico che riconosca il linguaggio L(r). Problema 55:(Prova d esonero del ). Si consideri il linguaggio L = {a r b s c t t = r s}. Dimostrare che questo linguaggio non è regolare. Problema 56:(Prova d esonero del ). Dimostrare che il seguente linguaggio è regolare L = {a k b j c i i, j, k > 0} dove k è dispari e i > 2, oppure j è dispari e i 3. Problema 57:(Prova d esonero del ). Si definisca una grammatica di tipo 3 che generi il linguaggio L = {x0y x {0, 1}, y {0, 1} 3 }. 1-4
5 Problema 58:(Prova d esonero del ). Sia dato il linguaggio Mostrare se L è regolare o meno. L = {w {a, b} w non è della forma vv} Problema 59:(Prova d esonero del ). Si definisca una grammatica di tipo 3 che generi il seguente linguaggio L = {a n b m c k n + m + k dispari} Problema 60:(Prova d esame del ). Definire una grammatica regolare che generi il seguente linguaggio L = {w {0, 1} : w non contiene la sottostringa 101} descrivendo e giustificando le scelte effettuate. Problema 61:(Prova d esame del ). Si determini se i linguaggi L = {a i b j c i i, j 1} e sono regolari. L = {a i b j c k i, j, k 0} Problema 62:(Prova d esame del ). Definire una grammatica di tipo 3, priva di simboli inutili, che generi il linguaggio descritto dall espressione regolare a bc + a(ab + c b) Problema 63:(Prova d esame del ). Si definisca una grammatica regolare che generi il linguaggio L composto da tutte le stringhe su Σ = {a, b} non contenenti la sequenza aba 1-5
Esercizi 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}
Sui Linguaggi Regolari: Teorema di Kleene - Pumping Lemm
Sui Linguaggi Regolari: Teorema di Kleene - Pumping Lemma N.Fanizzi - V.Carofiglio 6 aprile 2016 1 Teorema di Kleene 2 3 o 1 o 3 o 8 Teorema di Kleene Vale la seguente equivalenza: L 3 L FSL L REG Dimostrazione.
Fondamenti d Informatica: linguaggi formali. Barbara Re, Phd
Fondamenti d Informatica: linguaggi formali Barbara Re, Phd Agenda } Introdurremo } La nozione di linguaggio } Strumenti per definire un linguaggio } Espressioni Regolari 2 Linguaggio } Da un punto di
Verificare se una grammatica e LL(1) e costruirne la tabella di parsing. Verificare se una grammatica e LR(0) e costruirne la tabele ACTION e GOTO
ANALISI SINTATTICA TIPO 1: Data un linguaggio scrivere una grammatica che lo generi TIPO 2: Verificare se una grammatica non contestuale è ambigua TiPO 3: Verificare se una grammatica e LL(1) e costruirne
Esempio stringhe palindrome 1
Esempio stringhe palindrome 1 Automa per il riconoscimento del linguaggio L = {w c w R } A = < {s,f}, {a,b,c}, {a,b},!, s, { f } > con! che contiene le transizioni: 1. (( s, a, " ), (s, a)! [ push a] 2.
acuradi 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
Linguaggi 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
Informatica teorica Lez. n 7 Macchine di Turing. Macchine di Turing. Prof. Giorgio Ausiello Università di Roma La Sapienza
Macchine di Turing Argomenti della lezione Definizione della macchina di Turing Riconoscimento e accettazione di linguaggi Macchine a più nastri La macchina di Turing èun è automa che può leggere e scrivere
L intero è o il valore zero o una stringa di cifre che inizia con una cifra diversa sa zero.
ANALISI SINTATTICA Data un linguaggio scrivere una grammatica che lo generi ESERCIZIO 1 Definire una grammatica per il linguaggio L = {ww w appartiene a (a, b)*} ESERCIZIO 2 Dato l alfabeto T=[0,1,2,3,4,5,6,7,8,9,/}
Forme Normali. Forma normale di Chomsky. E caratterizzata da regole di due tipi. A! BC dove A, B, C $ V N A! a con a $ V T. Forma normale di Greibach
Forme Normali A partire da una grammatica Context-free G è sempre possibile costruire una grammatica equivalente G ovvero L(G) = L(G ) che abbiano le produzioni in forme particolari, dette forme normali.
Espressioni 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
Linguaggi 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
Esercizi di riepilogo (Fondamenti di Informatica 1 Walter Didimo)
Esercizi di riepilogo (Fondamenti di Informatica 1 Walter Didimo) Selezione di prove di esame al calcolatore Esercizio 1 (esame del 13/01/2006) La classe Matrice definisce oggetti che rappresentano matrici
Linguaggi Liberi dal Contesto. Linguaggi Liberi dal Contesto
rammatiche e Linguaggi Liberi da Contesto Abbiamo visto che molti linguaggi non sono regolari. Consideriamo allora una classe piu ampia di linguaggi, i Linguaggi Liberi da Contesto (CFL) i CFL sono stati
Informatica Teorica. Sezione Cremona + Como. Appello del 20 Luglio 2004
Informatica Teorica Sezione Cremona + Como Appello del 20 Luglio 2004 Coloro che recuperano la I prova risolvano gli esercizi e 2 tra quelli indicati qui sotto entro un ora. Coloro che recuperano la II
Algebra 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
Definire tramite una grammatica ad attributi il
1 ESERCIZI ESERCIZIO 1 Definire tramite una grammatica ad attributi il linguaggio L = {a n b n c n n 0} Implementare un analizzatore sintattico/ semantico a discesa ricorsiva Costruire le tabelle di analisi
Forma Normale di Chomsky
2. Eliminazione delle produzioni unitarie Forma Normale di Chomsky Una produzione si dice unitaria se è della forma A! B. Le produzioni unitarie in pratica consistono in una ridenominazione di variabili,
Esercizi di Algebra 2, C.S. in Matematica, a.a
26 Esercizi di Algebra 2, C.S. in Matematica, a.a.2008-09. Parte V. Anelli Nota. Salvo contrario avviso il termine anello sta per anello commutativo con identità. Es. 154. Provare che per ogni intero n
Espressività e limitazioni delle grammatiche regolari
Espressività e limitazioni delle grammatiche regolari Vantaggi: Le grammatiche regolari consentono di esprimere una significativa classe di linguaggi: linguaggi con un numero di sequenze infinito grazie
GRAMMATICHE DEI LINGUAGGI DI PROGRAMMAZIONE. Cosimo Laneve
GRAMMATICHE DEI LINGUAGGI DI PROGRAMMAZIONE Cosimo Laneve 1 argomenti 1. linguaggi di programmazione 2. definizione formale di insiemi infiniti 3. la grammatica e la notazione BNF 4. notazioni alternative
NOZIONI DI LOGICA PROPOSIZIONI.
NOZIONI DI LOGICA PROPOSIZIONI. Una proposizione è un affermazione che è vera o falsa, ma non può essere contemporaneamente vera e falsa. ESEMPI Sono proposizioni : 7 è maggiore di 2 Londra è la capitale
Proprieta 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.
Fondamenti d Informatica: Le Macchine di Turing. Barbara Re, Phd
Fondamenti d Informatica: Le Macchine di Turing Barbara Re, Phd Esercizio 1 } Consideriamo una MdT che modifica una sequenza di A rimpiazzando ogni A in posizione dispari con una B (la prima A ha posizione
I monomi Prof. Walter Pugliese
I monomi Prof. Walter Pugliese I monomi Def.: Il monomio è un espressione letterale in cui compaiono soltanto moltiplicazioni tra numeri e lettere. Gli esponenti delle lettere sono numeri naturali. Esempi:
Insiemi, Numeri, Terminologia. Prof. Simone Sbaraglia
Insiemi, Numeri, Terminologia Prof. Simone Sbaraglia Corso Rapido di Logica Matematica La logica formale definisce le regole cui deve obbedire qualsiasi teoria deduttiva. Una proposizione e` una affermazione
Esercizi di Matematica per la prova di ammissione alla Scuola Galileiana /16
Esercizi di Matematica per la prova di ammissione alla Scuola Galileiana - 015/16 Esercizio 1 Per quali valori n Z \ {0} l espressione è un numero intero positivo? (n + 5)(n + 6) 6n Soluzione. Il problema
RETTE E PIANI NELLO SPAZIO
VETTORI E GEOMETRIA ANALITICA 1 RETTE E PIANI NELLO SPAZIO Rette e piani in forma cartesiana e parametrica. Parallelismo e perpendicolarità, posizioni reciproche tra rette e piani, distanze. Esercizio
Reti Logiche 1. Prof. B. Buttarazzi A.A. 2009/2010. Reti Sequenziali
Reti Logiche Prof. B. Buttarazzi A.A. 29/2 Reti Sequenziali Sommario Analisi di Reti Sequenziali Sintesi di Reti Sequenziali Esercizi 3/6/2 Corso di Reti Logiche 29/ 2 Analisi di Reti Sequenziali Passare
Algebra di Boole. Andrea Passerini Informatica. Algebra di Boole
Andrea Passerini [email protected] 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
Elementi finiti solidi
Esercitazioni del corso di Costruzione di Macchine 2 e Progettazione FEM a cura dell ing. Francesco Villa Elementi finiti solidi Costruzione di Macchine 2 e Progettazione FEM Prof. Sergio Baragetti Dalmine
M.P. Cavaliere ELEMENTI DI MATEMATICA E LOGICA MATEMATICA DISCRETA INSIEMI
M.P. Cavaliere ELEMENTI DI MATEMATICA E LOGICA MATEMATICA DISCRETA INSIEMI Assumiamo come primitivo il concetto di insieme e quello di appartenenza di un elemento a un insieme. La notazione x A indica
Logica proposizionale
Definire un linguaggio formale Logica proposizionale Sandro Zucchi 2013-14 Definiamo un linguaggio formale LP (che appartiene a una classe di linguaggi detti linguaggi della logica proposizionale) Per
Informatica/ Ing. Meccanica/ Edile/ Prof. Verdicchio/ 30/06/2016/ Foglio delle domande / VERSIONE 1
Informatica/ Ing. Meccanica/ Edile/ Prof. Verdicchio/ 30/06/2016/ Foglio delle domande/ VERSIONE 1 1) In Python, se scrivo v = [ ] in un programma, vuol dire che a) v è un quadrato b) v è un insieme vuoto
1 Combinazioni lineari.
Geometria Lingotto LeLing5: Spazi Vettoriali Ārgomenti svolti: Combinazioni lineari Sistemi lineari e combinazioni lineari Definizione di spazio vettoriale Ēsercizi consigliati: Geoling 6, Geoling 7 Combinazioni
Funzioni booleane. Vitoantonio Bevilacqua.
Funzioni booleane Vitoantonio Bevilacqua [email protected] Sommario. Il presente paragrafo si riferisce alle lezioni del corso di Fondamenti di Informatica e Laboratorio di Informatica dei giorni 9
Algebra 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
Vettori e matrici. Lorenzo Pareschi. Dipartimento di Matematica & Facoltá di Architettura Universitá di Ferrara
Vettori e matrici Lorenzo Pareschi Dipartimento di Matematica & Facoltá di Architettura Universitá di Ferrara http://utentiunifeit/lorenzopareschi/ lorenzopareschi@unifeit Lorenzo Pareschi Univ Ferrara
MATEMATICA DEL DISCRETO (Informatica) Docenti BONZINI e TURRINI esercizi di preparazione alla prova di metà corso
MATEMATICA DEL DISCRETO (Informatica) Docenti BONZINI e TURRINI esercizi di preparazione alla prova di metà corso NOTA - Negli esercizi che seguono verranno adottate le seguenti notazioni: il simbolo Z
Le 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
MATRICI. 1. Esercizi
MATICI Esercizio Siano A = 0, B = Esercizi 2, C = 0 2 2 Calcolare: a2a B; b3a + 2B 4C; c 2A + B + 2C 2B; d3b + 2(2A C (A + B + 2C isolvere, se possibile: ( 3X + 2(A X + B + 2(C + 2X = 0; (2 4A + 2(B +
Fondamenti di Informatica 6. Algoritmi e pseudocodifica
Vettori e matrici #1 Fondamenti di Informatica 6. Algoritmi e pseudocodifica Corso di Laurea in Ingegneria Civile A.A. 2010-2011 1 Semestre Prof. Giovanni Pascoschi Le variabili definite come coppie
AUTOMA A STATI FINITI
Gli Automi Un Automa è un dispositivo, o un suo modello in forma di macchina sequenziale, creato per eseguire un particolare compito, che può trovarsi in diverse configurazioni più o meno complesse caratterizzate
Chi non risolve esercizi non impara la matematica.
. esercizi 85 Esercizio 50. Senza utilizzare la calcolatrice, calcola il prodotto 8. Soluzione. 8 = 0 )0 + ) = 0 = 900 = 896 Espressioni con i prodotti notevoli Esercizio 5. Calcola l espressione + ) +
Fondamenti di informatica Esercizi Svolti Macchine di Turing. Realizzati da: Roberto Quaranta Matr
Fondamenti di informatica Esercizi Svolti Macchine di Turing Realizzati da: Roberto Quaranta Matr. 449028 Macchina di Turing che calcola la funzione Max(x, y) Q= {q 0, q 1, q 2, q 3, q 4, q 5, q 6,q F
Corso di Geometria BIAR, BSIR Esercizi 2: soluzioni
Corso di Geometria 2- BIAR, BSIR Esercizi 2: soluzioni Esercizio Calcolare il determinante della matrice 2 3 : 3 2 a) con lo sviluppo lungo la prima riga, b) con lo sviluppo lungo la terza colonna, c)
Automi Automi finiti: macchine a stati su sistemi di transizioni finiti Modellare con TS e specificare con automi: si usa lo stesso tipo di
Automi Automi finiti: macchine a stati su sistemi di transizioni finiti Modellare con TS e specificare con automi: si usa lo stesso tipo di rappresentazione per descrivere programmi e specifiche. ω-automi:
Algebra 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
Foglio Elettronico Lezione 1
- Introduzione - Celle e riferimenti - Formule - Approfondimenti - Funzioni logiche Sommario Introduzione - Foglio elettronico o foglio di calcolo - Cos'è? Strumento per raccogliere dati organizzati in
04 - Logica delle dimostrazioni
Università degli Studi di Palermo Facoltà di Economia CdS Sviluppo Economico e Cooperazione Internazionale Appunti del corso di Matematica 04 - Logica delle dimostrazioni Anno Accademico 013/014 D. Provenzano,
Macchina di Turing Universale
Informatica Teorica 2010/2011 M.Di Ianni Macchina di Turing Universale Vogliamo definire una macchina di Turing U che, presi in input la descrizione di una macchina di Turing ad un nastro T ed un input
Anno 1. Teoria degli insiemi: definizioni principali
Anno 1 Teoria degli insiemi: definizioni principali 1 Introduzione In questa lezione introdurremo gli elementi base della teoria degli insiemi. I matematici hanno costruito una vera e propria Teoria degli
1 Relazioni. Definizione Una relazione R su un insieme A si dice relazione d ordine se gode delle proprietà 1), 3), 4).
1 Relazioni 1. definizione di relazione; 2. definizione di relazione di equivalenza; 3. definizione di relazione d ordine Definizione Una corrispondenza tra due insiemi A e B è un sottoinsieme R del prodotto
LEZIONE 3. a + b + 2c + e = 1 b + d + g = 0 3b + f + 3g = 2. a b c d e f g
LEZIONE 3 3.. Matrici fortemente ridotte per righe. Nella precedente lezione abbiamo introdotto la nozione di soluzione di un sistema di equazioni lineari. In questa lezione ci poniamo il problema di descrivere
Lezione 3 - Teoria dei Numeri
Lezione 3 - Teoria dei Numeri Problema 1 Trovare il più piccolo multiplo di 15 formato dalle sole cifre 0 e 8 (in base 10). Il numero cercato dev'essere divisibile per 3 e per 5 quindi l'ultima cifra deve
Linguaggio della Matematica
Linguaggio della Matematica concetti primitivi: elementi fondamentali di natura intuitiva (punto, retta, insieme, elemento di un insieme,...). assiomi: enunciati, proposizioni vere a priori (gli assiomi
Macchine RAM. API a.a. 2013/2014 Gennaio 27, 2014 Flavio Mutti, PhD
Macchine RAM API a.a. 2013/2014 Gennaio 27, 2014 Flavio Mutti, PhD 2 Macchina RAM 3 Esercizio Si consideri il linguaggio definito da: L = wcw R w a, b } 1. Codificare un programma RAM per il riconoscimento
Descrizione 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
9.4 Esercizi. Sezione 9.4. Esercizi 253
Sezione 9.. Esercizi 5 9. Esercizi 9..1 Esercizi dei singoli paragrafi 9.1 - Espressioni letterali e valori numerici 9.1. Esprimi con una formula l area della superficie della zona colorata della figura
AMBIENTE EXCEL CALCOLO DEL RESTO DELLA DIVISIONE FRA NATURALI
AMBIENTE EXCEL CALCOLO DEL RESTO DELLA DIVISIONE FRA NATURALI Costruisci un foglio di lavoro che calcoli il resto r della divisione tra a e b (con a, b N e b 0) ed emetta uno dei seguenti messaggi : a
Linguaggio della Matematica
Linguaggio della Matematica concetti primitivi: elementi fondamentali di natura intuitiva (punto, retta, insieme, elemento di un insieme,...). assiomi: enunciati, proposizioni vere a priori (gli assiomi
C.L. Informatica, M-Z Bari, 12 Gennaio 2016 Traccia: 1
Bari, 2 Gennaio 206 Traccia: Esercizio. Scrivere la definizione di funzione suriettiva. Dimostrare che la composizione di due funzioni suriettive è una funzione suriettiva. Esercizio 2. () Stabilire se
Frazioni. 8 Esercizi di Analisi Matematica Versione Argomenti: Operazioni sulle frazioni Tempo richiesto: Completare la seguente tabella: a b
8 Esercizi di Analisi Matematica ersione 2006 razioni Argomenti: Operazioni sulle frazioni Difficoltà: Tempo richiesto: Completare la seguente tabella: a b a + b a b 1/3 1/2 1/3 1/2 1/3 1/2 a b a a + b
