Ragazzi, visti i risultati non proprio confortanti della prova scritta e di quella di laboratorio, ho messo a disposizione sul mio sito le soluzioni di questo appello. Spero vi siano d'aiuto.
Citazione:Messaggio inserito da frankieta
Posto i due quesiti (come li ricordo io) dello scritto di stamattina con Semeraro.
1) Dato il linguaggio L= {a^m b^n | m=n^2| dimostrare che NON è libero da contesto}
2)Dato L1 = {w appartiene a {0,1}* | non ci sono quattro zeri consecutivi}
progettare e commentare l' automa a stati finiti deterministico che riconosce L1.
Poi dato L2 = {w appartiene a {0,1}* | non ci sono tre zeri consecutivi}