da Brufus » 04/02/2019, 03:22
grazie per avermi risposto.preciso che l'alfabeto su cui lavoriamo è costituito dalle lettere a,b.
potresti spiegarmi nella decomposizione $xyz$ quali sarebbero le parole $x$ ed $y$?
dovendo valere $|xy|<=p$ ed essendo la nostra parola della forma $aab^paab^paa$ necessariamente sarà $xy = aab^(p-2)$ giusto?E dovendo per forza di cosa essere $|y|>=1$ i casi possibili sarebbero:
1)$y=b^t,1<=t<=p-2$
2)$y= ab^(p-2)$
3)$y=aab^(p-2)$.
sto sbagliando nel ragionamento?era questo ciò che intendevi tu?
Inoltre vorrei capire una sottigliezza.Nell'utilizzare il pumping lemma per dimostrare la non regolarità di un linguaggio cosa cambia nell'avvalersi della contronominale,(ovverosia far vedere che $forall n in N$ esiste una parola $w,|w|>=n$ tale che per ogni decomposizione $w=xyz, |xy|<=n,|y|>=1,xy^iz notin L$ per almeno un $i >=0$)oppure la dimostrazione per assurdo che tu stai usando in questa sede?