Обсуждение:Лемма о разрастании

Согласно принятому решению, на эту страницу перенесено содержимое страницы Лемма о накачке для регулярных языков.
Действие выполнено по итогам обсуждения на странице Википедия:К объединению/8 января 2016. Список авторов интегрированных статей доступен через их историю правок.

Проект «Информационные технологии» (уровень IV, важность для проекта низкая)

Эта статья тематически связана с вики-проектом «Информационные технологии», цель которого — создание и улучшение статей по темам, связанным с информационными технологиями. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями.

IV

Уровень статьи по шкале оценок проекта «Информационные технологии»: заготовка

Низкая

Важность статьи для проекта «Информационные технологии»: низкая

вопрос править

Почему обратная формулировка имеет такой вид? а не такой: $(\forall n\in \mathbb {N} )(\exists \alpha \in L\colon |\alpha |\geq n)(\forall u,v,w\in V^{*}\colon \alpha =uvw\land |uv|\leq n\land |v|\geq 1)(\exists i\in \mathbb {N} \cup 0)uv^{i}w\not \in L$

Есть дублирующая статья править

Есть другая статья на ту же тему: Лемма о накачке для регулярных языков 17:05, 21 сентября 2014 (UTC) М. — Эта неподписанная реплика была добавлена с IP 109.188.126.222 (обс.). Подписывайте свои сообщения с помощью ~~~~.

Добавить тему