Updated 2025-10-31 09:03:47 +01:00
Разработка программного обеспечения для GNU/Linux
Updated 2025-09-24 17:20:53 +02:00
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
Updated 2025-09-16 06:17:24 +02:00