kikka

.consigliere.

User info:

Registered: May 2002
Posts: 112 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 12:57:55 [...]
Status: Offline

Post actions:

Ciao a tutti , avrei due dubbi da chiedervi:
mi sapreste dare un esempio di un linguaggio di tipo 3 generato da una grammatica lineare a destra ?
Inoltre, dalla dimostrazione della proposiz 5.1 delle dispense("se L e generato da una grammatica lineare a dx,allora e di tipo 3") perchè col procedimento descritto nei punti 3 e 4 si possono eliminare regole del tipo A->B??
Grazie 1000!

Lunik

dsy core staff

User info:

Registered: Mar 2002
Posts: 22362 (2.64 al dì)
Location: Milano
Corso: ComDig
Anno: Dott.ssa
Time Online: 93 Days, 0:52:10 [...]
Status: Offline

Post actions:

Per la 1a domanda...credo ci sia un esempio nelle dispense...controlla un po'...
x la 2a...beh, devo ancora studiare!!!!

__________________
Il DSY su Facebook!!!

Teju

:L'anti - anti-global!!:

User info:

Registered: Dec 2001
Posts: 1394 (0.16 al dì)
Location: Cassina Beach
Corso: Info
Anno: 3° ...circa...
Time Online: 5 Days, 8:26:35 [...]
Status: Offline

Post actions:

Originally posted by "kikka"

Inoltre, dalla dimostrazione della proposiz 5.1 delle dispense("se L e generato da una grammatica lineare a dx,allora e di tipo 3") perchè col procedimento descritto nei punti 3 e 4 si possono eliminare regole del tipo A->B??

...a quali dispense ti riferisci?!? In quelle del webcen la 5.1 parla di espressioni regolari e non c'è alcun A->B che si elimina...

Fai così, copia il testo intero di ciò che non capisci (dal primo all'ultimo passaggio però!), magari riesco a darti una mano...

__________________
Teju.it - Una vita da raccontare

kikka

.consigliere.

User info:

Registered: May 2002
Posts: 112 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 12:57:55 [...]
Status: Offline

Post actions:

Ciao,intanto grazie x avermi risposto.
Si mi riferisco alle dispense di webcen è la dimostrazione della proposizione 5.1 del 1 capitolo.
Che non capisco sono gli ultimi 3 punti dove aggiunge regole per eliminare la A->B
..sono un po lunghe da scrivere cmq se non le trovi le scriverò.
In effetti mi sono accorta che di 5.1 ce ne sono un po non avevo specificato che mi riferivo al 1 capitolo!

GiuDig

User info:

Registered: Jun 2002
Posts: 40 (0.00 al dì)
Location:
Corso:
Anno:
Time Online: 2:57:49 [...]
Status: Offline

Post actions:

Ciao! Approfitto del thread per fare una doamnda anche io: NON riesco a capire questa implicazione.....
"Se un linguaggio e' ricorsivo, allora e' anche ricorsivamente numerabile"
Anzi nelle dispense si dice "chiaramente, se un L e' ricorsivo, allora e' ricorsivamente numerabile"
Ma chiaramente un tubo.....non ci arrivo....magari e' davvero una banalita'......
Qualcuno sa aiutarmi?

Lunik

dsy core staff

User info:

Registered: Mar 2002
Posts: 22362 (2.64 al dì)
Location: Milano
Corso: ComDig
Anno: Dott.ssa
Time Online: 93 Days, 0:52:10 [...]
Status: Offline

Post actions:

Semplice!
1)Se L ha riconoscitore, ha ANKE generatore
2)L ha riconoscitore allora è RICORSIVO
3)L ha generatore è RICORSIVAM NUMERABILE
4)Quindi se è ricorsivo è anke ric numerabile...

chiaro?

__________________
Il DSY su Facebook!!!

GiuDig

User info:

Registered: Jun 2002
Posts: 40 (0.00 al dì)
Location:
Corso:
Anno:
Time Online: 2:57:49 [...]
Status: Offline

Post actions:

non e' chiaro..scusa se rompo...pero' quello che non mi e' chiaro e' la prima implicazione...perche' se L e' riconoscitore ha anche generatore???? 8O
Nella def di metodo riconoscitivo si dice che un L ha un riconoscitore se esiste un algo A che presa una parola w da 1 se w appartiene a L e 0 se w non appartiene a L...cioe' A calcola la funzione caratteristica di L su w.......ma non si dice che ha anche un generatore......

