wiki_research

commit 0a55f5f21824915f4dda90c4884c58e43bd54d9b
parent 59f08e147333e04bf2ea23b87170c3aa532cc274
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Fri,  6 Jun 2025 18:42:30 +0200

commit with codex

Diffstat:
nfa_unary_lengths
 | 
6
++++--

1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/nfa_unary_lengths b/nfa_unary_lengths
@@ -2,11 +2,13 @@
 
 An [NFA] which is [automata_unary], i.e., on a [unary_alphabet]
 
-- testing acceptance: [potechin2020regular]
+- testing acceptance: [potechin2020lengths]
   - [lower_bound] from [triangle_detection]
     - already for [automata_acyclic]
   - also [lower_bound] from [orthogonal_vectors]
-- listing accepted lengths: [potechin2020regular]
+- listing accepted lengths: [potechin2020lengths]
 - generalizes [subset_sum] with inputs coded in unary
 
 Up: [automata_unary], [nfa_acceptance]
+
+See also: [nfa_smallest_rejected]