Enrico Francamente:

> Ah, dimenticavo: il fatto di mettersi ad esibire grammatiche e automi che
> riconoscono un certo linguaggio (e dimostrare che riconoscono *esattamente*
> quel linguaggio) non e' in generale banale. Manco per linguaggi semplici. E
> allora di solito si usa il pumping lemma (o altre cose del genere). Che
> sebbene sia formulato in positivo, generalmente si usa in negativo (ovvero
> per dimostrare che un linguaggio non e' CF -- regolare -- mostrando una
> determinata famiglia di stringhe -- programmi -- nel linguaggio che violano
> il suddetto lemma). Che e' sufficientemente complicato quando il tuo
> linguaggio parla di un stringa di n 0 seguita da n 1, figurati per un
> linguaggio di programmazione vero e proprio.


stai stuzzicando le mie reminiscenze...
lasciale dormire please !
:-)
_______________________________________________
Python mailing list
Python@lists.python.it
http://lists.python.it/mailman/listinfo/python

Rispondere a