commit 86aef5027c768a8e99caa5cebae6c0f7f70451ab parent 0a55f5f21824915f4dda90c4884c58e43bd54d9b 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]