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

Преобразования в классе MFA #287

Closed
6 tasks done
xendalm opened this issue Oct 29, 2023 · 1 comment
Closed
6 tasks done

Преобразования в классе MFA #287

xendalm opened this issue Oct 29, 2023 · 1 comment
Assignees
@xendalm

Comments

@xendalm
Copy link
Collaborator

xendalm commented Oct 29, 2023 •
edited
Loading

@xendalm xendalm self-assigned this Oct 29, 2023
@TonitaN
Copy link
Collaborator

TonitaN commented Nov 19, 2023 •
edited
Loading

С Reverse у нас непростая история: реверсируется-то регулярка, то есть это метод для b-regex.

Про детерминизм: есть два понятия - по Шмиду (если есть переходы по памяти, то нет никаких других) и по семантике (если по памяти первые буквы отличаются от имеющихся на других переходах, то детерминизм считаем выполненным). Первый допускает добавление ловушки, и поэтому можно делать дополнения. Семантический 1-детерминизм уже не так дружит с ловушками. Предлагаю оставить предикат Deterministic для понятия по Шмиду, а для 1-детерминизма по семантике перегрузить SemDet.

Кстати, ещё RemEps придётся делать для дополнения. А вот бисимуляция очень похоже что может быть адаптирована, только возникают вопросы с возможными переименовками ячеек памяти.

@xendalm xendalm moved this to 🏗 В разработке in Чиполлино Dec 16, 2023
xendalm added a commit that referenced this issue Dec 16, 2023
@xendalm
(#287) symbol-reference refactoring + mfa.is_deterministic
0977886
xendalm added a commit that referenced this issue Dec 16, 2023
@xendalm
(#287) implemented mfa.is_deterministic and mfa.complement
92ca5a7
xendalm added a commit that referenced this issue Dec 16, 2023
@xendalm
(#287) implemented mfa.is_deterministic and mfa.complement
b9cb24f
xendalm added a commit that referenced this issue Dec 16, 2023
@xendalm
(#287) implemented mfa.is_deterministic and mfa.complement
3a6f581
xendalm added a commit that referenced this issue Dec 17, 2023
@xendalm
(#287) implemented additional to_mfa
354ca9b
xendalm added a commit that referenced this issue Dec 17, 2023
@xendalm
(#287) implemented additional to_mfa
bacbfde
xendalm added a commit that referenced this issue Dec 17, 2023
@xendalm
(#287) symbol-reference refactoring + mfa.is_deterministic
5d8c390
xendalm added a commit that referenced this issue Dec 17, 2023
@xendalm
(#287) implemented to_mfa_additional + fixed to_mfa
185e5ab
xendalm added a commit that referenced this issue Dec 17, 2023
@xendalm
(#287) implemented to_mfa.add_trap_state and to_mfa.complement
44eebfd
xendalm added a commit that referenced this issue Dec 17, 2023
@xendalm
(#287) implemented to_mfa_additional + fixed to_mfa
d6b3770
xendalm pushed a commit that referenced this issue Dec 18, 2023
(#287) fixed to_mfa_additional
820b06e
xendalm added a commit that referenced this issue Dec 18, 2023
@xendalm
(#287) fixed to_mfa_additional
e8774ec
xendalm added a commit that referenced this issue Dec 18, 2023
@xendalm
(#287) fixed to_mfa_additional
78de35e
xendalm added a commit that referenced this issue Jan 4, 2024
@xendalm
(#287) remove_eps + fixes after review
0bc1006
xendalm added a commit that referenced this issue Jan 4, 2024
@xendalm
(#287) Symbol::epsilon() fix
334f1ec
@xendalm xendalm moved this from 🏗 В разработке to TODO in Чиполлино Jan 8, 2024
xendalm added a commit that referenced this issue Jan 16, 2024
@xendalm
(#271)(#287) FA->MFA and Regex->BRegex mapping
9b9663a
xendalm added a commit that referenced this issue Jan 16, 2024
@xendalm
(#271)(#287) FA->MFA and Regex->BRegex mapping
1e628e0
mathhyyn added a commit that referenced this issue Jan 20, 2024
@mathhyyn
(#271) (#287) попытка в логи (неудачная)
8eb2aeb
mathhyyn added a commit that referenced this issue Jan 21, 2024
@mathhyyn
(#271) (#287) преобразование типов в интерпретаторе
6984942 
(OnionGrief/Automatic-Chipollino-Update#1)
mathhyyn added a commit that referenced this issue Jan 22, 2024
@mathhyyn
(#317) (#271) (#287) немного логов
c5ab32d
xendalm added a commit that referenced this issue Jan 22, 2024
@xendalm
(#317) (#287) Test method for mfa
62130c2
xendalm added a commit that referenced this issue Jan 26, 2024
@xendalm
(#287) reset actions processing while parsing
d27c528 
+ refactoring
xendalm added a commit that referenced this issue Jan 26, 2024
@xendalm
(#287) reset actions processing while parsing
da0ecea 
+ refactoring
xendalm added a commit that referenced this issue Jan 26, 2024
@xendalm
(#287) remove_eps temp fix
ac0c034
xendalm added a commit that referenced this issue Feb 12, 2024
@xendalm
(#287) "thompson" parsing
0166feb
xendalm added a commit that referenced this issue Feb 12, 2024
@xendalm
(#287) "thompson" parsing
9952f52
xendalm added a commit that referenced this issue Feb 19, 2024
@xendalm
(#287)(#311) positive test set generating
a492fac
xendalm added a commit that referenced this issue Mar 5, 2024
@xendalm
(#287)(#311) mutated test set generating
76b0122
xendalm added a commit that referenced this issue Mar 13, 2024
@xendalm
(#287)(#311) mutated test set generating
8b6351e
xendalm added a commit that referenced this issue Mar 30, 2024
@xendalm
(#287) stupid test
590f4d3
xendalm added a commit that referenced this issue Mar 31, 2024
@xendalm
(#287)(#311) fuzzing test
af25a83 
- implemented MFA.to_fa()
- fixed to_mfa() for eps
- fixed mutations (only unvisited and non-empty ones are processed)
xendalm added a commit that referenced this issue Mar 31, 2024
@xendalm
(#287)(#311) fuzzing test
7588048 
- implemented MFA.to_fa()
- fixed to_mfa() for eps
- fixed mutations (only unvisited and non-empty ones are processed)
xendalm added a commit that referenced this issue Mar 31, 2024
@xendalm
(#287)(#311) fuzzing test
ca5624a 
- implemented MFA.to_fa()
- fixed to_mfa() for eps
- fixed mutations (only unvisited and non-empty ones are processed)
xendalm added a commit that referenced this issue Apr 1, 2024
@xendalm
(#13)(#287) fixed get_bisimilar_grammar
9b41725 
- fixed to_mfa_additional for certain conditions :)
xendalm added a commit that referenced this issue Apr 1, 2024
@xendalm
(#13)(#287) fixed get_bisimilar_grammar
79be262 
- fixed to_mfa_additional for certain conditions :)
@xendalm xendalm moved this from TODO to 🏗 В разработке in Чиполлино Apr 17, 2024
@xendalm xendalm moved this from 🏗 В разработке to ✅ Завершена in Чиполлино Jun 6, 2024
@xendalm xendalm closed this as completed Jun 6, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@xendalm xendalm

Labels
None yet
Projects
Чиполлино
Status: ✅ Завершена
Milestone
No milestone
Development

No branches or pull requests
2 participants
@TonitaN @xendalm