| V I S U A L I Z Z A D I S C U S S I O N E |
| tom |
Inserito il - 03/09/2009 : 21:15:10
Salve ragazzi,
qualcuno sa come bisognava decifrare l'esercizio sull'automa dell'appello scorso (fine luglio)?
Inoltre come risolvereste l'esercizio sul pumping lemma...linguaggio L = a^i b^j c^k con k=max(i,j) e i,j,k > 0?
Thanks anticipatamente :-) |
| 20 U L T I M E R I S P O S T E (in alto le più recenti) |
| Domenicodattoma |
Inserito il - 24/09/2009 : 08:17:01
Allora: Prendiamo L linguaggio a stati finiti. Se è a stati finiti esisterà un automa M tale che L=T(M). Se consideriamo l'automa M2 tale che abbia gli stati finali complementati, possiamo dedurre che M2 accetta tutte le parole non accettate da M, e viceversa. Quindi, possiamo dire che M2 accetta il complemento del linguaggio (L=) T(M) (che chiameremo L2). Dato che L2 è il complemento di L ed è accettato da un automa a stati finiti, possiamo affermare che anche L2 è a stati finiti. c.v.d. |
| ktdila |
Inserito il - 23/09/2009 : 21:49:37
Ciao Domenico
vorrei rivolgere a te la domanda relativa alla chiusura dei linguaggi a stati finiti rispetto al complemento.
Il prof ha dato una dimostrazione completa dela proposizione come Fanizzi?
Grazie |
| ktdila |
Inserito il - 22/09/2009 : 19:24:01
Allora i casi sono 2:
(scusami se ti offendo!!)
1. abbiamo 2 libri di Semeraro diversi oppure
2. non sai cos'è una dimostrazione completa.
Spero per te che sia vera la 1.
"Per esercizio, dimostrare che ... " ti dice qualcosa?
So leggere anche io ma ciò che volevo sapere semplicemente se a lezione il prof. ha dato la dimostrazione completa della proposizione. Nulla di difficile e non c'è nessuna richiesta di andare a fare l'esame per me (se ci vai tu al posto mio la bocciatura è sicura!!)
Grazie |
| Lawliet L |
Inserito il - 22/09/2009 : 17:40:24
Ma cosa vuoi? Che facciamo pure l'esame per te?
Chi ti ha detto che non parliamo di argomenti non inerenti all'esame o meglio alla materia!?!??
Te lo ripeto, ciò che hai chiesto, sta scritto sul libro (ho pure controllato e sta). Il libro è fatto per essere studiato, se hai bisogno di qualcosa o qualche chiarimento allora il forum è il posto giusto (sempre se sappiamo aiutarti, dipende da cosa chiedi.)
Ad majora! |
| ktdila |
Inserito il - 22/09/2009 : 17:31:36
ma se non parlate di argomenti relativi all'esame cosa vi raccontate in questo forum le barzellette?
Grazie lo stesso |
| ktdila |
Inserito il - 22/09/2009 : 15:38:15
Buon pomeriggio Law
potresti darmi qualche indicazione sulla dimostrazione che ti chiedevo sulla chiusura rispetto al complemento?
Grazie |
| francesca |
Inserito il - 22/09/2009 : 12:05:19
se la dimostrazine è lasciata per esercizio, potrebbe chiederla cmq all'esame  |
| ktdila |
Inserito il - 21/09/2009 : 14:33:39
La dimostrazione è lasciata per esercizio ma se secondo te basta quello che c'è sul libro allora è ok.
Grazie
|
| Lawliet L |
Inserito il - 19/09/2009 : 20:52:34
Uhm... se non erro sta scritto tutto su libro... Possibile che non hai trovato? |
| ktdila |
Inserito il - 18/09/2009 : 10:23:27
Scusami lawliet potresti per favore darmi indicazioni sulla dimostrazione della chiusura dei linguaggi a stati finiti rispetto al complemento? Dove posso trovarla se c'è in giro?
Grazie
|
| Lawliet L |
Inserito il - 18/09/2009 : 01:24:50
La traccia ti chiede solo di fare quelle operazioni "di" tipo 2. Quindi fai ciò che sta visualizzato nello schema per tipi 2. PUNTO. Poi sta a te mettere i successivi controlli, e verificare che siano del tipo 2 o 3. Anche se fosse entrambi di tipo 3 allora devi visualizzare un messaggio d'errore dicendo che queste operazioni sono per tipo 2 e non per tipo 3. Semplice no? Potrebbe essere ambigua, ma ripeto i professori vogliono vedere come lavori, come lo presenti il codice e come li svolgi gli esercizi. Tutto resto è relativo :). Io così ho fatto. Più semplice o più complicato? Sta a te decidere ^^
|
| ktdila |
Inserito il - 17/09/2009 : 18:04:29
Ho scritto 3 casi poichè 3 sono le operazioni che si riferiscono alla grammatica di tipo 2(unione, prodotto e iterazione).
Comunque parliamo della stessa cosa.
La traccia è ambigua. Se le due grammatiche sono di tipo 3 si applicano regole diverse affinchè la grammatica unione prodotto o iterazione sia ancora di tipo 3.
Ma le grammatiche di tipo 3 sono anke di tipo 2.
Quindi, nel caso in cui le grammatiche sono di tipo 3 vanno gestite con le regole delle grammatiche di tipo 2?
La traccia non è molto chiara!!!!!!!
|
| Lawliet L |
Inserito il - 16/09/2009 : 20:27:54
Citazione:
Messaggio inserito da ktdila
Ciao Domenico
approfitto della tua disponibilità ponendoti un quesito.
"Ottenere la grammatica unione concatenazione e iterazione di due grammatiche di tipo 2 (non contestuali)"
si riferisce anche a grammatiche di tipo 3 ?
Si devono considerare 6 casi invece di 3?
Grazie
Perchè 6 casi? O ancora... perchè 3 casi???
Secondo la traccia è solo un caso sta pure scritto,invece se vuoi fare per tutti i tipi allora è diverso. |
| ktdila |
Inserito il - 16/09/2009 : 09:48:08
Salve,
vorrei la dimostrazione della chiusura della classe dei linguaggi a stati finiti rispetto al complemento come l'ha spiegata Semeraro a lezione.
Qualcuno generoso e che abbia studiato può aiutarmi?
So soltanto che si usa l'induzione.
Grazie |
| ktdila |
Inserito il - 11/09/2009 : 14:51:18
Ciao Domenico
approfitto della tua disponibilità ponendoti un quesito.
"Ottenere la grammatica unione concatenazione e iterazione di due grammatiche di tipo 2 (non contestuali)"
si riferisce anche a grammatiche di tipo 3 ?
Si devono considerare 6 casi invece di 3?
Grazie
|
| Domenicodattoma |
Inserito il - 11/09/2009 : 14:37:02
L era a^n b^2...ed è di tipo 3. |
| ktdila |
Inserito il - 11/09/2009 : 13:36:29
non c'è proprio nessuno che ricordi il liguaggio da studiare nella traccia del 7 settembre?
grazie |
| jwein |
Inserito il - 11/09/2009 : 12:55:45
Ciao, gli esercizi riguardavano le seguenti cose:
1.1) Determinare la classe di appartenenza nella gerarchia di Chomsky di un linguaggio L specificato nella traccia, purtroppo non ricordo esattamente il linguaggio richiesto.
1.2) Determinare la grammatica generativa di tale linguaggio.
1.3) Determinare il linguaggio L^2.
2) Descrivere le funzioni principali dell'Analizzatore Lessicale.
3) Dimostrare la chiusura della classe dei linguaggi a stati finiti rispetto all'operazione di complemento.
Tom, per quanto riguarda il primo esercizio la risoluzione era abbastanza semplice: Per la parte 1.1) si tratta di mostrare che il linguaggio specificato può essere ottenuto come concatenazione di due linguaggi. Determinando la grammatica generativa di ciascuno dei due linguaggi si può mostrare che entrambi sono di tipo L3, ovvero lineari destri. Infine per la proprietà di chiusura dell'operazione di concatenazione si può dimostrare che il linguaggio L specificato, essendo dato dalla concatenazione dei due linguaggi lineari destri, è anch'esso lineare destro. Quindi il linguaggio è di tipo 3 nella gerarchia di Chomsky. Per la parte 1.2) si tratta semplicemente di determinare la grammatica ottenuta dalla concatenazione delle due grammatiche già determinate nella richiesta precedente. Per la parte 1.3) si tratta di sfruttare la definizione di potenza di un linguaggio, ma qui ho fatto un errore, anche se forse so dove ho sbagliato, e quindi preferisco non parlarne. |
| ktdila |
Inserito il - 11/09/2009 : 12:03:06
Salve ragazzi,
se qualcuno si decidesse a scrivere le tracce del 7 settembre forse Tom e altri avrebbero qualche risposta.
Grazie |
| tom |
Inserito il - 11/09/2009 : 11:28:40
Ragazzi ma qualcuno di voi mi sa dire come andava risolto il primo esercizio dell'appello del 7? Io l'ho risolto facendo uso degli automi, ma a quanto pare non dovrebbe essere corretto! :-(
Grazie |
