#toclectures #pumpinglemma #regulargrammar