.dsy:it. (http://www.dsy.it/forum/)
- Linguaggi formali e automi (http://www.dsy.it/forum/forumdisplay.php?forumid=132)
-- Domanda Veloce Esempio 3.2 (http://www.dsy.it/forum/showthread.php?threadid=38768)

Domanda Veloce Esempio 3.2

Ciao,
forse sto capendo questa materia , incredibile....
pero' ho un dubbio sulle slide

esempio 3.2

linguaggio a^n b ^n c^n con n >= 1

Sulle slide le regole di produzione indicate sono

S -> aSBC, S -> aBC, CB -> BC, aB -> ab, bB -> bb, bC-> bc, cC-> cc


pero' scusate, come si puo' generare allora con queste regole
la parola abc che ha n=1 ??????????

grazie a chi mi aiutera'

ah nooooooo, ho capito....

si fa cosi'??!??!
APPLICO IN ORDINE LE REGOLE

S --> a B C

APPLICO LA aB-->ab

e mi diventa

abC

APPLICO LA bC-->bc

e mi diventa finalmente la parola abc !!!!!!!!!!!
e' corretto?!?

yes

e' fantastico!!!!! penso di avere superato uno scoglio!!!!!!!!!

pero' se in generale all'esame mi dovesse chiedere di le regole di produzione per generare il linguaggio non generale con ^n , ma ad esempio abc

le potrei dare come regole di produzione delle regole arbitrarie mie?

ad esempio potrei dare come regole
1) S->aSbc
2) S-->parola vuota

APPLICO LA PRIMA
S-->aSbc -->
APPLICO LA SECONDA
e ottengo abc

cioe' alla fine le regole sono arbitrarie?

perche' se e' cosi' il linguaggio abc lo potrei generare anche con queste regole

S-->aSBC
S-->PAROLA VUOTA
BC-->bc

applico la prima
S-->aSBC
Applico la seconda
aBC
applico la terza e ottengo abc , sbaglio qualcosa o va bene cosi'?
cioe' io mi creo regole arbitrarie in questo esempio?

dai solo quelle delle dispense e basta.
ma devi sapere le dimostrazioni bene in modo formale: è molto rigido in questo senso.


ciao

dai , ma le definizioni le so , ma la palano mi ha bocciato l'altra volta perche' non avevo proprio capito queste cose,
mi puoi dire se e' corretto quello che ho scritto sopra?
cioe' alla fine per creare il linguaggio abc posso utilizzare indifferentemente i 2 esempi che ho fatto?

è sbagliaTO.
NON PUOI FARE DA S-> PAROLA VUOTA.
il linguaggio e a^nb^nc^n con n>0
quindi nel tuo linguaggio non puoi avere la parolo vuota che hai invece se metti la regola S->parola vuota

no no....il linguaggio dell'esempio che ho fatto solo e' semplicemente abc ....non in generale a^n b^n c^n

un linguaggio con abc non comprende la parola vuota

uffff....hai ragione....
quindi per le regole di produzione per il linguaggio che genera
la parola abc

potrebbero essere queste?

S-->aBC
BC-->bc

scusa lo stress ma e' importante capire bene gli esempi perche' non voglio farmi fregare all'esame

se la parola e abc ti basta solo S->abc

beh si , ma mi sembrava troppo banale ;-) ....
una riga in piu' faceva vedere che avevo proprio capito come giocare come le regole... ;-)

le regole devo essere minimali in questo modo sono efficienti

ok! grazie , che bello avere capito una cosa che per me era veramente un casino.

ho un dubbio, le parole che puo generare un linguaggio del tipo: a + ab*

sono [parola vuota,a,ab^n] giusto?