Не уверен, что в тему, но всё же задам его здесь.
Итак, напоминаю. subj используется для доказательства нерегулярности языка.
Пусть L - регулярный язык. Существует константа n (зависящая от L), для которой каждую цепочку w из языка L, удовлетворяющую неравенству |w|>=n, можно разбить на три цепочки w=xyz так, что выполняются следующие условия:
1) y!=E (пустой цепочке)
2) |xy|<=n
3) Для любого k>=0 цепочка xy(K)z также принадлежит L (у(K) - итерация цепочки y K раз)
Ничего не сказано про z. Значит z может быть пустой цепочкой?