Редактирование: Конструирование Компиляторов, Теоретический минимум (2009)
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
ПРЕДУПРЕЖДЕНИЕ: Длина этой страницы составляет 30 килобайт. Страницы, размер которых приближается к 32 КБ или превышает это значение, могут неверно отображаться в некоторых браузерах. Пожалуйста, рассмотрите вариант разбиения страницы на меньшие части.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 256: | Строка 256: | ||
== Формулировка леммы о разрастании для КС-языков == | == Формулировка леммы о разрастании для КС-языков == | ||
- | Для любого контекстно-свободного языка L существуют такие целые l и k, что любая цепочка | + | Для любого контекстно-свободного языка L существуют такие целые l и k, что любая цепочка alpha; ∈ L, |α| > l представима в виде α = uvwxy, где |
# |vwx| <= k | # |vwx| <= k | ||
# vx != e | # vx != e |