commit d90fe3974b45bbf07e54b5b71ce33dff1b2b603d
parent 15e0b870b5a63eb4bba68fdfc5785bcd5a2cfb6c
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
