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

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

Здесь мы приводим четыре доказательства того, что языки не являются контекстно-свободными: 1) {a^n b^n c^n : n не менее 0} 2) {a^i b^j c^k : i не более j, j не более k} 3) {ww : w в {0,1}*} 4) {w в {a,b,c,d}* : в w больше c, чем a, b или d} В каждом из них мы приводим доказательство того, что каждый язык не является контекстно-свободным, сначала предполагая, что он контекстно-свободен, а затем используя тот факт, что для каждого языка существует константа накачки p, находим строку, которую нельзя накачать. Сайт Easy Theory: https://www.easytheory.org GoFundMe: https://www.gofundme.com/f/easy-theor... Patreon:   / easytheoryyt   Fourthwall: https://easy-theory-llc-shop.fourthwa... Канал решения задач: ​⁠ @easytheoryprobsolve Временные метки: 0:00 — Введение 1:00 — Основные этапы доказательства 3:30 — {a^n b^n c^n: n не менее 0} 14:20 — {a^i b^j c^k: i не более j, j не более k} 24:00 — {ww: w в {0,1}*} 37:30 — {w в {a,b,c,d}*: w содержит больше c, чем a, b или d} Если вам нравится этот контент, пожалуйста, подпишитесь на мой канал:    / @easytheory