| V I S U A L I Z Z A D I S C U S S I O N E |
| tremenda |
Inserito il - 14/06/2004 : 11:41:17
Ragazzi...ma come si faceva???
Io ho fatto il Pumpimg Lemma x linguaggi liberi da contesto...ma ho sbagliato vero???
Prossimo appello???
|
| 14 U L T I M E R I S P O S T E (in alto le più recenti) |
| julio.cruz |
Inserito il - 14/06/2004 : 16:16:53
mentre chilavert nell'altra traccia che ci ha dato quale lettera si pompava? |
| Nardin |
Inserito il - 14/06/2004 : 16:15:06
Io ho fatto il secondo esonero del corso B, ed ho dimostrato che non è libero da contesto col pumping lemma suddividendo i casi. E quindi avendo dimostrato che non è libero da contesto, non è nemmeno lineare destro...
ma non ne sono per niente convinto... non so ditemi voi |
| Chilavert |
Inserito il - 14/06/2004 : 16:06:43
no: se c è elevato al min fra a e b, allora la parola con le a pompate è accettata |
| julio.cruz |
Inserito il - 14/06/2004 : 16:02:35
e se ivece di pompare la "c" pompo la "a" va bene lo stesso chilavert? |
| Chilavert |
Inserito il - 14/06/2004 : 15:51:14
per me il ragionamento di feebbo non fa una piega |
| feeb |
Inserito il - 14/06/2004 : 15:39:05
da me era un po' diverso, c'era L = { a^r b^s c^t | t = min{r, s}, r,s,t in N } da dimostrare che non e' lineare destro;
ho provato a considerare un automa M tale che |Q| = n, e a considerare la stringa a^n b^n c^n (che sicuramente appartiene ad L e quindi anche a T(M)); in pratica l'automa per leggere la sottostringa c^n transita per (n + 1) stati, quindi almeno due coincidono;
supponiamo che siano Qx e Qy, con x < y; allora nell'automa esiste un ciclo di lunghezza (y - x) tale che
a^n b^n c^(n + k(y - x)) appartiene a T(M) (e quindi a L) per ogni valore di k in N;
il che e' assurdo.
ora non so se e' ok, pareri? |
| Chilavert |
Inserito il - 14/06/2004 : 15:12:48
Citazione:
Messaggio inserito da fryderyka
anche io pumping lemma dei linguaggi liberi da contesto... se sia esatto non lo so...
allora, il linguaggio era lo stesso del primo esonero (corso A). Ovviamente, il linguaggio non è libero da contesto, e lo si poteva tranquillamente dimostrare con il Pumping Lemma per i linguaggi di tipo 2. Ancora + ovviamente, se un linguaggio non è di tipo 2, non sarà manco di tipo 3... magari il ragionamento è giusto, ma di + non posso dirvi... se fossi io il professore, lo accetterei... |
| Sinkler |
Inserito il - 14/06/2004 : 15:06:06
yes!! |
| Fabio |
Inserito il - 14/06/2004 : 14:25:13
Ragazzi il prossimo appello è il 30 giusto? |
| tremenda |
Inserito il - 14/06/2004 : 13:06:12
Citazione:
Messaggio inserito da fryderyka
anche io pumping lemma dei linguaggi liberi da contesto... se sia esatto non lo so...
Siamo in due... |
| tremenda |
Inserito il - 14/06/2004 : 13:02:18
Dimostrare che L={a^i b^j c^k | k=max i,j i,j,k>=0} non è lineare destro.
|
| fryderyka |
Inserito il - 14/06/2004 : 13:01:08
anche io pumping lemma dei linguaggi liberi da contesto... se sia esatto non lo so... |
| Sinkler |
Inserito il - 14/06/2004 : 12:32:30
la traccia? |
| jhonny.83 |
Inserito il - 14/06/2004 : 11:55:50
Io ho fatto il Pumping Lemma per i linguaggi regolari visto che per il teorema di kleene i linguaggi regoloari sono linguaggi lineari destri, cmq anche io non sono sicurissimo della risoluzione...speriamo bene... |