Lunik

dsy core staff

User info:

Registered: Mar 2002
Posts: 22362 (2.64 al dì)
Location: Milano
Corso: ComDig
Anno: Dott.ssa
Time Online: 93 Days, 0:52:10 [...]
Status: Offline

Post actions:

guarda la dispensa in formato pdf e guarda in fondo alla 4a pagina (la sto studiando adesso...)

c'è scritto che se L ha riconoscitore ha anche generatore...

__________________
Il DSY su Facebook!!!

GiuDig

User info:

Registered: Jun 2002
Posts: 40 (0.00 al dì)
Location:
Corso:
Anno:
Time Online: 2:57:49 [...]
Status: Offline

Post actions:

e' quello che dico.....infatti sulla dispensa si dice "chiaramente se l ha riconoscitore ha anche un generatore" beh e' proprio questo che non mi e' chiaro......se L ha un riconoscitore da cosa deduco che ha anche un generatore??????
Devo prendere l'implicazione come una definizione senza capirla? ci sara' un motivo.......

Lunik

dsy core staff

User info:

Registered: Mar 2002
Posts: 22362 (2.64 al dì)
Location: Milano
Corso: ComDig
Anno: Dott.ssa
Time Online: 93 Days, 0:52:10 [...]
Status: Offline

Post actions:

se c'è un metodo che mi riconosce un L...L da chi caxxo è stato generato????

__________________
Il DSY su Facebook!!!

Lunik

dsy core staff

User info:

Registered: Mar 2002
Posts: 22362 (2.64 al dì)
Location: Milano
Corso: ComDig
Anno: Dott.ssa
Time Online: 93 Days, 0:52:10 [...]
Status: Offline

Post actions:

a me invece mi puzza il fatto che se L ha generatore nn possa aver necessariamente un riconoscitore...povero L...mi fa quasi pena!!!!!

__________________
Il DSY su Facebook!!!

Teju

:L'anti - anti-global!!:

User info:

Registered: Dec 2001
Posts: 1394 (0.16 al dì)
Location: Cassina Beach
Corso: Info
Anno: 3° ...circa...
Time Online: 5 Days, 8:26:35 [...]
Status: Offline

Post actions:

Originally posted by "kikka"


Inoltre, dalla dimostrazione della proposiz 5.1 delle dispense("se L e generato da una grammatica lineare a dx,allora e di tipo 3") perchè col procedimento descritto nei punti 3 e 4 si possono eliminare regole del tipo A->B??

ehm... scusa ma non lo so... Magari se rileggendolo ad un orario + "umano" mi viene in mente qlc lo scrivo...

Ciao e buona studio (sappi cmq che non chiede praticamente a nessuno dimostrazioni a meno che tu non voglia un voto alto!! :wink: )

__________________
Teju.it - Una vita da raccontare

Lunik

dsy core staff

User info:

Registered: Mar 2002
Posts: 22362 (2.64 al dì)
Location: Milano
Corso: ComDig
Anno: Dott.ssa
Time Online: 93 Days, 0:52:10 [...]
Status: Offline

Post actions:

come nn kiede dimo???? almeno bisogna sapere in linea generale come farla....sbaglio????????????????????????

__________________
Il DSY su Facebook!!!

Lunik

dsy core staff

User info:

Registered: Mar 2002
Posts: 22362 (2.64 al dì)
Location: Milano
Corso: ComDig
Anno: Dott.ssa
Time Online: 93 Days, 0:52:10 [...]
Status: Offline

Post actions:

DUBBIONE!!

Le regole d produz sn del tipo A->B
A appartiene a (S U Q)
ma QUELLA S e' l'assioma o l'alfabeto S (che poi conosciamo come SIGMA??????????)

tnx[/code]

__________________
Il DSY su Facebook!!!

Teju

:L'anti - anti-global!!:

User info:

Registered: Dec 2001
Posts: 1394 (0.16 al dì)
Location: Cassina Beach
Corso: Info
Anno: 3° ...circa...
Time Online: 5 Days, 8:26:35 [...]
Status: Offline

Post actions:

Originally posted by "Lunik"

come nn kiede dimo????

__________________
Teju.it - Una vita da raccontare