поиск ошибок в условиях леммы накачки

Question

В моем экзамене я должен был написать все условия прокачки леммы. это именно то, что я сделал:

друг сказал мне, что есть ошибки, но я не могу их найти ... Может кто-нибудь помочь, пожалуйста? какие ошибки и почему?

Answer 1

Вы почти правы, но лемма прокачки требует, чтобы | xy |≤ p, не | xz |≤ р.Идея состоит в том, что строка разбивается на некоторые инициализацию (x), установившийся (y) и хвостовой (z), и что логика инициализации плюс установившегося состояния имеет некоторую длину.

Answer 2

Если я правильно помню, условия должны быть следующими:

• | x y |≤ p
• | y |≥ 1
• xy ⁱ z ∈ L , i ≥ 0

Так что y не должно быть пустым, а y может повторяться ноль или более раз.