commit bfdfe88179c283869e382b89e2ed13625805a3d8 parent a2865ec249d65b532c2e05578d467ec343b981a6 Author: Antoine Amarilli <a3nm@a3nm.net> Date: Thu, 2 Jul 2026 15:55:45 +0200 commit with codex Diffstat:
| automaton_primality | | | 6 | ++++++ |
1 file changed, 6 insertions(+), 0 deletions(-)
diff --git a/automaton_primality b/automaton_primality @@ -4,4 +4,10 @@ decide if an input DFA can be written as the [automaton_intersection] of input D it in [NP_hard] to decide, see [spenner2026deciding] +other related article: [jecker2020unary] + +also exists for [automaton_union], see [berry2026decomposition] + Up: [automata_problems] + +Aliases: prime automaton