Laurea in Informatica e Comunicazione Digitale – Sede di Taranto

Linguaggi di Programmazione – Prova in itinere 17 aprile 2023

Istruzioni:
1) Durata prova: 75 minuti;
2) Al termine della prova il docente mostrerà le soluzioni ai quesiti
proposti;
3) La prova non ha valore esonerante. La prova è soggetta ad
autovalutazione: lo studente assegnerà una penalizzazione ad ogni errore
commesso, in base le indicazioni fornite di seguito.
Autovalutazione
Quesito 1
a) sequenza di caratteri non rispettata: es.: aabbbbbcbccc → errore grave,
valutazione insufficiente;
b) mancata generazione di alcune parole di L: errore non grave, valutazione
sufficiente;
c) generazione di parole non appartenenti a L causata dal mancato rispetto
della relazione tra gli indici: errore grave, valutazione insufficiente.
Quesito 2
a) scelta di z che non soddisfa i requisiti del teorema: errore grave,
valutazione insufficiente;
b) scelta errata della tecnica di dimostrazione: errore grave, valutazione
insufficiente;
c) errori formali nella dimostrazione: errori non gravi, valutazione
sufficiente.
Valutazione Finale: insufficiente solo se la valutazione è insufficiente
per entrambi i quesiti, sufficiente negli altri casi.

Quesito 1
Sia dato il seguente linguaggio 𝐿 sull’alfabeto 𝑋 = {𝑎, 𝑏, 𝑐 }:

𝐿 = {𝑤 ∈ 𝑋∗ | w = 𝑎𝑖 𝑏 𝑗 𝑐 𝑘 𝑖 ≥ 0, 𝑗 ≥ 0, 𝑘 > 2𝑖 + 𝑗 }

Stabilire se L è libero da contesto e dimostrare formalmente il risultato.

Quesito 2
Sia dato il seguente linguaggio 𝐿 sull’alfabeto 𝑋 = {𝑎, 𝑏, 𝑐 }:

𝐿 = {𝑤 ∈ 𝑋 ∗ | w = 𝑎𝑛 𝑏𝑘 𝑐 2𝑛 , 𝑛 > 0, 𝑘 > 𝑛2 }

Stabilire se L è libero da contesto e dimostrare formalmente il risultato.