wiki_research

commit a365c5efa3e2725c3de93862d52940560756ad1b
parent a2865ec249d65b532c2e05578d467ec343b981a6
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Mon,  6 Jul 2026 10:59:36 +0200

Merge remote-tracking branch 'origin/master'

Diffstat:
automaton_primality
 | 
6
++++++
provenance_lower_bound
 | 
2
++

2 files changed, 8 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
diff --git a/provenance_lower_bound b/provenance_lower_bound
@@ -10,3 +10,5 @@ Lower bounds on representations of query provenance
 See also: [pqe]
 
 Up: [lower_bounds], [provenance_size]
+
+Aliases: provenance lower bounds