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."??
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.
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)
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.