V I S U A L I Z Z A D I S C U S S I O N E |
Awake87 |
Inserito il - 21/06/2008 : 18:50:40 Se mi trovassi difronte ad una richiesta del genere: "Dimostrare che L=L1L2 è libero da contesto. Giustificare formalmente la precedente risposta".
Una volta individuate le grammatiche dei linguaggi L1 e L2 supponiamo di ottenere L1 libera da contesto e L2 lineare destra. Ora per poter dire formalmente che L=L1L2 è libero da contesto cosa dovrei fare di preciso?
Mi basta dire che: "L2 essendo lineare destra è contenuta in L1 perchè libera da contesto e che non possiamo deteriminare se L è libera da contesto."??
Grazie. |
5 U L T I M E R I S P O S T E (in alto le più recenti) |
Awake87 |
Inserito il - 23/06/2008 : 22:38:33 grazie ragazzi |
rainbow |
Inserito il - 23/06/2008 : 18:52:20 Citazione:
E nel caso in cui chieda di giustificare formalmente che L=L1L2 è Lineare Destro?
(sempre con le ipotesi di avere L1 libera e L2 lineare)
In questo caso, il professore ha detto che nel caso in cui abbiamo un linguaggio lineare destro e uno libero da contesto, non possiamo dire niente sulla loro concatenazione, cioè non sappiamo dire se L è lineare destro o no.
|
m3t4lup |
Inserito il - 23/06/2008 : 12:49:16 se L1 e libera e l2 lineare destra non può essere L1L2 lineare destra.....solo libera... |
Awake87 |
Inserito il - 23/06/2008 : 11:54:00 Citazione: Messaggio inserito da rainbow
L2 è lineare destra. I linguaggi lineari destri sono contenuti in quelli liberi da contesto e quindi L2 è anche un linguaggio libero da contesto. La concatenazione di due linguaggi liberi da contesto è un linguaggio libero da contesto. E quindi L è libero da contesto.
ok... grazie! E nel caso in cui chieda di giustificare formalmente che L=L1L2 è Lineare Destro?
(sempre con le ipotesi di avere L1 libera e L2 lineare) |
rainbow |
Inserito il - 21/06/2008 : 19:09:30 L2 è lineare destra. I linguaggi lineari destri sono contenuti in quelli liberi da contesto e quindi L2 è anche un linguaggio libero da contesto. La concatenazione di due linguaggi liberi da contesto è un linguaggio libero da contesto. E quindi L è libero da contesto.
|