muxal/syntmonoids
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Computer programs to test theorems suggested by the paper "On deterministic finite automata and syntactic monoid size" by M. Holzer and B. K¨onig, Theoretical Computer Science, 327(3):319–347, 2004
3 commits 1 branch 0 tags 226 KiB
Find a file
Exact
Muxa L 3eadf201ac make everything work smh
2025-09-16 12:17:13 +08:00
src make everything work smh 2025-09-16 12:17:13 +08:00
.gitignore make everything work smh 2025-09-16 12:17:13 +08:00
flake.lock make everything work smh 2025-09-16 12:17:13 +08:00
flake.nix fix flake 2025-09-16 03:23:55 +08:00
README.md make everything work smh 2025-09-16 12:17:13 +08:00

README.md

Code for my paper

Running

Open nix devshell

  nix develop

Run the programs

  • main.py -- test some statements from the paper
  • test_automata.py -- 4 DFA examples
  python3 ./src/main.py
  python3 ./src/test_automata.py