commit 859ac5f45254ce2d33d1e534db0bd54858f36362
parent 45508fe5aba58834577011323998904f69733fa7
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Thu, 19 Jun 2025 00:28:07 +0200
rm
Diffstat:
1 file changed, 0 insertions(+), 16 deletions(-)
diff --git a/word_automaton_unambiguous b/word_automaton_unambiguous
@@ -1,16 +0,0 @@
-# Unambiguous word automata
-
-[inclusion], [equivalence] are in P [ptime] (even NC [nc]?) whereas they are [pspace] PSPACE-c for
-[word_automaton_nondeterministic]
-
-More restricted definition: [word_automaton_self_verifying]
-
-Variant: [word_automaton_exclusive]
-
-[unambiguous_word_automaton_complementation]
-
-Up: [word_automaton], [unambiguity]
-
-See also: [word_automaton_finitely_ambiguous], [word_automaton_polynomially_ambiguous], [word_automaton_k_unambiguous]
-
-Aliases: UFA, UFAs, unambiguous word automaton