mattcobain

I am my own parasite

User info:

Registered: Oct 2003
Posts: 1033 (0.14 al dì)
Location: Periferia sud-ovest
Corso: Informatica Magistrale
Anno: Fuori corso
Time Online: 13 Days, 19:47:00: [...]
Status: Offline

Post actions:

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

Last edited by mattcobain on 28-06-2005 at 17:25

Guinan

.grande:maestro.

User info:

Registered: Aug 2003
Posts: 655 (0.09 al dì)
Location: Hogwarts
Corso: informatica
Anno: terzo
Time Online: 4 Days, 20:19:16 [...]
Status: Offline

Post actions:

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!

mattcobain

I am my own parasite

User info:

Registered: Oct 2003
Posts: 1033 (0.14 al dì)
Location: Periferia sud-ovest
Corso: Informatica Magistrale
Anno: Fuori corso
Time Online: 13 Days, 19:47:00: [...]
Status: Offline

Post actions:

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

Col. Kurtz

Cannibale

User info:

Registered: May 2004
Posts: 849 (0.12 al dì)
Location: Cambogia
Corso: Informatica Magistrale
Anno: Ho finito
Time Online: 7 Days, 4:03:47 [...]
Status: Offline

Post actions:

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!

vlaste

Tecnoclassico

User info:

Registered: Jun 2004
Posts: 472 (0.07 al dì)
Location: Estrema periferia
Corso: Informatica
Anno: terzo... bis
Time Online: 3 Days, 5:56:07: [...]
Status: Offline

Post actions:

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)

mattcobain

I am my own parasite

User info:

Registered: Oct 2003
Posts: 1033 (0.14 al dì)
Location: Periferia sud-ovest
Corso: Informatica Magistrale
Anno: Fuori corso
Time Online: 13 Days, 19:47:00: [...]
Status: Offline

Post actions:

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

virtual

Scheggia Impazzita

User info:

Registered: Feb 2004
Posts: 167 (0.02 al dì)
Location: [MI]
Corso: Informatica
Anno: FINITO!
Time Online: 3 Days, 14:30:20 [...]
Status: Offline

Post actions:

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

__________________
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!!

mattcobain

I am my own parasite

User info:

Registered: Oct 2003
Posts: 1033 (0.14 al dì)
Location: Periferia sud-ovest
Corso: Informatica Magistrale
Anno: Fuori corso
Time Online: 13 Days, 19:47:00: [...]
Status: Offline

Post actions:

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

Col. Kurtz

Cannibale

User info:

Registered: May 2004
Posts: 849 (0.12 al dì)
Location: Cambogia
Corso: Informatica Magistrale
Anno: Ho finito
Time Online: 7 Days, 4:03:47 [...]
Status: Offline

Post actions:

Originally posted by mattcobain

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

__________________
È 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!

elly00

User info:

Registered: Sep 2004
Posts: 137 (0.02 al dì)
Location: Bergamo
Corso: Informatica
Anno: 2
Time Online: 2 Days, 14:59:21 [...]
Status: Offline

Post actions:

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

Oracle

Matroide

User info:

Registered: Aug 2003
Posts: 368 (0.05 al dì)
Location:
Corso: informatica della comunicazione
Anno: oo
Time Online: 5 Days, 23:00:13 [...]
Status: Offline

Post actions:

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

__________________
Divide et impera

virtual

Scheggia Impazzita

User info:

Registered: Feb 2004
Posts: 167 (0.02 al dì)
Location: [MI]
Corso: Informatica
Anno: FINITO!
Time Online: 3 Days, 14:30:20 [...]
Status: Offline

Post actions:

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!!

Liumberg

User info:

Registered: Oct 2002
Posts: 53 (0.01 al dì)
Location: Bregnano -CO-
Corso: laurea triennale informatica
Anno: 3
Time Online: 1 Day, 2:08:00: [...]
Status: Offline

Post actions:

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

Guinan

.grande:maestro.

User info:

Registered: Aug 2003
Posts: 655 (0.09 al dì)
Location: Hogwarts
Corso: informatica
Anno: terzo
Time Online: 4 Days, 20:19:16 [...]
Status: Offline

Post actions:

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!

ecthelion

User info:

Registered: Dec 2003
Posts: 78 (0.01 al dì)
Location:
Corso: Informatica
Anno: 3
Time Online: 1 Day, 15:14:11 [...]
Status: Offline

Post actions:

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