Skip to content

Лабораторная работа 5. Шиятов Наиль#191

Open
NailorSH wants to merge 23 commits intomainfrom
lab5-shiyatov
Open

Лабораторная работа 5. Шиятов Наиль#191
NailorSH wants to merge 23 commits intomainfrom
lab5-shiyatov

Conversation

@NailorSH
Copy link
Collaborator

@NailorSH NailorSH commented Jan 26, 2025

Операции над множествами: реализации для НКА (часть 4 в книге Хопкрофта, Эспарца)

@NailorSH
Copy link
Collaborator Author

@TonitaN, проверьте, пожалуйста

@BaldiSlayer
Copy link
Owner

BaldiSlayer commented Jan 26, 2025

привет @NailorSH, у тебя формат неправильный, у нас сначала идет ответ, потом вопрос в итоге (библиотека yaml в Python сортирует их в лексикографическом порядке)

приведу пример:

- answer: 'Пусть даны w, w₀ ∈ Σ∗, где Σ - алфавит языка. 
    w₀ является фактором слова w, если существуют такие слова w₁, w₂ ∈ Σ∗, что w = w₁w₀w₂. 
    Если длины w₁ и w₁w₀ равны k и k₀, то w₀ называется [k, k₀]-фактором слова w. 
    Пример: пусть p = a(ab*a)b. Так как ab и aabab принадлежат языку L(p), то [1, 3]-, [3, 5]- и [0, 5]-факторы слова aabab принадлежат L(p). 
    Следовательно, первое вхождение p в aabab равно 3.
    '
  author: Шиятов Наиль
  id: 263
  questions:
    - 'Что такое фактор слова?'

собственно это не так важно (я про порядок), тут важнее вложенность

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

@NailorSH
Copy link
Collaborator Author

Ааа, блин, не так понял.
Сейчас переделаю

@NailorSH
Copy link
Collaborator Author

Формат поправил

Co-authored-by: Alexey Lisov <77489413+BaldiSlayer@users.noreply.github.com>
Copy link

@TonitaN TonitaN left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Общее замечание: запросы сформулированы очень длинно, нужно переписать в более содержательный вид с меньшим числом обозначений в запросе.

data/data.yaml Outdated
id: 271
questions:
- 'Пусть А₁, А₂ - недетерминированные конечные автоматы (сокр. НКА), B₂ - детерминированный конечный автомат (сокр. ДКА),
полученный после преобразования A₂. Когда состояние [q₁, Q₂] автомата [A₁, B₂] является минимальным?'
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Что такое автомат [A1, B2]? И почему минимальность состояния здесь определяется только на парах, а выше используется для единственного автомата?

Copy link
Collaborator Author

@NailorSH NailorSH Feb 3, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

В литературе минимальность состояния именно пары автоматов, где один - НКА, а второй - ДКА, полученный из другого НКА, приводится в утверждении о включении одного языка в другой в следующем вопросе.
Когда составлял, решил вынести это определение в отдельный вопрос. На него наш бот выдал галлюцинацию.

Если нужно и будет лучше, могу объединить с следующим вопросом и составить ещё один вопрос.

image
(страница 89 в книге Хопкрофта, Эспарца)

@NailorSH
Copy link
Collaborator Author

NailorSH commented Feb 3, 2025

@TonitaN, добрый вечер!
Всё поправил. Единственно хотел уточнить по поводу 271 вопроса.

В литературе минимальность состояния именно пары автоматов, где один - НКА, а второй - ДКА, полученный из другого НКА, приводится в утверждении о включении одного языка в другой в следующем вопросе.
Когда составлял, решил вынести это определение в отдельный вопрос. На него наш бот выдал галлюцинацию.

Если нужно и будет лучше, могу объединить с следующим вопросом и составить ещё один вопрос.

@TonitaN
Copy link

TonitaN commented Feb 7, 2025

Принято

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants