.dsy:it. - [LFA Bertoni] Info esame

Pages (7): « 1 2 [3] 4 5 6 7 »
Show 150 posts per page

.dsy:it. (http://www.dsy.it/forum/)
- Linguaggi formali e automi (http://www.dsy.it/forum/forumdisplay.php?forumid=132)
-- [LFA Bertoni] Info esame (http://www.dsy.it/forum/showthread.php?threadid=19677)

Posted by mattcobain on 28-06-2005 17:23:

ragazzi, 2 domande:

- nell'appello possono capitare domande relative alle espressioni regolari in unix (capitolo 2 delle dispende on-line, paragrafi 6 - 6.1 - 6.2 - 6.3 - 6.4) e ai linguaggi di markup (capitolo 3 delle dispende on-line, paragrafi 6 - 6.1 - 6.2 ) ?!?!?

- nel capitolo 3 delle dispense on-line, paragrafo 2 (grammatiche di tipo 2 ambigue e non ambigue) compare l'esempio 2.3 che non mi torna...

"Si consideri il linguaggio

L = { a^j b^s c^k | j=s oppure k=s }

Esso è acontestuale, poiché è generato dalla grammatica con assioma S e produzioni del tipo:

S -> XC | AY
Y -> aYb | €
X -> bXc | €
A -> aA | €
C -> cC | €

Tale grammatica è ambigua poiché le parole del tipo
a^j b^j c^j
ammettono due distinti alberi di derivazione... ecc... ecc..."

ma sbaglio o una qualunque combinazione con tutti e tre i caratteri abc è impossibile con quelle regole di produzione?
cioè, con l'assioma S, se parto con S -> XC non avrò più modo di formare frasi con le 'a', mentre se parto con s -> AY non avrò più modo di formare frasi con le 'c' o sbaglio!?!?
illuminatemi :please:

Posted by Guinan on 28-06-2005 17:42:

Bertoni non fa domande nè su UNIX nè sui linguaggi di mark-up. Non chiede nemmeno alcuna dimostrazione, tranne quella sul teorema di Kleene.
Io mi sono trovata bene: è molto bravo ed aiuta molto, certo le cose di base le devi sapere! ma preferisce che tu gli spieghi le cose con parole tue piuttosto che ripetergli a papera formule varie.
In bocca al lupo!

__________________
- Long life and prosper!
- Elen sila lumen omentilmo!

Posted by mattcobain on 28-06-2005 17:50:

non, ma non è che voglio ripeterli a papera le formule... è che vorrei capire quell'esempio perché a me sembra sbagliato.... :look:

Posted by Col. Kurtz on 28-06-2005 18:13:

Originally posted by mattcobain
non, ma non è che voglio ripeterli a papera le formule... è che vorrei capire quell'esempio perché a me sembra sbagliato....

__________________
È odio, odio puro, una pietra morta, merda piena di mosche, sorrisi di plastica, vomitarsi dentro... nessuna paura per la paura di aver paura, soldi in tasca e fame in bocca, buonasera e odio negli occhi, non ce la faccio più

Get FreeBSD NOW!
Anch'io voglio estinguermi!

Posted by vlaste on 28-06-2005 18:17:

In ogni caso è molto importante l'espressione, nello stile "poche cose, ma buone (direi ottime)". Cmq con Bertoni se hai studiato vai tranquillo, le altre due mi sembra torchino mooolto di più, soprattutto la Lonati (che però non c'è sempre agli esami)

Posted by mattcobain on 28-06-2005 19:52:

Originally posted by Col. Kurtz
È sbagliato, penso siano stati invertiti X ed Y:

S -> YC | AX
Y -> aYb | €
X -> bXc | €
A -> aA | €
C -> cC | €

così dovrebbe fungere.

ok allora non era solo una mia impressione!

thx

Posted by virtual on 28-06-2005 21:19:

Originally posted by Guinan
Bertoni non fa domande nè su UNIX nè sui linguaggi di mark-up.

Io ho assistito ad un orale della Palano dove chiedeva l' xml

__________________
Linux si coltiva... windows si pianta da solo

La prima volta che Adamo vide Eva disse: "Stai lontana cara, questo coso non so quanto cresce!!

Posted by mattcobain on 29-06-2005 10:09:

Originally posted by virtual
Io ho assistito ad un orale della Palano dove chiedeva l' xml

Off-Topic:
che palle!!! vabé dai, sono 2 pagine... leggerò

Posted by Col. Kurtz on 29-06-2005 10:13:

Originally posted by mattcobain
Off-Topic:
che palle!!! vabé dai, sono 2 pagine... leggerò

Magari chiede solo che tipo di linguaggio è e il sistema per riconoscerlo... Boh.
Chiedono sempre un esempio di linguaggio di tipo 2.

Posted by elly00 on 29-06-2005 11:11:

sapete se ci sono degli esempi sul'unione di due ASF?
intendo dal punti di vista grafico con il diagramma degli stati....

Posted by Oracle on 29-06-2005 22:46:

Ciao,
qual'è la dimostrazione di Kleene (la seconda che va saputa a menadito) ? Come si dimostra ?

__________________
Divide et impera

Posted by virtual on 30-06-2005 10:12:

Originally posted by Oracle
Ciao,
qual'è la dimostrazione di Kleene (la seconda che va saputa a menadito) ? Come si dimostra ?

Teor di kleene :

Un linguaggio L è riconosciuto da un ASF <=> L è denotato da un espressione regolare

Bisogna sapere le dimostrazioni di entrambi i sensi cioè :

1) ipotesi : L è denotato da un ER => tesi da dimostrare: L è ric. da un ASF
2) ipotesi : L è ric. da un ASF => tesi da dimostrare: L è denotato da un ER

Le dimostrazioni pero' sono un po lunghine.

La seconda implicazione si dimostra risolvendo un sistema di n equazioni in n incognite ove le incognite sono i linguaggi riconosciuti dagli automi derivati dall'automa di partenza cioè:
Supponendo che l'automa che riconosca L sia A0=<E,Q,delta,q0,F>
Suppongo che Q={q0,q1,q2,....,qN}
Allora gli automi derivati da A0 saranno:
A1=<E,Q,delta,q1,F> che riconosce L1
A2=<E,Q,delta,q2,F> che riconosce L2
....
....
AN=<E,Q,delta,qN,F> che riconosce LN

Quindi le incognite sono L1,....,LN

Questa è la partenza, il resto dovrebbe essere sulle dispense

__________________
Linux si coltiva... windows si pianta da solo

La prima volta che Adamo vide Eva disse: "Stai lontana cara, questo coso non so quanto cresce!!

Posted by Liumberg on 01-07-2005 09:20:

aiuto

Ciao,sapete dirmi se per quanto riguarda il pumping lemma viene richiesta anche la dimostrazione?

Posted by Guinan on 01-07-2005 09:22:

dipende con chi fai l'esame: il prfo. Bertoni non la chiede, ma chiede l'esempio citato sulle dispense, la prof. ssa Palano invece si.....!

__________________
- Long life and prosper!
- Elen sila lumen omentilmo!

Posted by ecthelion on 05-07-2005 15:36:

io ho seguito le prime lez poi non ho più seguito; mi ricordo che aveva detto di saltare qualcosa. culcuno sa dirmi cosa?
ciao

All times are GMT. The time now is 21:12.

Pages (7): « 1 2 [3] 4 5 6 7 »
Show all 103 posts from this thread on one page