RG
Size: a a a
2020 June 17
EZ
RG
ну u_2 состоит из нулей
оо, а почему кстати?
EZ
оо, а почему кстати?
потому что u1u2 не длиннее n, а первые n символов нули
RG
потому что u1u2 не длиннее n, а первые n символов нули
хмм точняк) спс!)
CD
Ох уж эти извращенские формулировки пампинг леммы
EZ
Ох уж эти извращенские формулировки пампинг леммы
почему извращенские?
CD
почему извращенские?
Ну мне просто выписать состояния автомата кажется сильно естественнее
CD
Тут это хотя бы количество скушанных нулей
EZ
Ну мне просто выписать состояния автомата кажется сильно естественнее
Не совсем понял как ты ее хочешь формулировать
CD
Не совсем понял как ты ее хочешь формулировать
Я хочу прямо пользоваться множествами P(u) = { v : uv \in L }
EZ
Я хочу прямо пользоваться множествами P(u) = { v : uv \in L }
А, ну хз что это упрощает
CD
А, ну хз что это упрощает
Каждое P(0^k) очевидно уникально qed
EZ
Каждое P(0^k) очевидно уникально qed
Ну то что ты смог сократить пруф в сообщении в телеге так себе аргумент
EZ
Для 0^n1^n u_2=0^k QED
CD
Для 0^n1^n u_2=0^k QED
Ты использовал невведенные обозначения)
EZ
Ты использовал невведенные обозначения)
Ну ты использовал обозначение из предыдущего предложения
CD
Ну ты использовал обозначение из предыдущего предложения
Считай, что это все вместе
CD
n у тебя хотя бы размер автомата языка?)
EZ
Считай, что это все вместе
Пусть n константа из pumping lemma а u_2 среднее слово из нее