Fondamenti di Programmazione Recupero Primo Parziale 30 Gennaio 2008 Traccia A

Transcript

1 Fondamenti di Programmazione Recupero Primo Parziale 30 Gennaio 2008 Traccia A Cognome: Nome: Corso di Laurea N. Matricola: Giorno non preferito per l orale (Matematici) Giorno non preferito per l orale (Informatici) 7 feb 8 feb 11 feb 12 feb 13 feb 14 feb 15 feb Esercizio1 (Informatici e Matematici) Dare una grammatica libera dal contesto per il linguaggio di tutte le stringhe sull'alfabeto {a, 0, 1, 2, 3,4,5, &, %, # } che mostrano le seguenti caratteristiche: cominciano e terminano con almeno una 0. possono comparire zero o piu sottostringhe di a, di lunghezza al piu 5, seguite dalla cifra corrispondente la lunghezza della sottostringa stessa (per esempio aaa3) possono esserci sottostringhe di qualsiasi lunghezza sul sottoalfabeto {&, %, # } Ad esempio le seguenti stringhe appartengo al linguaggio L: & % & & % & % & % #& aa2 % & % & a1 & % & aa2 aaaaa5 % # aaa3 & % & & % & aa2 % aa20 Mostrare, scrivendo l albero di derivazione, che la stringa 0 aaa3 a1 aaaa4 & % # & a1 % aaa3 0 può essere generata, a partire dal simbolo iniziale, dalla grammatica da voi definita. Esercizio2 (Informatici) Si supponga di estendere la sintassi dei comandi con la nuova produzione: Com ::= loop_on Exp;Exp do odd Com even Com no_loop la cui semantica informale è descritta come segue: il comando loop_on E1;E2 do odd C1 even C2 no_loop viene ripetuto finchè l'espressione E1, di tipo naturale, è maggiore di E2. Ad ogni iterazione del ciclo viene eseguito il comando C1 o il comando C2 a seconda che il valore di E1+E2 sia rispettivamente dispari o pari. Si dia la semantica del nuovo comando. Esercizio3 (Matematici e Informatici) Dire se i due comandi sono equivalenti. Dimostrare l affermazione. C1: if y-x>1 then y:=x+1 else null; C2: while y-x>1 do y:=y -1 endw; Esercizio4 (Matematici) Data la grammatica libera dal contesto G: S ::= ab ac B ::= b bb C ::= c cb cc dire se G è ambigua. Argomentare la risposta. Regole di Semantica Operazionale del +/- Pascal (stato semplice) Da poter usare per questa parte sono quelle sulla dispensa Semantica Operazionale Barbuti, Bancarella e Montangero pagine: 22, 25, 26, 27, 28.

2 Esercizio 5 (Informatici e Matematici) Dato il seguente programma +-Java, si calcolino: a) lo stato risultante dopo l esecuzione delle righe 1-54; b) lo stato risultante dopo l esecuzione delle righe 1-63; c) lo stato risultante dopo l esecuzione delle righe 1-74; d) lo stato risultante dopo l esecuzione di tutto il programma; si mostri la derivazione di valutazione del comando di riga 75 nello stato calcolato al punto c) (NB: il comando di riga 75 termina alla riga 83). In particolare dettagliare la chiamata del metodo Fondamenti.setAula(1);. 1. class Aula { 2. private int nome; 3. private int numposti; 4. private boolean disponibile ; public Aula(int n){ 7. this.nome=n; 8. this.numposti=0 ; 9. this.disponibile=true ; 10. } 11. public void setcapienza (int n){ 12. this.numposti=n ; 13. } 14. public void setdisponib (boolean d){ 15. this.disponibile=d ; 16. } 17. public int getcapienza (){ 18. return this.numposti; 19. } 20. public boolean getdisponib (){ 21. return this.disponibile; 22. } 23. } class Esame { 26. private int codice; 27. private int aula ; 28. private int aula2; 29. private int partecipanti; public Esame (int cod) { 32. this.codice = cod; 33. this.aula = 0; 34. this.aula2=0; 35. this.partecipanti = 0 ; 36. } 37. public void setaula (int a){ 38. boolean aula_status= (this.aula = = 0); 39. if (aula_status) this.aula=a; 40. } 41. public void setaula2 (int a){ 42. this.aula2=a ; 43. } 44. public void addpartecipanti (int n){ 45. this.partecipanti= this.partecipanti+n ; 46. } 47. public int getaula (){ 48. return this.aula; 49. } 50. public int getpartecipanti (){ 51. return this.partecipanti; 52. } 53. }

