Języki, automaty i obliczenia/Wykład 6: Automat niedeterministyczny; lemat o pompowaniu