<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">Enrico Francamente:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">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.</blockquote></div><br><div><div class="gmail_signature"><div>stai stuzzicando le mie reminiscenze...</div><div>lasciale dormire please !</div><div>:-)</div></div></div>
</div></div>