3 public class Program { 56. public static void main(string[] foo) { 57. int p = 30; 58. Aula AulaMagna =new Aula(1); 59. Aula UnoSette = new Aula(17); 60. Aula UnoSei = new Aula(16); 61. Esame Fondamenti = new Esame(0001); 62. Esame SistemiOperativi = new Esame(0056); AulaMagna.setCapienza(105); 65. UnoSette.setCapienza(70); 66. UnoSei.setCapienza(50); 67. Fondamenti.addPartecipanti(p*2); 68. SistemiOperativi.addPartecipanti(p); 69. while (p> 0) { 70. Fondamenti.addPartecipanti(2); 71. SistemiOperativi.addPartecipanti(1); 72. p = p - 1; 73. } if (Fondamenti.getPartecipanti()<=AulaMagna.getCapienza()) 76. {Fondamenti.setAula(1); 77. AulaMagna.setDisponib (false); 78. } 79. else {Fondamenti.setAula(1); 80. Fondamenti.setAula2(16); 81. AulaMagna.setDisponib (false); 82. UnoSei.setDisponib(false); 83. } if (SistemiOperativi.getPartecipanti()<= UnoSette.getCapienza()) { 86. SistemiOperativi.setAula(17); 87. UnoSette.setDisponib(false); 88. } 89. else if (UnoSei.getDisponib()) { 90. SistemiOperativi.setAula(17); 91. SistemiOperativi.setAula2(16); 92. UnoSette.setDisponib (false); 93. UnoSei.setDisponib(false); 94. } 95. } 96. }

4 Fondamenti di Programmazione Recupero Primo Parziale 30 Gennaio 2008 Traccia B Cognome: Nome: Corso di Laurea N. Matricola: Giorno non preferito per l orale (Matematici) Giorno non preferito per l orale (Informatici) 7 feb 8 feb 11 feb 12 feb 13 feb 14 feb 15 feb Esercizio1 (Informatici e Matematici) Dare una grammatica libera dal contesto per il linguaggio L di tutte le stringhe sull'alfabeto {a, 0, 1, 2, 3, 4, 5, &, %, #} che mostrano le seguenti caratteristiche: cominciano e terminano con almeno uno 0. ogni volta che compare una cifra maggiore di zero, questa deve essere seguita da altrettante a (per esempio 3aaa) possono esserci sottostringhe di qualsiasi lunghezza sul sottoalfabeto {&, %, # } Ad esempio le seguenti stringhe appartengo al linguaggio L: & % # % & % # # & 2aa % & % & 1a & # & 2aa 5aaaaa % aaa & % & & % & 2aa % 2aa0 Mostrare, scrivendo l albero di derivazione, che la stringa 0 3aaa 1a 4aaaa & % & 2aa& % & 1a % 0 può essere generata, a partire dal simbolo iniziale, dalla grammatica da voi definita. Esercizio2 (Informatici) Si supponga di estendere la sintassi dei comandi con la nuova produzione: Com ::= loop_on Exp;Exp do odd Com even Com no_loop la cui semantica informale è descritta come segue: il comando loop_on E1;E2 do odd C1 even C2 no_loop viene ripetuto finchè l'espressione E1, di tipo naturale, è maggiore di E2. Ad ogni iterazione del ciclo viene eseguito il comando C1 o il comando C2 a seconda che il valore di E1-E2 sia rispettivamente dispari o pari. Si dia la semantica del nuovo comando. Esercizio3 (Matematici e Informatici) Dire se i due comandi sono equivalenti. Dimostrare l affermazione. C1: if k-x>z then k:=z+1 else null; C2: while k-x>z do k:=k - 1 endw; Esercizio4 (Matematici) Data la grammatica libera dal contesto G: S ::= ac ab B ::= b bb A ::= a aa abc C ::= c ca cc dire se G è ambigua. Argomentare la risposta. Regole di Semantica Operazionale del +/- Pascal (stato semplice) Da poter usare per questa parte sono quelle sulla dispensa Semantica Operazionale Barbuti, Bancarella e Montangero pagine: 22, 25, 26, 27, 28.

