Conversation
HumsterProgrammer
changed the title
|
Вроде договаривались писать без латеха по возможности) |
когда.... |
|
Нам не нужно "в теории формальных языков") |
Уже как месяца 1.5-2 |
и в каком формате тогда пишем |
Просто юникод символы, поясняя словами |
постарался убрать по максимуму все теги латех, в одном месте осталось - написал пояснение. нижнее подчеркивание и знак ^ я не пояснял (предполагаю, они этого не требуют) |
|
@TonitaN, здравствуйте! Не могли бы Вы, пожалуйста, посмотреть правильность вопросов для БЗ. Заранее спасибо! |
data/data.yaml
Outdated
| author: Захарин Сергей | ||
| id: 183 | ||
| questions: | ||
| - 'Что такое алгоритмическая проблема? |
There was a problem hiding this comment.
У меня всё нормально с этим вопросом:
https://gist.github.com/stewkk/59cc4bb961d656e91881cc2bdc1fe90f
| - 'Что такое отображение Парика? | ||
|
|
||
| ' | ||
| - answer: 'Если язык L ⊆ Σ* является контекстно-свободным, то множество Ψ_Σ(L) является полулинейным. Где Ψ_Σ(L) - отображение Парика. |
There was a problem hiding this comment.
Чуть-чуть оживить примерами. Это не совсем дубль ответа Милены, т.к. там речь о коммутативных образах, а тут речь о векторах кратности только.
| author: Захарин Сергей | ||
| id: 182 | ||
| questions: | ||
| - 'Что такое постовская система соответствий? |
There was a problem hiding this comment.
Почти есть:
https://gist.github.com/stewkk/8710ffaf6cd200d4d7b86967d7401bd5
Надо объяснить словами, в чём её физический смысл, чтобы не дублировать инфу
data/data.yaml
Outdated
| author: Захарин Сергей | ||
| id: 190 | ||
| questions: | ||
| - 'Теорема Хомского-Шютценберже |
There was a problem hiding this comment.
*о представлении контекстно-свободного языка
- добавить ещё вопрос к этому же элементу:
представление кс-языка через язык Дика и регулярный язык - добавить пример
data/data.yaml
Outdated
| Где L_{x→} и L_{y→} - языки, порождаемые линейными грамматиками G{x→) и G{y→) соответственно. | ||
| Постовской системой соответствия над алфавитом Σ называется пара конечных последовательностей | ||
| ((x_1, ..., x_n), (y_1, ..., y_n)), где x_i ∈ Σ* и y_i ∈ Σ* для всех i. | ||
| Примечание: x→ обозначается вектор x. |
There was a problem hiding this comment.
и непонятно, как эти вектора связаны с КС-грамматиками.
Сюда надо нормальное доказательство (например, через язык околопалиндромных структур, построенных по постовским системам)
|
Здравствуйте, @TonitaN! Внес правки по Вашим комментариям - написал примеры, убрал два вопроса и написал другие. |
TonitaN
left a comment
TonitaN
left a comment
There was a problem hiding this comment.
Я сделаю вербально аппрув, но не для вливания, а потому что надоело писать за вас промты к LLM. Так-то материал годный, но не перепроверяете же.
data/data.yaml
Outdated
|
|
||
| - answer: 'Постовской системой соответствия над алфавитом Σ называется пара конечных последовательностей | ||
| ((x_1, ..., x_n), (y_1, ..., y_n)), где x_i ∈ Σ* и y_i ∈ Σ* для всех i. | ||
| Физический смысл постовской системы соответствий заключается в моделировании задачи согласования входных и выходных данных в системах. |
There was a problem hiding this comment.
Ох, откуда же это? Неужели люди теперь тоже понимают метафоры так же в лоб, как LLM?
Речь была только о том, что нужно расшифровать формулу.
data/data.yaml
Outdated
| L = h(L^{(D)}_n ⋂ L_1), где L^{(D)}_n — язык Дика над 2n буквами. | ||
| Пример: Рассмотрим язык сбалансированных скобок L = {w ∈ {(,)}* | w содержит равное число ( и ), и они корректно вложены}. Язык Дика L^{(D)}_n | ||
| включает строки с правильно вложенными ( и ). Регулярный язык L_1 содержит строки с равным числом ( и ). | ||
| Пересечение L^{(D)}_n ⋂ L_1 даёт строки с правильно вложенными и сбалансированными скобками, то есть L^{(D)}_n ⋂ L_1 = L^{(D)}_n. |
There was a problem hiding this comment.
КМК этот пример писала LLM. Т.к. тут очевидная тавтология и куча фактических ошибок (хотя бы, что такой L_1 не регулярен).
data/data.yaml
Outdated
|
|
||
| ' | ||
| - answer: 'Представление КС-языка через язык Дика и регулярный язык (КС-язык в представлении Хомского-Шютценберже): будем говорить, что КС-язык L ⊆ Σ* задан в представлении Хомского-Шютценберже, | ||
| если определены язык Дика L^{(D)}_n, регулярный язык L_1 ⊆ Σ^{(D)}_n = {a_1, b_1, a_2, b_2, ..., a_n, b_n} и морфизм h: (Σ^{(D)}_n)* → Σ* и L = h(L^{(D)}_n ⋂ L_1). |
|
@TonitaN, здравствуйте! Внес новые правки. По большей части проблемы возникли не из-за чрезмерного использования LLM, а из-за того, что я сам не до конца понимал суть правок. Сейчас надеюсь, что все понял верно и тут не будет больших ошибок. Заранее спасибо! |
|
|
||
| ' | ||
| - answer: 'Пусть x_0, x_1, ..., x_p при 0 ≤ p < ∞ — вектора в множестве ℕ^m. | ||
| Множество L = { b + \sum_{i=1}^{p} k_i x_i ⏐ b ∈ B, k ≥ 0, k_1, ..., k_p ∈ ℕ } = x_0 + { x_1, ..., x_p }* |
There was a problem hiding this comment.
Что такое B? Также в примере показать, как L можно выразить посредством итерации.
|
|
||
| ' | ||
| - answer: 'Через Ψ_Σ будем обозначать функцию Ψ_Σ: Σ* → ℕ^m, определённую следующим | ||
| образом: Ψ_Σ(w) = 〈 |w|_{a_1}, ..., |w|_{a_m} 〉, где |w|_{a_i} — число появлений символа a_i в слове w. |
| L = h(L^{(D)}_n ⋂ L_1), где L^{(D)}_n — язык Дика над 2n буквами. | ||
| Пример: Рассмотрим язык L = {a^n b^n | n ≥ 0}. Пользуясь теоремой Хомского-Шютценберже, докажем, что он КС. Возьмем n = 1, тогда | ||
| язык Дика строится над алфавитом {a_1, b_1} и включает, например, такие строки: L^{(D)}_1 = {ε, a_1 b_1, a_1 a_1 b_1 b_1, a_1 b_1 a_1 b_1, ...}. | ||
| Пусть регулярный язык L_1 над расширенным алфавитом {a_1, b_1}: L_1 = {a_1^m b_1^m | m ≥ 0}. Гомоморфизм h отображает символы a_1 и b_1 расширенного |
| - answer: 'Представление КС-языка через язык Дика и регулярный язык (КС-язык в представлении Хомского-Шютценберже): будем говорить, | ||
| что КС-язык над некоторым алфавитом задан в представлении Хомского-Шютценберже, если определены | ||
| 1) язык Дика, связанный с некоторым числом n ∈ ℕ | ||
| 2) регулярный язык, построенный над расширенным алфавитом, который состоит из символов вида a_1, b_1, a_2, b_2, ..., a_n, b_n |
There was a problem hiding this comment.
, где a_i соответствуют открывающим скобкам, а b_i - закрывающим
3 participants
No description provided.