wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs
commit 6482740de3b3741888ac1742df941136583733de
parent d5df8a19533b90ce55320ec449512b180c77e5e5
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Fri, 11 Sep 2026 17:02:02 +0200

commit with codex

Diffstat:

automata_unary_ufa | 2++


1 file changed, 2 insertions(+), 0 deletions(-)

diff --git a/automata_unary_ufa b/automata_unary_ufa
@@ -5,6 +5,8 @@ bounds in [okhotin2012unambiguous]:
 - on the [state_complexity] of [kleene_star] ([quadratic])
 - on the [state_complexity] of [complementation] ([quadratic])
 
+- [automata_unary_NFA_universality]
+
 Up: [automata_unary], [word_automaton_unambiguous]
 
 Aliases: unary UFA, unary UFAs