5 Esercizio 5 (Informatici e Matematici) Dato il seguente programma +-Java, si calcolino: e) lo stato risultante dopo l esecuzione delle righe 1-54; f) lo stato risultante dopo l esecuzione delle righe 1-63; g) lo stato risultante dopo l esecuzione delle righe 1-84; h) lo stato risultante dopo l esecuzione di tutto il programma; si mostri la derivazione di valutazione del comando di riga 85 nello stato calcolato al punto c) (NB: il comando di riga 85 termina alla riga 94). In particolare dettagliare la chiamata del metodo SistemiOperativi.setAula(17);. 1. class Aula { 2. private int nome; 3. private int numposti; 4. private boolean disponibile ; public Aula(int n){ 7. this.nome=n; 8. this.numposti=0 ; 9. this.disponibile=true ; 10. } 11. public void setcapienza (int n){ 12. this.numposti=n ; 13. } 14. public void setdisponib (boolean d){ 15. this.disponibile=d ; 16. } 17. public int getcapienza (){ 18. return this.numposti; 19. } 20. public boolean getdisponib (){ 21. return this.disponibile; 22. } 23. } class Esame { 26. private int codice; 27. private int aula ; 28. private int aula2; 29. private int partecipanti; public Esame (int cod) { 32. this.codice = cod; 33. this.aula = 0; 34. this.aula2=0; 35. this.partecipanti = 0 ; 36. } 37. public void setaula (int a){ 38. boolean aula_status= (this.aula = = 0); 39. if (aula_status) this.aula=a; 40. } 41. public void setaula2 (int a){ 42. this.aula2=a ; 43. } 44. public void addpartecipanti (int n){ 45. this.partecipanti= this.partecipanti+n ; 46. } 47. public int getaula (){ 48. return this.aula; 49. } 50. public int getpartecipanti (){ 51. return this.partecipanti; 52. } 53. }

6 public class Program { 56. public static void main(string[] foo) { 57. int p = 30; 58. Aula AulaMagna =new Aula(1); 59. Aula UnoSette = new Aula(17); 60. Aula UnoSei = new Aula(16); 61. Esame Fondamenti = new Esame(0001); 62. Esame SistemiOperativi = new Esame(0056); AulaMagna.setCapienza(105); 65. UnoSette.setCapienza(70); 66. UnoSei.setCapienza(50); 67. Fondamenti.addPartecipanti(p*2); 68. SistemiOperativi.addPartecipanti(p); 69. while (p> 0) { 70. Fondamenti.addPartecipanti(2); 71. SistemiOperativi.addPartecipanti(1); 72. p = p - 1; 73. } if (Fondamenti.getPartecipanti()<=AulaMagna.getCapienza()) 76. {Fondamenti.setAula(1); 77. AulaMagna.setDisponib (false); 78. } 79. else {Fondamenti.setAula(1); 80. Fondamenti.setAula2(16); 81. AulaMagna.setDisponib (false); 82. UnoSei.setDisponib(false); 83. } if (SistemiOperativi.getPartecipanti()<= UnoSette.getCapienza()) { 86. SistemiOperativi.setAula(17); 87. UnoSette.setDisponib(false); 88. } 89. else if (UnoSei.getDisponib()) { 90. SistemiOperativi.setAula(17); 91. SistemiOperativi.setAula2(16); 92. UnoSette.setDisponib (false); 93. UnoSei.setDisponib(false); 94. } 95. } 96. }

