joshua/utf8-learner
1
Fork 0
mirror of https://git.cs.ou.nl/joshua.moerman/utf8-learner.git synced 2025-07-01 06:07:46 +02:00
Code Issues Releases Activity
utf8-learner/dfa-decompose
History
Exact
Joshua Moerman 65f891e731 already did all the things :-)
2025-06-13 13:21:37 +02:00
..
results-2 already did all the things :-) 2025-06-13 13:21:37 +02:00
results-3 already did all the things :-) 2025-06-13 13:21:37 +02:00
.ruff.toml already did all the things :-) 2025-06-13 13:21:37 +02:00
main.py already did all the things :-) 2025-06-13 13:21:37 +02:00
README.md already did all the things :-) 2025-06-13 13:21:37 +02:00
requirements.txt already did all the things :-) 2025-06-13 13:21:37 +02:00

README.md

dfa-decompose

Given a DFA, try to find smaller DFAs such that their intersection is the input.

pip install -r requirements.txt
python main.py

Copyright notice

(c) 2025 Joshua Moerman, Open Universiteit, licensed under the EUPL (European Union Public License). If you want to use this code and find the license not suitable for you, then please do get in touch.

SPDX-License-Identifier: EUPL-1.2