| V I S U A L I Z Z A D I S C U S S I O N E |
| leo83 |
Inserito il - 25/06/2004 : 10:42:18
Che ne dite di svolgere qualche esercizio insieme in modo da capirne sempre + !!!
ki mi sà dire come si svolge questo esercizio???
-Siano dati i seguenti linguagggi formali:
L1= {a}*{b}*; L2={w appartenete a {a,b}* :|w|=3k,k>=0};
Stabilire se L=L1*L2 è un linguaggio lineare destro.
Proponete altri esercizi e cerchiamo di svolgerli insieme!
|
| 4 U L T I M E R I S P O S T E (in alto le più recenti) |
| Chilavert |
Inserito il - 25/06/2004 : 11:10:47
prego, non c'è di che... |
| leo83 |
Inserito il - 25/06/2004 : 11:07:18
ora mi è tutto + chiaro!
GRAZIE !
|
| Chilavert |
Inserito il - 25/06/2004 : 10:56:21
nello specifico:
per L1:
S1 -> lambda | a | aS | bA
A -> lambda | b | bA
per L2:
S2 -> lambda | aB | bB
B -> aC | bC
C -> aS2 | bS2 | a | b
ora però concatenali tu... |
| Chilavert |
Inserito il - 25/06/2004 : 10:50:56
L1 è lineare destro, L2 pure... i linguaggi di tipo 3 sono chiusi rispetto alla concatenazione... quindi L1L2 è di tipo 3
per svolgere questo esercizio basta che ti affidi alle proprietà di chiusura per i linguaggi di tipo 3... stanno in uno schemino al capitolo 5 e sono semplici
crei prima l'automa di {a}* e poi quello di {b}* e poi li concateni formando L1
poi crei il semplicissimo automa delle parole lunghe 3k, creando L2
infine fai L1L2 ed hai finito |