7 Fondamenti di Programmazione Recupero Primo Parziale 30 Gennaio 2008 Traccia C Cognome: Nome: Corso di Laurea N. Matricola: Giorno non preferito per l orale (Matematici) Giorno non preferito per l orale (Informatici) 7 feb 8 feb 11 feb 12 feb 13 feb 14 feb 15 feb Esercizio1 (Informatici e Matematici) Dare una grammatica libera dal contesto per il linguaggio L di tutte le stringhe sull'alfabeto {a, 1, 2, 3, 4, 5, &, %, #, $} che mostrano le seguenti caratteristiche: cominciano e terminano con almeno una a. ogni volta che compare una cifra, questa deve essere seguita da altrettanti $ (per esempio 3$$$) possono esserci sottostringhe di qualsiasi lunghezza sul sottoalfabeto {&, %, # } Ad esempio le seguenti stringhe appartengo al linguaggio L: 11. aa 12. a & % & # & % a 13. a & % & & % & 2$$ % a 14. a 3$$$ & % & # & % & 2$$ % 2$$ a Mostrare, scrivendo l albero di derivazione, che la stringa a 3$$$ 1$ # & % & 2$$ # 1$ % 3$$$ a può essere generata, a partire dal simbolo iniziale, dalla grammatica da voi definita. Esercizio2 (Informatici) Si supponga di estendere la sintassi dei comandi di + Pascal con la nuova produzione: Com ::= loop_on Exp do odd Com even Com no_loop la cui semantica informale è descritta come segue: il comando loop_on E do odd C1 even C2 no_loop viene ripetuto finchè l'espressione E, di tipo naturale, è maggiore di 0. Ad ogni iterazione del ciclo viene eseguito il comando C1 o il comando C2 a seconda che il valore di E sia rispettivamente dispari o pari. Si dia la semantica del nuovo comando. Esercizio3 (Matematici e Informatici) Dire se i due comandi + Pascal sono equivalenti. Dimostrare l affermazione. C1: if k-x>1 then k:=x+1 else null; C2: while k-x>1 do k:=x-1 endw; Esercizio4 (Matematici) Data la grammatica libera dal contesto G: S ::= aa ab A ::= c cab cc B ::= b bb dire se G è ambigua. Argomentare la risposta. Regole di Semantica Operazionale del +/- Pascal (stato semplice) Da poter usare per questa parte sono quelle sulla dispensa Semantica Operazionale Barbuti, Bancarella e Montangero pagine: 22, 25, 26, 27, 28.

8 Esercizio 5 (Informatici e Matematici) Dato il seguente programma +-Java, si calcolino: i) lo stato risultante dopo l esecuzione delle righe 1-54; j) lo stato risultante dopo l esecuzione delle righe 1-63; k) lo stato risultante dopo l esecuzione delle righe 1-74; l) lo stato risultante dopo l esecuzione di tutto il programma; si mostri la derivazione di valutazione del comando di riga 75 nello stato calcolato al punto c) (NB: il comando di riga 75 termina alla riga 83). In particolare dettagliare la chiamata del metodo Fondamenti.setAula(1);. 1. class Aula { 2. private int nome; 3. private int numposti; 4. private boolean disponibile ; public Aula(int n){ 7. this.nome=n; 8. this.numposti=0 ; 9. this.disponibile=true ; 10. } 11. public void setcapienza (int n){ 12. this.numposti=n ; 13. } 14. public void setdisponib (boolean d){ 15. this.disponibile=d ; 16. } 17. public int getcapienza (){ 18. return this.numposti; 19. } 20. public boolean getdisponib (){ 21. return this.disponibile; 22. } 23. } class Esame { 26. private int codice; 27. private int aula ; 28. private int aula2; 29. private int partecipanti; public Esame (int cod) { 32. this.codice = cod; 33. this.aula = 0; 34. this.aula2=0; 35. this.partecipanti = 0 ; 36. } 37. public void setaula (int a){ 38. boolean aula_status= (this.aula = = 0); 39. if (aula_status) this.aula=a; 40. } 41. public void setaula2 (int a){ 42. this.aula2=a ; 43. } 44. public void addpartecipanti (int n){ 45. this.partecipanti= this.partecipanti+n ; 46. } 47. public int getaula (){ 48. return this.aula; 49. } 50. public int getpartecipanti (){ 51. return this.partecipanti; 52. } 53. }

