L = {а ^ п б с ^ п | i больше 1 и меньше 100, n больше 1}
Я думаю, что неправильно понял лемму о прокачке для cfl. почему я не могу выбрать слово z = a ^ ncb ^ n, а затем разбить его на u = a ^ sv = a ^ ns w = epsilon x = b, y = b ^ n, затем накачать его с помощью i = 0, а затем получить противоречие так как 0 b не удовлетворяет язык? Я, наверное, что-то здесь упускаю.