Лемма о накачке для контекстно-свободных языков, утверждение и полное доказательство

Здесь мы доказываем (и формулируем) лемму о накачке для контекстно-свободных языков (КСЯ), наблюдая дерево разбора КС-грамматики в нормальной форме Хомского (НФХ). Свойства дерева разбора позволяют нам показать, что если сгенерированная строка достаточно велика, то самый длинный путь от корня до листьев в дереве разбора должен повторять переменную. Мы используем этот факт для генерации дополнительных деревьев разбора (т.е. большего количества строк, создаваемых КС-грамматикой), и рассматриваем свойства частей этой строки. Сайт Easy Theory: https://www.easytheory.org GoFundMe: https://www.gofundme.com/f/easy-theory-video-studio Patreon: https://www.patreon.com/EasyTheoryYT Fourthwall: https://easy-theory-llc-shop.fourthwall.com/ Канал «Решение проблем»: @easytheoryprobsolve Если вам нравится этот контент, подпишитесь на мой канал: https://www.youtube.com/channel/UC3VY6RTXegnoSD_q446oBdg