Pages: [1]   Go Down
Print
Author Topic: Esercizio 1.23 - Ausiello  (Read 377 times)
0 Members e 1 Utente non registrato stanno visualizzando questa discussione.
Sain
Matricola
*
Offline Offline

Gender: Male
Posts: 25



« on: 01-10-2018, 18:01:38 »

Salve, svolgendo l'esercizio 1.23 nel libro Ausiello sono giunto alla seguente soluzione:

{an | n>=0} · {a2k · b | k>=0} U {b2h · a | h>=0} · {bm | m>=0}

 E' corretta?
Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.027



WWW
« Reply #1 on: 01-10-2018, 20:52:09 »

Devi inserire delle parentesi, altrimenti la soluzione non e' corretta.
Logged
Sain
Matricola
*
Offline Offline

Gender: Male
Posts: 25



« Reply #2 on: 02-10-2018, 07:55:33 »

{ {an | n>=0} · {a2k · b | k>=0} U {b2h · a | h>=0} · {bm | m>=0} }

Così è corretto?
Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.027



WWW
« Reply #3 on: 03-10-2018, 14:56:02 »

No
Logged
Sain
Matricola
*
Offline Offline

Gender: Male
Posts: 25



« Reply #4 on: 03-10-2018, 17:14:42 »

Ok prof, forse ho capito dov'è l'errore e a quali parentesi lei si riferisce.

La mia attuale soluzione è questa:

{an · ((a2k · b)  U (b2h · a)) · bm |  n, k, h, m >=0}
Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.027



WWW
« Reply #5 on: 03-10-2018, 17:17:56 »

Ok prof, forse ho capito dov'è l'errore e a quali parentesi lei si riferisce.

La mia attuale soluzione è questa:

{an · ((a2k · b)  U (b2h · a)) · bm |  n, k, h, m >=0}

Giusto.

Ma andava anche bene la prima mettendo delle parentesi
{an | n>=0} · ({a2k · b | k>=0} U {b2h · a | h>=0}) · {bm | m>=0}

L'ultima soluzione pero' e' piu' elegante.
Logged
Sain
Matricola
*
Offline Offline

Gender: Male
Posts: 25



« Reply #6 on: 03-10-2018, 18:17:18 »

Bene, grazie mille!
Logged
francesco_nicosia
Matricola
*
Offline Offline

Posts: 2


« Reply #7 on: 22-10-2018, 14:28:06 »

Salve,
per semplificarmi lo svolgimenti dell'esercizio ho provato a scrivere il linguaggio corrispondente nella seguente forma

L(a)*  (L(a)L(a))* L(b)) + (L(b)L(b))* L(a) )  L(b)*    , sulla quale ho dei dubbi circa la sua correttezza


arrivando poi alla conclusione citata dal collega

a^n   { (a^2k b)   U  (b^2m a) } b^z

n, k >= 0
m, z>=0
Logged
Pages: [1]   Go Up
Print
Jump to: