Język regularny: Różnice pomiędzy wersjami

Wobec warunku <math>|xy|<n</math> z lematu, <math>y</math> leży w całości w części <math>a^m</math>. Wtedy <math>xy^2z</math> ma więcej znaków <math>a</math> niż <math>b</math>, gdyż <math>|y|>0</math>. Zatem słowo <math>xy^2z</math> nie należy do <math>L</math>, wbrew tezie lematu o pompowaniu.

 

 

{{Języki formalne i gramatyki}}