Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Баг преобразования arden #307

Closed
AngelicHedgehog opened this issue Nov 27, 2023 · 1 comment · Fixed by #308
Closed

Баг преобразования arden #307

AngelicHedgehog opened this issue Nov 27, 2023 · 1 comment · Fixed by #308
Assignees
@AngelicHedgehog
Labels
bug АХТУНГ! это надо исправить

Comments

@AngelicHedgehog
Copy link
Collaborator

В случае, если исходный автомат не является конечным, выбрасывается segmentation fault

Пример:
image
@AngelicHedgehog AngelicHedgehog added the bug АХТУНГ! это надо исправить label Nov 27, 2023
@AngelicHedgehog AngelicHedgehog self-assigned this Nov 27, 2023
@xendalm
Copy link
Collaborator

xendalm commented Nov 27, 2023

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

AngelicHedgehog added a commit that referenced this issue Nov 27, 2023
@AngelicHedgehog
(#307) добавление объявления метода is_finite
7641606
AngelicHedgehog added a commit that referenced this issue Nov 27, 2023
@AngelicHedgehog
(#307) добавлена реализация проверки на финальность автомата
33ab24b
AngelicHedgehog added a commit that referenced this issue Nov 27, 2023
@AngelicHedgehog
(#307) добавлена в arden проверка на финальность автомата
15f9de5
@AngelicHedgehog AngelicHedgehog mentioned this issue Nov 27, 2023
Merged
@AngelicHedgehog AngelicHedgehog linked a pull request Nov 27, 2023 that will close this issue
(#307) Дополнение метода to_regex допущением, что НДКА может не быть конечным #308
Merged
@AngelicHedgehog AngelicHedgehog moved this from TODO to 👀 На ревью in Чиполлино Nov 27, 2023
AngelicHedgehog added a commit that referenced this issue Nov 27, 2023
@AngelicHedgehog
(#307) добавлен один коммент
26c8dd9
@AngelicHedgehog AngelicHedgehog moved this from 👀 На ревью to Готова к слиянию in Чиполлино Dec 6, 2023
AngelicHedgehog added a commit that referenced this issue Dec 6, 2023
@AngelicHedgehog
(#307) Учтено предположение о совпадении индекса состояния с номером
254c9a0
AngelicHedgehog added a commit that referenced this issue Dec 6, 2023
@AngelicHedgehog
(#307) поправил логи
ef83329
xendalm added a commit that referenced this issue Dec 6, 2023
@xendalm
Merge pull request #308 from OnionGrief/arden_at_nfa
61dd37a 
(#307) Дополнение метода to_regex допущением, что НДКА может не быть конечным
@github-project-automation github-project-automation bot moved this from Готова к слиянию to ✅ Завершена in Чиполлино Dec 6, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@AngelicHedgehog AngelicHedgehog

Labels
bug АХТУНГ! это надо исправить
Projects
Чиполлино
Status: ✅ Завершена
Milestone
No milestone
2 participants
@xendalm @AngelicHedgehog