commit ff4387b036d81c2cb78009c1a878df43cfc187b0 parent 0ec48a7ab623a63f2cf350e5d5781f3c0f70bb60 Author: Antoine Amarilli <a3nm@a3nm.net> Date: Fri, 6 Jun 2025 18:42:34 +0200 commit with codex Diffstat:
| nfa_smallest_rejected | | | 8 | ++++++++ |
1 file changed, 8 insertions(+), 0 deletions(-)
diff --git a/nfa_smallest_rejected b/nfa_smallest_rejected @@ -0,0 +1,8 @@ +# Nfa smallest rejected + +Size of the smallest word rejected by an [NFA] + +Even for a [unary_NFA], [superpolynomial] lower bound: +- https://math.stackexchange.com/a/3394072/34335 + +Up: [nfa_unary_lengths]