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

Описание: Здесь мы доказываем (и формулируем) лемму о накачке для контекстно-свободных языков (КСЯ), наблюдая дерево разбора КС-грамматики в нормальной форме Хомского (НФХ). Свойства дерева разбора позволяют нам показать, что если сгенерированная строка достаточно велика, то самый длинный путь от корня до листьев в дереве разбора должен повторять переменную. Мы используем этот факт для генерации дополнительных деревьев разбора (т.е. большего количества строк, создаваемых КС-грамматикой), и рассматриваем свойства частей этой строки.

Сайт Easy Theory: https://www.easytheory.org
GoFundMe: https://www.gofundme.com/f/easy-theor...
Patreon:   / easytheoryyt  
Fourthwall: https://easy-theory-llc-shop.fourthwa...
Канал «Решение проблем»: ⁠ @easytheoryprobsolve

Если вам нравится этот контент, подпишитесь на мой канал:    / @easytheory