Conversation
Случайно задел слово другого человека, поэтому всё вернул на место!
Попытка пройти тесты путём добавления - и чего-то ещё (?)
nybc4ik
left a comment
nybc4ik
left a comment
There was a problem hiding this comment.
Попытка пройти тесты
TonitaN
left a comment
TonitaN
left a comment
There was a problem hiding this comment.
Нужно везде сильно расширить тексты вопросов, иначе это вливание вообще полностью сломает БЗ
data/data.yaml
Outdated
| - 'Какая грамматика называется автоматной? | ||
|
|
||
| ' | ||
| - answer: ' Накачка языка - это возможность многократного повторения некоторой подстроки |
There was a problem hiding this comment.
@BaldiSlayer , думаю, это вливание сделает жизнь ещё интереснее)
data/data.yaml
Outdated
| - Что такое накачка языка? | ||
| - answer: ' Пусть G — КС-грамматика в форме Хомского. Тогда существует p ∈ N такое, | ||
| что любое слово w ∈ L(G) длины не меньше p имеет представление вида x1y1zy2x2, | ||
| где |y1y2| ⩾ 1, |y1zy2| ⩽ p, и все слова вида x1y^k1zy^k2x2 также принадлежат |
There was a problem hiding this comment.
Хотя бы примеры накачек КС-языков могли бы как-то это спасти
data/data.yaml
Outdated
| author: Камаев Сергей | ||
| id: 170 | ||
| questions: | ||
| - Лемма о накачке КС языков |
There was a problem hiding this comment.
Переименовать и упомянуть кванторные игры в ВОПРОСЕ
Исправил язык, теперь он реуглярный
data/data.yaml
Outdated
| id: 179 | ||
| questions: | ||
| - Может ли накачка применяться рекурсивно? | ||
| - answer: 'Для доказательства того, что для данного контекстно-свободного (КС) языка |
There was a problem hiding this comment.
вот у кого я видела это...
ты просто скопировал ответ ллм?)
судя по звёздочкам = выделение жирным
и специфичному обрамлению формул круглыми скобками
There was a problem hiding this comment.
Так у меня даже не залито в ллм ещё @_@
There was a problem hiding this comment.
забавно, что мой комментарий показался "неоднозначным"
задам вопрос по-другому: ты сам писал текст ответа, строки 3145-3163?)
There was a problem hiding this comment.
Да, я писал сам, если тебе не нравятся мои жирненькие слова, я их уберу, когда выкачу следующие исправления.
data/data.yaml
Outdated
| author: Камаев Сергей | ||
| id: 178 | ||
| questions: | ||
| - Что такое лемма Огдена? |
There was a problem hiding this comment.
Спасибо за заботу, постараюсь найти ещё один вопросик, который точно не окажется дублем!
data/data.yaml
Outdated
| - Что такое накачка языка? | ||
| - answer: ' Пусть G — КС-грамматика в форме Хомского. Тогда существует p ∈ N такое, | ||
| что любое слово w ∈ L(G) длины не меньше p имеет представление вида x1y1zy2x2, | ||
| где |y1y2| ⩾ 1, |y1zy2| ⩽ p, и все слова вида x1y^k1zy^k2x2 также принадлежат |
data/data.yaml
Outdated
| формулировка: Для каждой достаточно длинной строки в реуглярном языке должна существовать | ||
| средняя часть, которую можно повторять (или наращивать) любое количество раз, | ||
| чтобы получилась строка, которая всё ещё относится к этому языку. Используется | ||
| для проверки принадлежности слова к определённому языку. ' |
There was a problem hiding this comment.
О, я придумала, как спасти этот вопрос. Сделайте вариант "критерий регулярного языка - возможность накачки достаточно длинных слов в нём в рамках любой достаточно длинной подстроки" (не только в префиксе).
У вас близко к этому.
There was a problem hiding this comment.
Большое спасибо за идею! Теперь я смог исправить этот вопрос.
data/data.yaml
Outdated
| в виде “игры с противником” следующим образом. 1. Мы выбираем язык L, желая доказать, | ||
| что он не контекстно-свободный. 2. Наш “противник” выбирает заранее неизвестное | ||
| нам n, поэтому мы должны рассчитывать на любое возможное значение. 3. Мы выбираем | ||
| z и при этом можем использовать n как параметр. 4. Противник разбивает z на uvwxy, |
There was a problem hiding this comment.
пояснить, что такое z, и что нужно рассматривать все возможные разбиения, но i мы можем выбирать сами.
There was a problem hiding this comment.
Добавил все необходимые пояснения.
data/data.yaml
Outdated
| author: Камаев Сергей | ||
| id: 172 | ||
| questions: | ||
| - Лемма о накачке для регулярных языков |
data/data.yaml
Outdated
| author: Камаев Сергей | ||
| id: 174 | ||
| questions: | ||
| - Применение леммы о накачке с помощью двух противников |
There was a problem hiding this comment.
Почти дословный дубль уже разобранного вопроса про игры в накачку кс языка.
Предлагаю заменить на "кванторную сложность множеств (иерархию Клини-Мостовского)" и кванторную сложность свойства накачиваемости
data/data.yaml
Outdated
| author: Камаев Сергей | ||
| id: 177 | ||
| questions: | ||
| - Что такое нормальная форма Грейбах? |
There was a problem hiding this comment.
На базе вопроса 127, 128, 143, всё прекрасно отвечается. И даже лучше чем у вас, т.к. вы забыли отметить ситуацию с пустым словом
https://gist.github.com/stewkk/8360e931b26f74c1c7396467f3448660
data/data.yaml
Outdated
|
|
||
| 1. **Свойства DCFL**: Детерминированные КС языки (DCFL) замкнуты относительно | ||
| операций дополнения и пересечения с регулярными языками. Если можно показать, | ||
| что данный язык не обладает одним из этих свойств, это докажет его недетерминированность. |
There was a problem hiding this comment.
Это галлюцинация. Какая ещё не замкнутость отдельного языка относительно множественных операций?
data/data.yaml
Outdated
| ( a^n b^m c^m ), автомат должен проверить, что ( m = k ). - Однако DPDA не может | ||
| одновременно хранить в стеке информацию о двух независимых параметрах ( n ) и | ||
| ( k ) и принимать решение в детерминированной форме. Следовательно, DPDA не может | ||
| обработать ( L ), и данный язык недетерминирован. |
data/data.yaml
Outdated
| author: Камаев Сергей | ||
| id: 180 | ||
| questions: | ||
| - Как доказать, что для данного кс языка нельзя построить детерминированный pda? |
There was a problem hiding this comment.
Тут всё настолько ужасно, что проще заменить вопрос.
data/data.yaml
Outdated
| questions: | ||
| - Как доказать, что для данного кс языка нельзя построить детерминированный pda? | ||
| - answer: ' | ||
| Длина накачки — это число, связанное с леммой о накачке для регулярных языков. |
There was a problem hiding this comment.
Спасибо за внимательность, сейчас добавлю и для кс - языков
There was a problem hiding this comment.
Ахаха, может, лучше сразу в общем виде? Ещё же минимум для DCFL есть, и линейных КС, и это всё - длины накачки, которые можно охарактеризовать единообразно)
There was a problem hiding this comment.
Привёл определение к общему виду! Пришлось удалить примеры :(
data/data.yaml
Outdated
| - answer: ' | ||
| Длина накачки — это число, связанное с леммой о накачке для регулярных языков. | ||
| Длина накачки — это число, связанное с леммой о накачке для регулярных или контекстно-свободных языков. | ||
| Она обозначается как \(p\) и указывает минимальную длину строки, при которой можно применить лемму о накачке. |
There was a problem hiding this comment.
И всё-таки у всех лемм о накачке есть кое-что общее) Вот хотелось бы увидеть, что.
There was a problem hiding this comment.
Я добавил общие детали для всех лемм о накачке
There was a problem hiding this comment.
Кстати, обозначение p здесь не существенно, потому что оно дальше нигде не используется.
Упомянул в вопросе критерий регулярности языка
Пояснил, что такое z и то, что мы можем выбирать i самостоятельно
TonitaN
left a comment
TonitaN
left a comment
There was a problem hiding this comment.
- ещё старые замечания никуда не делись
data/data.yaml
Outdated
| - answer: 'Критерий регулярного языка заключается в том, что в любом достаточно длинном слове этого языка можно найти подстроку, | ||
| которую можно накачивать любое количество раз, и полученные слова всё ещё будут принадлежать этому языку. | ||
| Это условие распространяется не только на префиксы, но и на любую достаточно длинную подстроку. | ||
| Точная формулировка: Для каждой достаточно длинной строки в регулярном языке существует такая её внутренняя часть, |
There was a problem hiding this comment.
Если просто существует какая-то накачиваемая внутренняя часть любой достаточно длинной строки, то это более слабое утверждение, чем классическая лемма о накачке. Забыли кое-что тут
There was a problem hiding this comment.
Добавил информации касательно подстроки.
There was a problem hiding this comment.
И получилась стандартная лемма о накачке, а не критерий регулярности.
data/data.yaml
Outdated
| author: Камаев Сергей | ||
| id: 169 | ||
| questions: | ||
| - Что такое критерий регулярности языка? |
There was a problem hiding this comment.
Уточнил этот вопрос, также добавил ещё один вопрос, но с другим критерием.
data/data.yaml
Outdated
| - Лемма о накачке КС языков | ||
| - answer: Лемма о накачке для КС-языков, как и для регулярных языков, используется | ||
| в виде “игры с противником” следующим образом. 1. Мы выбираем язык L, желая доказать, | ||
| что он не контекстно-свободный. 2. Наш “противник” выбирает заранее неизвестное |
data/data.yaml
Outdated
| в виде “игры с противником” следующим образом. 1. Мы выбираем язык L, желая доказать, | ||
| что он не контекстно-свободный. 2. Наш “противник” выбирает заранее неизвестное | ||
| нам n, поэтому мы должны рассчитывать на любое возможное значение. 3. Мы выбираем слово | ||
| z, которое принадлежит языку, оно должно быть не меньше n, при этом z зависит от n, |
data/data.yaml
Outdated
| id: 170 | ||
| questions: | ||
| - Лемма о накачке КС языков | ||
| - answer: Лемма о накачке для КС-языков, как и для регулярных языков, используется |
There was a problem hiding this comment.
Нужно аккуратнее это сформулировать. Можно унифицировать это описание для обеих лемм о накачке, но тогда нужно определять действия по-другому, более общо.
data/data.yaml
Outdated
| так что мы можем использовать n как параметр (лучше всего выбирать z таким образом, чтобы, накачивая или наоборот укорачивая, получить противоречие, ведь в этом наша цель). | ||
| 4. Противник разбивает z на uvwxy, соблюдая ограничения |vwx| ≤ n и vx ≠ ε. | ||
| Противник может может выбрать любое разбиение, поэтому очень важно учесть их все при выборе z. | ||
| 5. Мы “выигрываем”, если можем, самостоятельно выбрать нужное нам значение i и затем показать, что uv^iwx^i y не принадлежит языку L. |
There was a problem hiding this comment.
Вспомнить про кванторы, и за какой квантор и в какой формуле мы "играем"
data/data.yaml
Outdated
| - answer: ' | ||
| Длина накачки — это число, связанное с леммой о накачке для регулярных языков. | ||
| Длина накачки — это число, связанное с леммой о накачке для регулярных или контекстно-свободных языков. | ||
| Она обозначается как \(p\) и указывает минимальную длину строки, при которой можно применить лемму о накачке. |
There was a problem hiding this comment.
Кстати, обозначение p здесь не существенно, потому что оно дальше нигде не используется.
Удалил плохой вопрос, добавил информации в хороший, продолжаю исправления :(
data/data.yaml
Outdated
| - answer: 'Критерий регулярного языка заключается в том, что в любом достаточно длинном слове этого языка можно найти подстроку, | ||
| которую можно накачивать любое количество раз, и полученные слова всё ещё будут принадлежать этому языку. | ||
| Это условие распространяется не только на префиксы, но и на любую достаточно длинную подстроку. | ||
| Точная формулировка: Для каждой достаточно длинной строки в регулярном языке существует такая её внутренняя часть, |
There was a problem hiding this comment.
И получилась стандартная лемма о накачке, а не критерий регулярности.
data/data.yaml
Outdated
| - Что такое накачка языка? | ||
| - answer: ' Пусть G — КС-грамматика в форме Хомского. Тогда существует p ∈ N такое, | ||
| что любое слово w ∈ L(G) длины не меньше p имеет представление вида x1y1zy2x2, | ||
| где |y1y2| ⩾ 1, |y1zy2| ⩽ p, и все слова вида x1y^k1zy^k2x2 также принадлежат |
data/data.yaml
Outdated
| в виде “игры с противником” следующим образом. 1. Мы выбираем язык L, желая доказать, | ||
| что он не контекстно-свободный. 2. Наш “противник” выбирает заранее неизвестное | ||
| нам n, поэтому мы должны рассчитывать на любое возможное значение. 3. Мы выбираем слово | ||
| z, которое принадлежит языку, оно должно быть не меньше n, при этом z зависит от n, |
data/data.yaml
Outdated
| id: 179 | ||
| questions: | ||
| - Может ли накачка применяться рекурсивно? | ||
| - answer: 'Язык является регулярным, если число классов эквивалентности конечно.' |
Исправил вопросы про накачку КС языков
|
По 10 раз не буду тут повторять уже 100 раз повторённое. Готовьте вариант для окончательной сдачи, перепроверок уже не будет, только одна. И готовьте с учётом всего, о чём шла речь выше и в общем относительно заполнения БЗ. |
Внёс все необходимые правки, заменил дубли и добавил новые вопросы.
TonitaN
left a comment
TonitaN
left a comment
There was a problem hiding this comment.
Всё ещё много дублей и есть погрешности.
Но хотя бы видно, что были попытки исправиться, и местами даже удачные. Поэтому даю вам шанс доработать имеющиеся и разобраться с дублями сегодня до 21.
data/data.yaml
Outdated
| author: Камаев Сергей | ||
| id: 170 | ||
| questions: | ||
| - 'Лемма о накачке КС языков' |
data/data.yaml
Outdated
| id: 172 | ||
| questions: | ||
| - 'Является ли язык правильной скобочной последовательности контекстно-свободным? Если да, то приведи пример грамматики, задающей этот язык. Если нет, то обоснуй почему?' | ||
| - answer: 'Ограниченный квантор - это такой квантор, в котором переменная квантора ограничивается термом, при этом для ограничения используется < или <=. |
There was a problem hiding this comment.
Тут формулировку лучше уточнить: подкванторная переменная может пробегать только конечное множество значений.
data/data.yaml
Outdated
| questions: | ||
| - 'Что такое кванторная сложность множеств и иерархия Клини-Мостовского?' | ||
| - answer: 'Кванторная структура свойства накачиваемости может быть представлена следующим образом: | ||
| Критерий регулярности языка: ∃p ∀w ∈ L |w| ≥ p ∃u, x, y, z: w = uxyz и |u| ≤ |w| - p и |xy| ≤ p и |y| > 0 ∀k ≥ 0 uxyᵏz ∈ L |
There was a problem hiding this comment.
Лучше переписать со скобочками в предварённой нормальной форме, а не словами.
data/data.yaml
Outdated
| - answer: 'Кванторная структура свойства накачиваемости может быть представлена следующим образом: | ||
| Критерий регулярности языка: ∃p ∀w ∈ L |w| ≥ p ∃u, x, y, z: w = uxyz и |u| ≤ |w| - p и |xy| ≤ p и |y| > 0 ∀k ≥ 0 uxyᵏz ∈ L | ||
| В критерии для регулярных языков есть три неограниченных квантора, которые дают бесконечные альтернативы ∃p ∈ ℕ ∀w |w| > p (здесь далее идет ограничивающий квантор на разбиение w на подслова, потому что разбиений слова — конечное число) ∀k k ⩾ 0 (...) | ||
| Но два повторяющихся неограниченных квантора ∀ засчитываются как один, так как нет перехода от одного типа квантора к другому. Поэтому класс все равно остается Σ₂ — второй класс, даже несмотря на то, что неограниченных кванторов три. |
| S -> S1 | S2 | ||
| В этом правиле S1 порождает все строки из L1, а S2 из L2. Все остальные правила из G1 и G2 добавляем без изменений. (Но если в грамматиках будут одинаковые нетерминалы, их нужно переименовать!) | ||
| Таким образом новая грамматика порождает все строки из L1 и L2. | ||
| Вывод- объединение контекстно-свободных языков всегда контекстно-свободно' |
| id: 176 | ||
| questions: | ||
| - 'Всегда ли объединение двух контекстно-свободных языков является контекстно-свободным языком?' | ||
| - answer: 'Линейный язык — это язык, который может быть порожден линейной грамматикой. Линейная грамматика — это контекстно-свободная грамматика, |
There was a problem hiding this comment.
Строго говоря, это дубль id: 246, но его можно спасти, переделав в лемму о накачке для линейных кс-языков.
data/data.yaml
Outdated
| questions: | ||
| - 'Является ли объединение детерминированных контекстно-свободных языков детерминированным или недетерминированным?' | ||
| - answer: ' | ||
| 'Язык \(L\) является регулярным тогда и только тогда, когда отношение эквивалентности по продолжениям, определённое так: |
data/data.yaml
Outdated
| author: Камаев Сергей | ||
| id: 180 | ||
| questions: 'Как формулируется критерий регулярности языка в терминах классов эквивалентности?' | ||
| - answer: ' Длина накачки — это число, связанное с леммой о накачке. |
There was a problem hiding this comment.
*с леммой о накачке для некоторого класса формальных языков
| K -> bKc | ε | ||
| Теперь если сделать пересечение этих двух языков, можно получить язык L3= a^nb^nc^n, который не является контекстно-свободным, что нетрудно проверить используя лемму о накачке для КС языков. | ||
| Таким образом пересечение двух контекстно-свободных языков не всегда является контекстно-свободным.' | ||
| author: Камаев Сергей |
There was a problem hiding this comment.
Частичный дубль id: 165.
Но его можно кое-как спасти, добавив вопрос "доказательство незамкнутости КС-языков относительно пересечения".
data/data.yaml
Outdated
| author: Камаев Сергей | ||
| id: 179 | ||
| questions: | ||
| - 'Является ли объединение детерминированных контекстно-свободных языков детерминированным или недетерминированным?' |
There was a problem hiding this comment.
Дубль id: 222. Подумайте, как изменить.
Прошу прощения за задержку с исправлениями! Постарался исправить ошибки, убрать дубли и придумать новые вопросы.
TonitaN
left a comment
TonitaN
left a comment
There was a problem hiding this comment.
Лимит запросов к MAT всё.
И так у вас был повышенный сегодня)
data/data.yaml
Outdated
| questions: | ||
| - 'Что такое кванторная сложность множеств и иерархия Клини-Мостовского?' | ||
| - answer: 'Кванторная структура свойства накачиваемости может быть представлена следующим образом: | ||
| Критерий регулярности языка: ∃p ∀w ∃u∃x∃y∃z ∀k¬(p ∈ ℕ) ⋁ ¬(w ∈ L) ⋁ ¬(|w| ≥ p) ⋁ ¬(w = uxyz) ⋁ ¬(|u| ≤ |w| - p) ⋁ (uxyᵏz ∈ L) |
There was a problem hiding this comment.
Самое главное забыли, в итоге формула стала уже не в ПНФ.
data/data.yaml
Outdated
| questions: | ||
| - 'Доказательство незамкнутости КС-языков относительно пересечения' | ||
| - answer: 'Язык является линейным тогда и только тогда, когда найдётся МП-автомат, который допускает язык по пустому стеку, | ||
| при этом в процессе работы автомата для строчки из языка стек сперва растёт, затем уменьшается, и на этом работа автомата заканчивается.' |
There was a problem hiding this comment.
Непонятно, что значит "сначала растёт, а потом уменьшается". Нужно более точно.
| - answer: 'Линейный язык — это язык, который может быть порожден линейной грамматикой. Линейная грамматика — это контекстно-свободная грамматика, | ||
| в которой в каждом правиле вывода не более одного нетерминала в правой части. | ||
| Лемма о накачке линейных КС языков: | ||
| Если L линейный КС язык, тогда существует такая константа n, что если z — произвольная цепочка из L, длина которой не |
There was a problem hiding this comment.
Тут ошибка в формулировке. В частности, я не могу накачать a^n b^n при таком выборе разбиения, очевидно линейный язык.
| S -> S1 | S2 | ||
| В этом правиле S1 порождает все строки из L1, а S2 из L2. Все остальные правила из G1 и G2 добавляем без изменений. (Но если в грамматиках будут одинаковые нетерминалы, их нужно переименовать!) | ||
| Таким образом новая грамматика порождает все строки из L1 и L2. | ||
| Вывод- объединение контекстно-свободных языков всегда контекстно-свободно' |
data/data.yaml
Outdated
| id: 169 | ||
| questions: | ||
| - 'Какой критерий используется для определения регулярности языка в контексте леммы о накачке?' | ||
| - answer: 'Временная сложность алгоритма удаления бесполезных символов в контекстно-свободной грамматике определяется двумя алгоритмами, которые работают один за одним и запускаются один раз. |
There was a problem hiding this comment.
Почему именно сначала непорождающих, потом недостижимых? Пояснить.
Что за специальные структуры данных?
Что такое n?
Так много вопросов, так мало ответов...
| author: Камаев Сергей | ||
| id: 178 | ||
| questions: | ||
| - 'Доказательство незамкнутости КС-языков относительно пересечения' |
There was a problem hiding this comment.
Добавьте здесь ещё вопрос, который был: пересечение КС-языков
| - 'Какая грамматика называется автоматной? | ||
|
|
||
| ' | ||
| - answer: 'Язык L является регулярным тогда и только тогда, когда существует число m такое, что для любого слова w из этого языка длины m выполняется следующее: для любого его разбиения на префикс и суффикс, |
There was a problem hiding this comment.
Неточно. Где именно внутри суффикса найдётся такое слово?
| author: Камаев Сергей | ||
| id: 172 | ||
| questions: | ||
| - 'Является ли язык правильной скобочной последовательности контекстно-свободным? Если да, то приведи пример грамматики, задающей этот язык. Если нет, то обоснуй почему?' |
There was a problem hiding this comment.
Давайте уже без языков Дика, про них уже не один элемент БЗ есть, выражающий их в каких только можно формализмах. И да, что они КС, тоже есть в ответах БЗ
| id: 172 | ||
| questions: | ||
| - 'Является ли язык правильной скобочной последовательности контекстно-свободным? Если да, то приведи пример грамматики, задающей этот язык. Если нет, то обоснуй почему?' | ||
| - answer: 'Ограниченный квантор - это такой квантор, в котором подкванторная переменная ограничена некоторыми логическими условиями, таким образом, что она пробегает только конечное множество значений. |
There was a problem hiding this comment.
Вот здесь добавить, чем они обозначаются дальше
| Иерархия Клини-Мостовского описывает уровни сложности таких представлений, то есть классифицирует предикаты и множества натуральных чисел на основе их кванторной сложности. Она состоит из уровней Σₙ и Πₙ для n ≥ 0: | ||
| - Σₙ: класс предикатов, которые можно выразить в форме ∃x₁ ∀x₂ ∃x₃ ... Qxₙ φ(x₁, x₂, ..., xₙ), где Q — квантор существования или всеобщности, а φ — предикат из класса Δ₀. | ||
| - Πₙ: класс предикатов, которые можно выразить в форме ∀x₁ ∃x₂ ∀x₃ ... Qxₙ φ(x₁, x₂, ..., xₙ), где Q — квантор существования или всеобщности, а φ — предикат из класса Δ₀. | ||
| Например, предикат, выраженный формулой вида ∃x₁ ∀x₂ ∃x₃ φ(x₁, x₂, x₃), принадлежит классу Σ₃, поскольку начинается с трех чередующихся кванторов, начиная с ∃.' |
There was a problem hiding this comment.
Лучше: "содержит три чередующихся группы кванторов, начиная с квантора существования". Т.к. однородные кванторы мы группируем
| - 'Является ли язык правильной скобочной последовательности контекстно-свободным? Если да, то приведи пример грамматики, задающей этот язык. Если нет, то обоснуй почему?' | ||
| - answer: 'Ограниченный квантор - это такой квантор, в котором подкванторная переменная ограничена некоторыми логическими условиями, таким образом, что она пробегает только конечное множество значений. | ||
| Неограниченные кванторы - это все остальные кванторы, которые не являются ограниченными. | ||
| Кванторная сложность множества определяется количеством и чередованием неограниченных кванторов существования (∃) и всеобщности (∀) в формуле, описывающей это множество. Чем больше чередований этих кванторов, тем выше кванторная сложность. |
There was a problem hiding this comment.
Только числом чередований она определяется, то есть количество не важно
| S -> S1 | S2 | ||
| В этом правиле S1 порождает все строки из L1, а S2 из L2. Все остальные правила из G1 и G2 добавляем без изменений. (Но если в грамматиках будут одинаковые нетерминалы, их нужно переименовать!) | ||
| Таким образом новая грамматика порождает все строки из L1 и L2. | ||
| Вывод- объединение контекстно-свободных языков всегда контекстно-свободно' |
| id: 177 | ||
| questions: | ||
| - 'Лемма о накачке линейных КС языков' | ||
| - answer: 'Доказательство: Пусть есть контекстно-свободные языки L1 = {a^nb^nc^k | n,k => 1} и L2 = {a^kb^nc^n | n,k => 1}. |
There was a problem hiding this comment.
=> - это в народе следование, а не "больше или равно". Безопаснее сделать >0
| questions: | ||
| - 'Доказательство незамкнутости КС-языков относительно пересечения' | ||
| - answer: 'Язык является линейным тогда и только тогда, когда найдётся МП-автомат, допускающий его по пустому стеку, такой, что для любого слова из этого языка: | ||
| 1) В процессе чтения высота стека увеличивается с помощью операции push, пока не достигнет некоторой высоты |
There was a problem hiding this comment.
а давайте мы здесь по-русски скажем про изменение стека? Или хотя бы дополнительно расшифруем?
|
|
||
| Язык L является линейным тогда и только тогда, когда существует МП-автомат M, допускающий L по пустому стеку, и существует целочисленная константа c ≥ 0 такая, | ||
| что для любого слова w ∈ L существует вычисление автомата M, принимающее w (приводящее к пустому стеку после прочтения w), | ||
| в котором высота стека в любой момент этого вычисления не превышает c. |
There was a problem hiding this comment.
А это баг. Ну смотрите, чем я могу ограничить c в классическом языке слов a^n b^n? Зато знак неравенства здесь красивый)
| questions: | ||
| - 'Критерий линейности языка?' | ||
| - answer: 'Длина накачки — это число, связанное с леммой о накачке для некоторого класса формальных языков. | ||
| Она обозначает минимальную длину строки из языка, при которой можно применить преобразование из леммы о накачке и опять получить строку из языка.' |
There was a problem hiding this comment.
Какое именно преобразование? Оно типично для всех лемм, которые носят название "о накачке", потому что напрямую следует из этого названия
4 participants
No description provided.