Tutti i Forum  INFORMATICA - Primo Anno  Linguaggi di programmazione  Proprietà di chiusura!

Nota: Devi essere registrato per poter inserire un messaggio.
Per registrarti, clicca qui. La Registrazione è semplice e gratuita!

Larghezza finestra: 640 x 480 800 x 600 1024 x 768 1280 x 1024 Nome Utente: Password: Modo: Base  Aiuto  Finestra  Formato: Carattere Andale Mono Arial Arial Black Book Antiqua Century Gothic Comic Sans MS Courier New Georgia Impact Lucida Console Script MT Bold Stencil Tahoma Times New Roman Trebuchet MS Verdana   Grandezza 1 2 3 4 5 6   Colore Nero Rosso Giallo Rosa Verde Arancione Viola Blu Beige Bordò Verde Oliva Blu Marino Marrone Verde Limone Icona Messaggio:                             Messaggio:   * Il codice HTML è OFF * Il Codice Forum è ON Smilies [quote][i]Messaggio inserito da Tardu[/i] [br]Qualcuno sa rispondere alla mia domanda? Allora... Io ho il linguaggio L = {a^i b^n a^j b^n a^k : i,j,k>=0 e n>0}. Voglio dimostrare ke L é non regolare attraverso la proprietà di chiusura dei linguaggi regolari, e x far questo devo utilizzare il linguaggio {b^n c^n : n>0} ke so già non regolare. Il mio ragionamento é: assumo x assurdo ke L sia regolare. L'unione tra L e {b^n c^n : n>0} (poiché tale linguaggio é semplicemente un caso particolare di L) é proprio L stesso. Ma io so ke i linguaggi regolari sono chiusi rispetto all'unione. Quindi l'unione tra un linguaggio regolare (L, x ipotesi)ed uno non regolare darà come risultato un linguaggio non regolare. Quindi L, il linguaggio risultante, é non regolare. Ma noi l'avevamo supposto regolare: da ciò l'assurdo! Quindi abbiamo dimostrato la non regolarità di L. E' giusto questo mio ragionamento? Ossia: la proprietà di chiusura su una certa operazione ("se i 2 termini sono regolari allora il risultato é regolare"), si può anke interpretare come "se uno dei 2 termini é non regolare allora il risultato é non regolare"? Ringrazio vivamente chiunque sia in grado di rispondere! [/quote]    Allega file   Clicca qui per inserire la tua firma nel messaggio. Clicca qui per sottoscrivere questa Discussione.