Elementi di informatica teorica:linguaggi regolari

Messaggioda sara09 » 19/01/2020, 10:25

Ho:
L={ $ a^(m+n)b^n|n,m>0 $ }
Devo scrivere una grammatica context free, io l’ho svolta in tal modo:
T—->aaXb
X—>aaxb|Vuoto
Che poi posso scrive anche così:
T—>aaTb|vuoto

È giusto?
sara09
Average Member
Average Member
 
Messaggio: 154 di 652
Iscritto il: 11/02/2019, 19:04

Re: Elementi di informatica teorica:linguaggi regolari

Messaggioda apatriarca » 19/01/2020, 19:35

Direi di no. Nel tuo linguaggio il numero di \(a\) è uguale a due volte il numero di \(b\) che non è quello che è richiesto da tuo esercizio.
apatriarca
Moderatore
Moderatore
 
Messaggio: 5343 di 10435
Iscritto il: 08/12/2008, 20:37
Località: Madrid


Torna a Informatica

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite