Лабораторная работа 1. Пенкин Артём by ssairu · Pull Request #189 · BaldiSlayer/rofl-lab1

ssairu · 2025-01-17T02:15:41Z

Изменил свои вопросы, затыкал дыры в бз, буду продолжать искать что-то новое и полезное.

Создал новый pull request, так как в старом много изменений произошло с октября в main.. и решать конфликты было тяжко

@TonitaN, прошу проверить эти элементы

BaldiSlayer · 2025-01-18T00:20:30Z

.gitignore

 .idea/

 LLM/app/core/mistral/config.py
+LLM/app/utils/Mistral/config.py


пупупу а это нам зачем?

Уберу, Лёшка

BaldiSlayer · 2025-01-18T00:20:59Z

data/data.yaml

    построчно снизу вверх, начиная с подцепочек длины 1 и заканчивая полной длиной
    (n) цепочки. Алгоритм позволяет определить, принадлежит ли цепочка 𝜔 языку L,
-    проверяя, содержится ли стартовый символ S грамматики G в ячейке X_1n. Существуют
+    проверяя, содержится ли стартовый символ S грамматики G в ячейке X_1n. Существуютней


эээээ
не уверен, что это так должно быть

Сделаю)

BaldiSlayer · 2025-01-18T00:23:58Z

data/data.yaml

+
+    Проблема выводимости разрешима для контекстно-свободных систем с полиномиальной сложностью.
+    Эффективными алгоритмами полиномиального времени для решения задачи принадлежности 
+    являются алгоритм CYK (англ. Cocke–Younger–Kasami Algorithm) и алгоритм Эрли (англ. Earley''s Algorithm).


мб подкинем что ли ассимптотику сюда?

BaldiSlayer · 2025-01-18T00:29:56Z

data/data.yaml

+    '
+
+- answer: 'Проблема пустоты заключается в определении того, является ли язык пустым. 
+    Для регулярных языков проблема пустоты разрешима. Для автомата, имеющего n состояний, задача может быть решена за время O(n²), 


я может глупый, но чет не понимаю

задача может быть решена за время O(n²), или за время O(n + m)

для меня это все же чуть разное

кмк как минимум для регулярного языка можно построить автомат и по нему пройтись dfs, это как раз O(n + m) и чекнуть пришли ли мы хотя бы в одно терминальное состояние

BaldiSlayer · 2025-01-18T00:38:29Z

data/data.yaml

+
+    '
+- answer: 'Да, все регулярные языки являются VPL языками (Visibly Pushdown Language).
+    Класс VPL языков (Visibly Pushdown Language) лежит между классами регулярных и контекстно-свободных языков 


мне если честно не нравится слово "между" звучит как-будто не входит ни туда, ни туда, но мб это придирка уже

Лучше и вправду расписать: класс этих языков является подмножеством детерминированных КС языков и надмножеством регулярных языков.

Ну мне тоже не спится, сейчас займусь

BaldiSlayer · 2025-01-18T00:39:42Z

чет мне пока лень дальше смотреть, я спать

TonitaN

@BaldiSlayer , ну что же вы делаете ревью в середине ночи, хотя уже сдали экзамен?
Из-за вас я занимаюсь тем же самым - стыдно не ревьюить теперь)

@ssairu , спасибо за вопросы, но пока нужно уточнить ответы.

TonitaN · 2025-01-18T01:20:21Z

data/data.yaml

-      регулярного выражения'
+      регулярного выражения'
+
+- answer: 'Проблема выводимости разрешима для регулярных систем с линейной сложностью. 


Лучше уточнить, что с линейной сложностью относительно длины строки. Т.к. относительно длины регулярки сложность хуже.

TonitaN · 2025-01-18T01:23:26Z

data/data.yaml

+    Для регулярных языков проблема пустоты разрешима. Для автомата, имеющего n состояний, задача может быть решена за время O(n²), 
+    или за время O(n + m), если автомат имеет n состояний и m переходов. 
+
+    Проблема пустоты для контекстно-свободных языков разрешима и является PSPACE-полной задачей.


Это очень странное утверждения. Т.к. проблема пустоты языка в КС языках сводится к устранению всех бесполезных правил. Если в результате осталось хоть что-то - язык не пуст. А этот алгоритм полиномиален от размера грамматики.

TonitaN · 2025-01-18T01:24:56Z

data/data.yaml

+    '
+
+- answer: 'Проблема бесконечности заключается в определении того, содержит язык конечное или бесконечное количество строк. 
+    Для регулярных языков проблема бесконечности разрешима.


Сложность от размера ДКА и размера регулярки можно привести)

Где же её найти..

Ну от регулярки - достаточно прикинуть (когда академическая, не расширенная, регулярка, точно порождает бесконечный язык?)
От ДКА - что нам нужно найти, чтобы гарантировать бесконечность языка? (предположим, что ловушки удалены)

Простите, ещё не ушёл муд экзаменатора, но БЗ, да и вам, такие уточнения будут только на пользу) Ну и да, в рамках прокачки внутренней нейронки полезно тоже)

Предполагаю, что нужно найти цикл в ориентированном графе, а это поиск в глубину

TonitaN · 2025-01-18T01:25:50Z

data/data.yaml

+- answer: 'Проблема бесконечности заключается в определении того, содержит язык конечное или бесконечное количество строк. 
+    Для регулярных языков проблема бесконечности разрешима.
+
+    Проблема бесконечности для контекстно-свободных языков разрешима и алгоритм основывается на лемме о разрастании (лемме о накачке).


Здесь тоже можно сказать об алгоритме определения этого по КС-грамматике и его сложности (лемма о накачке здесь особо не нужна, т.к. она про ВСЕ достаточно длинные слова, а нам достаточно найти хотя бы один рекурсивный вывод)

TonitaN · 2025-01-18T01:28:19Z

data/data.yaml

+  author: Пенкин Артём
+  id: 267
+  questions:
+  - 'что такое обыкновенная грамматика


Не надо, пожалуйста, сюда добавлять спецтерминологию, которой пользуется только Охотин. Т.к. у простых смертных "обыкновенные" грамматики - хорошо знакомые нам КС-грамматики. И кстати, из этого отрезка текста совсем не очевидно, что в таких грамматиках в левых частях правил стоят единственные нетерминалы.

TonitaN · 2025-01-18T01:35:36Z

data/data.yaml

+- answer: 'Теорема Майхилла-Нероде (англ. Myhill-Nerode) для VPL. Пусть L — язык и пусть задано 
+    отношение эквивалентности на множестве сбалансированных слов, где два слова считаются эквивалентными, если любые
+    продолжения этих слов приводят к одинаковым конфигурациям стека. Это отношение позволяет
+    выделить конечное число классов эквивалентности для VPL-языков (Visibly Pushdown Language).


Нужно ещё раз повторить эту теорему более чётко. Заметим, что в такой форме она выражает не необходимое и достаточное условие того, что язык VPL, а только необходимое, т.к. необходимое и достаточное условие ещё требует конечности классов эквивалентности слов с незакрытыми вызовами и с лишними возвратами (и формулируется сложнее)

TonitaN · 2025-01-18T01:36:06Z

data/data.yaml

+    нейрон x срабатывает на шаге t, если соблюдаются два условия: 
+    1) нет ни одного нейрона, связанного с нейроном x ингибирующей связью, сработавшего на шаге t − 1;
+    2) число нейронов, связанных с нейроном x возбуждающей связью и сработавших на шаге t − 1, 
+    больше необходимого для возбуждения этого нейрона числа сигналов.


больше или равно

TonitaN · 2025-01-18T01:36:47Z

data/data.yaml

+  - 'как связаны нейронные сети Мак-Каллока и Питтса и регулярные языки
+
+    '
+  - 'как нейронные сети Мак-Каллока и Питтса повляили на теорию формальных языков


спасибо за этот элемент БЗ!

TonitaN · 2025-01-18T01:38:43Z

data/data.yaml

+  - 'как нейронные сети Мак-Каллока и Питтса повляили на теорию формальных языков
+
+    '
+  - 'для чего были созданы конечные автоматы


а вот этот вопрос тут чуть-чуть дезориентирует - у конечных автоматов куда больше целей применения, чем нейронные сети макКаллока-Питтса. И похожие структуры возникали и раньше, просто их формально не связывали с классом языков.

TonitaN · 2025-01-18T01:40:02Z

data/data.yaml

+    '
+
+- answer: 'Да, все регулярные языки являются LR(1)-языками.
+    Класс LR(1) языков лежит между классами регулярных и контекстно-свободных языков.


Вот на этот вопрос LLM должна чётко знать, что LR(1) языки - это в точности детерминированные КС-языки, о чём не лишне ещё раз написать.

BaldiSlayer · 2025-01-18T02:05:34Z

Из-за вас я занимаюсь тем же самым

а вот теперь и мне стыдно...

хотя уже сдали экзамен

нуу у меня и так должок в виде злого мата на лаб 2. Сяду за него, но после функана, постараюсь восстановить карму студентов иу9 так сказать

ну что же вы делаете ревью в середине ночи

а у меня странные взаимоотношения со сном (но тут разговор конечно явно не для pr пххпхпххпхпх) в следствие которых я засыпаю оочень долго, тем более я немного подсбил режим (собственно из-за этого всего я даже сейчас не сплю, но собираюсь идти на второй заход)

TonitaN · 2025-01-18T02:12:52Z

нуу у меня и так должок в виде злого мата на лаб 2. Сяду за него, но после функана, постараюсь восстановить карму студентов иу9 так сказать

Некоторые товарищи ИУ9-52Б сегодня пороняли карму ИУ9 драматично (сначала написала - больше, чем ваша группа, потом поняла, что в целом к группе-то вашей вопросов можно сказать и нет), дружно зафейлив детерминизацию НКА из трёх состояний и расшифровку регулярок, которые парсили в 4 лабе. Так что вы своими ночными ревью наоборот повысили мотивацию проверять лабы, и стыдно быть не должно)

BaldiSlayer · 2025-01-18T02:19:01Z

которые парсили в 4 лабе

у меня про такие ситуации в какой-то момент появилась шутка

студенты ИУ9 написали LLM, но есть ньюанс

TonitaN · 2025-01-18T02:25:19Z

Да было бы ничего, если бы эти парсеры они писали не руками, но понимать, что парсим - совсем же база)

Раньше недоумевала, как в CS можно бояться конкуренции с LLM, но вот теперь ясно, что некоторым реально есть чего бояться в выпуске GPTo3...

BaldiSlayer · 2025-01-18T02:33:59Z

но понимать, что парсим - совсем же база)

у нас (у меня в группе) есть минимум один студент, который считает, что сдача лаб и тд это "переход на новый уровень" и "нужно просто сдать" (это почти прямые цитаты, которые были мне сказаны пару дней назад...). То есть о каком-то обучении речи даже не идет))

Компрометировать не буду, но возможно Вы даже догадаетесь кто это)
да и вряд ли этот человек один

TonitaN · 2025-01-18T02:36:45Z

Знаю, кто это, т.к. цитаты характерные)

ssairu · 2025-01-18T04:04:49Z

вроде всё дописал

BaldiSlayer · 2025-01-18T12:31:54Z

data/data.yaml

+
+    Проблема бесконечности для контекстно-свободных языков разрешима. 
+    Приведем эффективную процедуру определения бесконечности контекстно-свободного языка L(G).
+    Достаточно построить такой вывод в КС грамматике G = (Σ, N, R, S) из досижимого и производящего 


достижимого*

BaldiSlayer · 2025-01-18T12:32:41Z

data/data.yaml

+
+- answer: 'Проблема бесконечности заключается в определении того, содержит язык конечное или бесконечное количество строк. 
+    Для регулярных языков проблема бесконечности разрешима. Для ДКА - детерминированного конечного автомата 
+    имеющего n состояний и m переходов алгоритм работает за время O(n + m) и основан на поиске циклов.


Давай допишем, что циклы ищем в графе (а если быть в точном - в построенном дка)

BaldiSlayer · 2025-01-18T12:34:18Z

data/data.yaml

+    определённым смыслом в составляющие большего размера с определённым смыслом. Если
+    составляющие — подстроки, то они обычно соединяются операцией конкатенации. 
+    Например, приписыванием подлежащего с зависимыми словами “Всякий человек” к сказуемому
+    “смертен” получается грамотное русское предложение. Аналогично, последовательно записывая 


После прочтения ответа задумался о смысле жизни

BaldiSlayer · 2025-01-18T12:37:58Z

data/data.yaml

+    продолжения этих слов приводят к одинаковым конфигурациям стека. Для VPL-языков число данных 
+    классов эквивалентности конечно.
+
+    Заметим, что в такой форме Теорема Майхилла-Нероде выражает не необходимое и достаточное условие того, 


Тут теорема с маленькой буквы

BaldiSlayer · 2025-01-18T12:41:31Z

data/data.yaml

+  - 'как доказать, что язык не DCFL (deterministic context-free languages) с использованием леммы о накачке для DCFL на примере
+
+    '
+  - 'как доказать, что язык NCFL (non-deterministic context-free languages)


Созрел вопрос
А точно не детерминированный это ncfl? Я всегда думал, что это ndcfl, потому что ncfl для меня это not context-free language

Я вообще старалась избегать в курсе сокращений для языков-дополнений. Может, остались какие-то артефакты этого с прошлых лет в лекциях, тогда надо исправляться мне. Лучше просто писать "не является DCFL (не является детерминированным)".

Лекция 9 (страница 29)

Мы показали, что язык пересечения — NCFL, значит, язык L— NCFL

вот тут ток видел

BaldiSlayer · 2025-01-18T13:21:26Z

data/data.yaml

+    '
+
+- answer: 'Да, все регулярные языки являются LR(1)-языками.
+    Класс LR(1) языков лежит между классами регулярных и контекстно-свободных языков.


Опять "между"

Лучше так: класс LR(1) языков строго включает в себя регулярные (а также их надмножество Visibly Pushdown) языки и строго включается в контекстно-свободные языки.

ssairu · 2025-01-19T16:47:41Z

Здравствуйте, как удачно мы снова сошлись) исправил

TonitaN

Последние штрихи

TonitaN · 2025-01-19T16:46:28Z

data/data.yaml

-      регулярного выражения'
+      регулярного выражения'
+
+- answer: 'Проблема выводимости разрешима для регулярных систем с линейной сложностью относительно длины


Лучше тут и везде систем заменить на "систем переписывания термов". Если с контекстно-свободными неоднозначностей не возникнет, то "регулярность" в CS и математике используется много где, есть регулярные системы уравнений, которые не связаны с ТФЯ)

TonitaN · 2025-01-19T16:48:03Z

data/data.yaml

+    Проблема бесконечности для контекстно-свободных языков разрешима. 
+    Приведем эффективную процедуру определения бесконечности контекстно-свободного языка L(G).
+    Достаточно построить такой вывод в КС грамматике G = (Σ, N, R, S) из досижимого и производящего 
+    нетерминального знака A, что A -> αAβ , где α ≠ ε, β ≠ ε; α, β принадлежат множеству нетерминалов N, или алфавиту Σ.


лучше знака -> символа, понятно, что в русском языке это синонимы, но на профессиональном жаргоне в CS слово "знак" для этого не употребляется.

TonitaN · 2025-01-19T16:50:14Z

data/data.yaml

+  author: Пенкин Артём
+  id: 267
+  questions:
+  - 'какая основная модель грамматик


По-моему, так будет лучше:
какая модель грамматик в основном используется для описания языков?

TonitaN · 2025-01-19T16:52:25Z

data/data.yaml

+    Класс VPL языков (Visibly Pushdown Language) является подмножеством детерминированных КС языков 
+    и надмножеством регулярных языков и имеет многие желаемые свойства регулярных языков, например они замкнуты
+    относительно пересечения, объединения, дополнения, итерации Клини, конкатенации, переворота и гомоморфизма строк. 
+    Значит, регулярные языки являются подмножеством VPL языков.


Можно даже усилить:
"Значит, регулярные языки являются подмножеством VPL языков." -> "Можно сказать, что регулярные языки - это в точности VPL языки с пустыми алфавитами вызывающих и возвращающих (call- и return-) символов".

ssairu · 2025-01-19T17:03:51Z

сделал, спасибо за советы

ssairu added 3 commits January 16, 2025 18:15

new-branch start

d7a4b10

доработал свои вопросы и заделал некоторые дыры в бз

cf51092

дописал полезные вопросы в базу

a1855fd

BaldiSlayer reviewed Jan 18, 2025

View reviewed changes

TonitaN reviewed Jan 18, 2025

View reviewed changes

исправил по рекомендациям

dc5100d

BaldiSlayer reviewed Jan 18, 2025

View reviewed changes

исправления 2

506ba67

TonitaN approved these changes Jan 19, 2025

View reviewed changes

исправления 3

9d3c2b6

Conversation

ssairu commented Jan 17, 2025

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

BaldiSlayer commented Jan 18, 2025

Uh oh!

TonitaN left a comment • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

TonitaN Jan 18, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

BaldiSlayer commented Jan 18, 2025

Uh oh!

TonitaN commented Jan 18, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

BaldiSlayer commented Jan 18, 2025

Uh oh!

TonitaN commented Jan 18, 2025

Uh oh!

BaldiSlayer commented Jan 18, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

TonitaN commented Jan 18, 2025

Uh oh!

ssairu commented Jan 18, 2025

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

TonitaN left a comment •

edited

Loading

TonitaN Jan 18, 2025 •

edited

Loading

TonitaN commented Jan 18, 2025 •

edited

Loading

BaldiSlayer commented Jan 18, 2025 •

edited

Loading