pumping lemma

[Gerasia]

ho provato a fare questo esercizio sul pumping lemma, qualcuno potrebbe dirmi se è corretto o meno??
L={aⁿ bⁿ |n>=0}
pongo come ipotesi:
n=3      x=aabb
adesso verifico le proprietà( ) del pumping lemma:
|uv|=|aa|<3
|v|=1
X_i0=uv⁰z
X_i0=abb che non appartiene al linguaggio,
 quindi posso affermare che il linguaggio L={aⁿ bⁿ |n>=0} non è un linguaggio regolare

[teo998]

non credo si possa porre n a piacere, perché il suo valore dipende dall'automa che riconosce il linguaggio
puoi porre x a piacere, chiaramente in funzione della variabile n

l'esercizio comunque è svolto nell'ausiello

[Gerasia]

infatti ho messo n=3 apposta perchè è il numero degli stati dell'automa

[ScavoRosario98]

Provo a risolverlo ma non garantisco la correttezza dello svolgimento.
Dato il linguaggio
Deduco che il 'numero di a' deve essere uguale al 'numero' di b.
Per dimostrare che il linguaggio non è regolare, utilizzo il pumping lemma, ovvero, devo negarlo, questo significa:
  |z|>=n

quindi in uv avrò tutte a mentre in w avrò tutte b, nello stesso numero.
Prendendo però i=0 , in quanto in quanto modo so sicuramente che ci saranno n volte caratteri b ma al più n caratteri di a.
Sperò di non aver detto troppe scemenze   

[Franco Barbanera]

infatti ho messo n=3 apposta perchè è il numero degli stati dell'automa

Da dove salta fuori il numero 3???

[teo998]

infatti ho messo n=3 apposta perchè è il numero degli stati dell'automa

così hai dimostrato che non esiste un automa con 3 stati che riconosce il linguaggio; per dimostrare che è non regolare devi dimostrare che per qualunque valore di n non esiste un ASFD che lo riconosca

[Gerasia]

infatti ho messo n=3 apposta perchè è il numero degli stati dell'automa

così hai dimostrato che non esiste un automa con 3 stati che riconosce il linguaggio; per dimostrare che è non regolare devi dimostrare che per qualunque valore di n non esiste un ASFD che lo riconosca

io avevo capito si potesse scegliere un valore tenendo conto del numero minimo degli stati che servono ad un automa per riuscire a riconoscerlo o meno

[jeremy_sapienza]

infatti ho messo n=3 apposta perchè è il numero degli stati dell'automa

così hai dimostrato che non esiste un automa con 3 stati che riconosce il linguaggio; per dimostrare che è non regolare devi dimostrare che per qualunque valore di n non esiste un ASFD che lo riconosca

io avevo capito si potesse scegliere un valore tenendo conto del numero minimo degli stati che servono ad un automa per riuscire a riconoscerlo o meno

se avesse detto, fissato un numero k era in quel modo

[ɹǝǝuıƃuǝsɹǝʌǝɹ]

infatti ho messo n=3 apposta perchè è il numero degli stati dell'automa

Quale automa? Quello che non esiste?

Qui adesso risulta agevole utilizzare la funzione Ricerca (Search in alto) di questo forum, per poterti indirizzare a
questo mio interessante post a riguardo del Pumping Lemma.

Leggi, studia, e chiedi scusa ...

[teo998]

io avevo capito si potesse scegliere un valore tenendo conto del numero minimo degli stati che servono ad un automa per riuscire a riconoscerlo o meno

quello che hai scritto è vero; il fatto è che questo numero minimo degli stati che servono ad un automa per riconoscere un linguaggio non è noto a priori; potrebbe essere uno, cento, centomila

Per fare il ragionamento che hai fatto tu dovresti prima dimostrare che il numero minimo degli stati necessari è 3 (ma dimostrare questo non è possibile)