wiki_research

commit 0ec48a7ab623a63f2cf350e5d5781f3c0f70bb60
parent b9b4409ef4d377b0cc3a0f79d8a826c6a7d9cf70
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]