Autore |
Discussione |
feeb
Cantù Che Conta Col Cayenne
Prov.: Zara
|
Inserito il - 21/06/2005 : 16:12:14
|
Citazione: Messaggio inserito da Tardu Esiste un linguaggio reg ke opera con un linguaggio non reg ed il risultato é un linguaggio reg?
L = { a^n b^m | n > 0, m > 0 } (regolare) L' = { a^n b^n | n > 0 } (CF)
l'unione dei due linguaggi e' un linguaggio regolare (L) |
http://www.avaaz.org/it/ - http://www.flickr.com/photos/dimethyltryptamine/ |
|
|
Tardu
Nuovo Utente
|
Inserito il - 21/06/2005 : 16:43:22
|
Citazione: Messaggio inserito da feeb
Citazione: Messaggio inserito da Tardu Esiste un linguaggio reg ke opera con un linguaggio non reg ed il risultato é un linguaggio reg?
L = { a^n b^m | n > 0, m > 0 } (regolare) L' = { a^n b^n | n > 0 } (CF)
l'unione dei due linguaggi e' un linguaggio regolare (L)
In effetti... grazie a tutti x le delucidazioni! |
|
|
eliopiu
Utente bagnino
Regione: Puglia
Prov.: Foggia
Città: Foggia
|
Inserito il - 22/06/2005 : 11:46:37
|
Ancora una domanda prof.
In queso esercizio:
S = aS + aA + aB + a A = bS
Una volta sostituito A in S con che cosa devo sostituire B in S per ottenere l'espressione regolare? |
|
|
Aiace
Piccolo Cinema Onirico
Regione: Puglia
Prov.: Bari
|
Inserito il - 22/06/2005 : 13:02:43
|
Citazione: Messaggio inserito da eliopiu
S = aS + aA + aB + a A = bS
Una volta sostituito A in S con che cosa devo sostituire B in S per ottenere l'espressione regolare?
Secondo me manca qualcosa: B = ? |
|
|
eliopiu
Utente bagnino
Regione: Puglia
Prov.: Foggia
Città: Foggia
|
Inserito il - 22/06/2005 : 13:50:59
|
Secondo me manca qualcosa: B = ?
Questa è la traccia: Sia data la seguente grammatica lineare destra G = (X, V, S, P) ove X = {a, b}, V = {S, A, B}, P = { S --> aS | aA | aB | a, A --> bS } Determinare una espressione regolare che denota L(G).
|
|
|
falco_85
Utente giovane
Regione: Puglia
Prov.: Bari
|
Inserito il - 22/06/2005 : 14:02:28
|
S = aS+abS+a --> S= (a+ab)*S +a Questa espressione è nella forma R1= R2*R1+R3 e per le proprietà sulle espressioni regolari diventa R1= R2star * R3 quindi--> S= (a+ab)star *a ed una espressione regolare che denota L(G) è proprio questa. Credo sia così ma non sono sicuro al cento per cento |
|
|
eliopiu
Utente bagnino
Regione: Puglia
Prov.: Foggia
Città: Foggia
|
Inserito il - 22/06/2005 : 15:17:46
|
Penso sia giusto ma quello che mi chiedevo è: cosa facciamo con aB? Non si tiene in considerazione ho almeno la a va tenuta? |
|
|
fabbattista
utente SEMPRE giovane
Regione: Puglia
Prov.: Bari
Città: Bari
|
Inserito il - 22/06/2005 : 15:24:00
|
La produzione S->aB viene eliminata dalla grammatca in quanto inutile. |
|
|
Chilavert
admin
Regione: Puglia
Prov.: BA
Città: Bari
|
Inserito il - 22/06/2005 : 15:25:11
|
Citazione: Messaggio inserito da fabbattista
La produzione S->aB viene eliminata dalla grammatca in quanto inutile.
Se dovessimo eliminare tutto ciò che inutile, il mondo sarebbe tremendamente vuoto (che sto dicendo?) |
E' un bene per il Prof. Xxxxxxx che sappia con chi ha a che fare. Pensa a studiare e non agli esempi, o ad altre strade per così dire, che questa volta mi sa che non attacca. [cit.]
Tutti professori dall'esterno, e poi parlano persone che per prendere un voto decente ripetono l'esame 30 volte e poi fanno i sapientoni con chi segue la prima volta vedi chilavert [cit.] |
|
|
Sinkler
Croce & Delizia
Regione: Puglia
Prov.: Bari
Città: Molfetta
|
Inserito il - 22/06/2005 : 15:27:31
|
Citazione: Messaggio inserito da Chilavert
Citazione: Messaggio inserito da fabbattista
La produzione S->aB viene eliminata dalla grammatca in quanto inutile.
Se dovessimo eliminare tutto ciò che inutile, il mondo sarebbe tremendamente vuoto (che sto dicendo?)
no no, ci sarei solo IO, sola sola |
|
|
fabbattista
utente SEMPRE giovane
Regione: Puglia
Prov.: Bari
Città: Bari
|
Inserito il - 22/06/2005 : 17:37:02
|
azz.... |
|
|
Mucone
Amante di pbolo
Regione: Puglia
Prov.: Bari
|
Inserito il - 22/06/2005 : 18:45:43
|
off topic POVERO MONDO! |
|
|
mrluglio
Utente Sempre in Vacanza
Regione: Puglia
Prov.: Bari
Città: Terlizzi
|
Inserito il - 22/06/2005 : 20:19:22
|
ormai è di moda andare OFF TOPIC!
|
Spazio agli inventori : "Questa cosa non funziona...funzionerebbe però se usassimo il RETROMOUSE" by Anonimo
|
|
|
fax
Utente medio
Regione: Puglia
Prov.: Bari
Città: bari
|
Inserito il - 24/06/2005 : 12:10:07
|
prof volevo porle una domanda, ci sono degli esercizi tipo: dimostrare formalmente che il seguente linguaggio L ={ a^i b^j c^k : K=min{i,j}, i,j>=0} non è lineare destro.
come si svolge a grandi linee? ed inoltre può essere traccia d'esame?
grazie. |
L'UOMO COMUNE RAGIONA,IL SAGGIO TACE,IL FESSO DISCUTE.
|
|
|
fabbattista
utente SEMPRE giovane
Regione: Puglia
Prov.: Bari
Città: Bari
|
Inserito il - 24/06/2005 : 12:15:30
|
Citazione: Messaggio inserito da fax
prof volevo porle una domanda, ci sono degli esercizi tipo: dimostrare formalmente che il seguente linguaggio L ={ a^i b^j c^k : K=min{i,j}, i,j>=0} non è lineare destro.
come si svolge a grandi linee? ed inoltre può essere traccia d'esame?
grazie.
Si svolge usando il pumping lemma per i linguaggi regolari che voi non avete fatto. Quindi non puo' essere traccia d'esame per voi del corso B |
|
|
fax
Utente medio
Regione: Puglia
Prov.: Bari
Città: bari
|
Inserito il - 24/06/2005 : 12:23:30
|
be..da un lato sono felice! |
L'UOMO COMUNE RAGIONA,IL SAGGIO TACE,IL FESSO DISCUTE.
|
|
|
d43m0n
Utente medio
Regione: Puglia
Prov.: Bari
Città: Barletta
|
Inserito il - 24/06/2005 : 19:39:11
|
Prof, e chiunque voglia rispondermi, mi spieghi come si risolve il primo quesito dell'esame del 6 giugno? |
|
|
falco_85
Utente giovane
Regione: Puglia
Prov.: Bari
|
Inserito il - 24/06/2005 : 20:54:32
|
se ti riferisci alla traccia del corso A io l'ho risolto con il pumping lemma per il linguaggi regolari |
|
|
eliopiu
Utente bagnino
Regione: Puglia
Prov.: Foggia
Città: Foggia
|
Inserito il - 25/06/2005 : 15:25:28
|
Non ho la traccia della prova del 6 Giugno ma una simile.
Stabilire se L = { a^m b^n c^k : m = n, n, k > 0 } è libero da contesto.
Io l'ho risolto in questo modo:
L lo suddivido in : L1 = { a^m b^n : m = n, n > 0 } e L2 = { c^k : k > 0 } dove L = L1 x L2
L1 è un linguaggio di tipo 2 e le produzioni sono: S1--> ab | aS1b
L2 è un linguaggio di tipo 3 e le produzioni sono: S2--> c | cS2
L2 è di tipo 3,dunque per Chomsky qualunque linguaggio di tipo 3 piò essere rappresentato da un linguaggio di tipo 2,mentre L1 è di tipo 2 dunque la concatenazione è chiusa. Quindi L è libero da contesto.
|
|
|
fabbattista
utente SEMPRE giovane
Regione: Puglia
Prov.: Bari
Città: Bari
|
Inserito il - 25/06/2005 : 15:54:21
|
Citazione: Messaggio inserito da eliopiu
Non ho la traccia della prova del 6 Giugno ma una simile.
Stabilire se L = { a^m b^n c^k : m = n, n, k > 0 } è libero da contesto.
Io l'ho risolto in questo modo:
L lo suddivido in : L1 = { a^m b^n : m = n, n > 0 } e L2 = { c^k : k > 0 } dove L = L1 x L2
L1 è un linguaggio di tipo 2 e le produzioni sono: S1--> ab | aS1b
L2 è un linguaggio di tipo 3 e le produzioni sono: S2--> c | cS2
L2 è di tipo 3,dunque per Chomsky qualunque linguaggio di tipo 3 piò essere rappresentato da un linguaggio di tipo 2,mentre L1 è di tipo 2 dunque la concatenazione è chiusa. Quindi L è libero da contesto.
Se mi aggiungi anke la gramatica di L siamo a posto |
|
|
Discussione |
|