9 public class Program { 56. public static void main(string[] foo) { 57. int p = 30; 58. Aula AulaMagna =new Aula(1); 59. Aula UnoSette = new Aula(17); 60. Aula UnoSei = new Aula(16); 61. Esame Fondamenti = new Esame(0001); 62. Esame SistemiOperativi = new Esame(0056); AulaMagna.setCapienza(105); 65. UnoSette.setCapienza(70); 66. UnoSei.setCapienza(50); 67. Fondamenti.addPartecipanti(p*2); 68. SistemiOperativi.addPartecipanti(p*2); 69. while (p> 0) { 70. Fondamenti.addPartecipanti(2); 71. SistemiOperativi.addPartecipanti(1); 72. p = p - 2; 73. } if (Fondamenti.getPartecipanti()<=AulaMagna.getCapienza()) 76. {Fondamenti.setAula(1); 77. AulaMagna.setDisponib (false); 78. } 79. else {Fondamenti.setAula(1); 80. Fondamenti.setAula2(16); 81. AulaMagna.setDisponib (false); 82. UnoSei.setDisponib(false); 83. } if (SistemiOperativi.getPartecipanti()<= UnoSette.getCapienza()) { 86. SistemiOperativi.setAula(17); 87. UnoSette.setDisponib(false); 88. } 89. else if (UnoSei.getDisponib()) { 90. SistemiOperativi.setAula(17); 91. SistemiOperativi.setAula2(16); 92. UnoSette.setDisponib (false); 93. UnoSei.setDisponib(false); 94. } 95. } 96. }

10 Fondamenti di Programmazione Recupero Primo Parziale 30 Gennaio 2008 Traccia D Cognome: Nome: Corso di Laurea N. Matricola: Giorno non preferito per l orale (Matematici) Giorno non preferito per l orale (Informatici) 7 feb 8 feb 11 feb 12 feb 13 feb 14 feb 15 feb Esercizio1 (Informatici e Matematici) Dare una grammatica libera dal contesto per il linguaggio di tutte le stringhe sull'alfabeto {b,$, 1, 2, 3,4,5, &, %, # } che mostrano le seguenti caratteristiche: cominciano e terminano con almeno una $. possono comparire zero o piu sottostringhe di b, di lunghezza al più 5, seguite dalla cifra corrispondente la lunghezza della sottostringa stessa (per esempio bbb3) possono esserci sottostringhe di qualsiasi lunghezza sul sottoalfabeto {&, %, # } Ad esempio le seguenti stringhe appartengo al linguaggio L: 15. $$ 16. $ & % & # & % $ 17. $ & % & & % & bb2 % $ 18. $ bbb3 & # & % & bb2 % bb2$ b)mostrare, scrivendo l albero di derivazione, che la stringa $ bbb3 b1 bbbb4 & % # & b1 % bbb3 $ può essere generata, a partire dal simbolo iniziale, dalla grammatica da voi definita. Esercizio2 (Informatici) Si supponga di estendere la sintassi dei comandi con la nuova produzione: Com ::= loop_on Exp do multiple5 Com else Com no_loop la cui semantica informale è descritta come segue: il comando loop_on E do multiple5 C1 else C2 no_loop viene ripetuto finchè l'espressione E, di tipo naturale, è maggiore di 0. Ad ogni iterazione del ciclo viene eseguito il comando C1 o il comando C2 a seconda che il valore di E sia rispettivamente multiplo di 5 o non multiplo di 5. Si dia la semantica del nuovo comando. Esercizio3 (Matematici e Informatici) Dire se i due comandi sono equivalenti. Dimostrare l affermazione. C1: if k-x>y then k:=x+y else null; C2: while k-x>y do k:=k -1 endw; Esercizio4 (Matematici) Data la grammatica libera dal contesto G: S ::= aa ac B ::= b bb A ::= a aa ab C ::= c ca cc dire se G è ambigua. Argomentare la risposta. Regole di Semantica Operazionale del +/- Pascal (stato semplice) Da poter usare per questa parte sono quelle sulla dispensa Semantica Operazionale Barbuti, Bancarella e Montangero pagine: 22, 25, 26, 27, 28.

