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

Везде в сети вы можете прочитать, что обычные языки должны проходить прокачивающую лемму, но теперь никто не говорит о конечных языках, которые фактически являются частью обычных языков.

Таким образом, мы все можем согласиться с тем, что следующий язык является конечным языком, так же как и обычным, но он определенно не проходит накачивающую лемму:

L = {'abc', 'defghi'}

Пожалуйста, скажите, если просто никто не пишет об этом илиwhy мы не правы - или даже нет.