Języki, automaty i obliczenia/Wykład 10: Lemat o pompowaniu dla języków bezkntekstowych. Własności języków bezkontekstowych. Problemy rozstrzygalne