11 Esercizio 5 (Informatici e Matematici) Dato il seguente programma +-Java, si calcolino: m) lo stato risultante dopo l esecuzione delle righe 1-54; n) lo stato risultante dopo l esecuzione delle righe 1-63; o) lo stato risultante dopo l esecuzione delle righe 1-84; p) lo stato risultante dopo l esecuzione di tutto il programma; si mostri la derivazione di valutazione del comando di riga 85 nello stato calcolato al punto c) (NB: il comando di riga 85 termina alla riga 94). In particolare dettagliare la chiamata del metodo SistemiOperativi.setAula(17);. 1. class Aula { 2. private int nome; 3. private int numposti; 4. private boolean disponibile ; public Aula(int n){ 7. this.nome=n; 8. this.numposti=0 ; 9. this.disponibile=true ; 10. } 11. public void setcapienza (int n){ 12. this.numposti=n ; 13. } 14. public void setdisponib (boolean d){ 15. this.disponibile=d ; 16. } 17. public int getcapienza (){ 18. return this.numposti; 19. } 20. public boolean getdisponib (){ 21. return this.disponibile; 22. } 23. } class Esame { 26. private int codice; 27. private int aula ; 28. private int aula2; 29. private int partecipanti; public Esame (int cod) { 32. this.codice = cod; 33. this.aula = 0; 34. this.aula2=0; 35. this.partecipanti = 0 ; 36. } 37. public void setaula (int a){ 38. boolean aula_status= (this.aula = = 0); 39. if (aula_status) this.aula=a; 40. } 41. public void setaula2 (int a){ 42. this.aula2=a ; 43. } 44. public void addpartecipanti (int n){ 45. this.partecipanti= this.partecipanti+n ; 46. } 47. public int getaula (){ 48. return this.aula; 49. } 50. public int getpartecipanti (){ 51. return this.partecipanti; 52. } 53. }

12 public class Program { 56. public static void main(string[] foo) { 57. int p = 30; 58. Aula AulaMagna =new Aula(1); 59. Aula UnoSette = new Aula(17); 60. Aula UnoSei = new Aula(16); 61. Esame Fondamenti = new Esame(0001); 62. Esame SistemiOperativi = new Esame(0056); AulaMagna.setCapienza(105); 65. UnoSette.setCapienza(70); 66. UnoSei.setCapienza(50); 67. Fondamenti.addPartecipanti(p*2); 68. SistemiOperativi.addPartecipanti(p*2); 69. while (p> 0) { 70. Fondamenti.addPartecipanti(2); 71. SistemiOperativi.addPartecipanti(1); 72. p = p - 2; 73. } if (Fondamenti.getPartecipanti()<=AulaMagna.getCapienza()) 76. {Fondamenti.setAula(1); 77. AulaMagna.setDisponib (false); 78. } 79. else {Fondamenti.setAula(1); 80. Fondamenti.setAula2(16); 81. AulaMagna.setDisponib (false); 82. UnoSei.setDisponib(false); 83. } if (SistemiOperativi.getPartecipanti()<= UnoSette.getCapienza()) { 86. SistemiOperativi.setAula(17); 87. UnoSette.setDisponib(false); 88. } 89. else if (UnoSei.getDisponib()) { 90. SistemiOperativi.setAula(17); 91. SistemiOperativi.setAula2(16); 92. UnoSette.setDisponib (false); 93. UnoSei.setDisponib(false); 94. } 95. } 96. }