Википедия:К объединению/8 января 2016

• Начинающим
• Сообщество
• Порталы
• Избранное
• Проекты
• Запросы
• Оценивание

К объединению: 8 мая 9 мая 10 мая 11 мая 12 мая 13 мая 14 мая 1 мая 2 мая 3 мая 4 мая 5 мая 6 мая 7 мая 24 апреля 25 апреля 26 апреля 27 апреля 28 апреля 29 апреля 30 апреля 17 апреля 18 апреля 19 апреля 20 апреля 21 апреля 22 апреля 23 апреля

 | 

Здесь находятся завершившиеся обсуждения. Просьба не вносить изменений.

Лемма о разрастании и Лемма о накачке для регулярных языков

Статьи об одном и том же. Достаточно глянуть в книгу Пентуса, где у леммы даны все названия. Информацию нужно объединить, желательно, по источникам. РоманСузи 17:32, 8 января 2016 (UTC)

Итог

Лемм о разрастании существует несколько (для регулярных языков, для контекстно-свободных языков, для индексных языков), но обе обсуждаемые статьи относятся к утверждению о регулярных языках. Первая создана в 2006 году, вторая — в 2009 году, так что с точки зрения истории правок первая имеет приоритет, и вторая заменена перенаправлением на первую с сохранением истории правок. Вопрос о вносе информации из второй статьи и возможной развязке по наименованиям возможно решить в рабочем порядке или поднять на другом обсуждении, bezik° 11:49, 1 января 2017 (UTC)