Quote:
Originariamente inviato da anx721
L1 = u(a^n)(b^m)v è context-free ; la seguente grammatica lo genera (lamda è la parola vuota):
S -> UABV
U -> Uuu | lamda
V -> Vvvv| lambda
A -> aA | a
B -> bB | b
U genera stringhe con un numero di u multiplo di 2; V genera stringhe con un numero di v multiplo di 3; A genera stringhe con un numero di a maggiore di uno; B genera stringhe con un numero di b multiplo di 3, quindi S genera il linguaggio.
L'altro non penso proprio sia acontstuale, ciao.
|
Grazie Anx, ci sono arrivato in altro modo, ho visto che la tua grammatica è più pulita di quella che avevo pensato io. Questa dovrebbe essere l'ultima volta che ti disturbo per queste cose
