commit 99772ef40c06127b4ce84a967efd5f8681951500 parent 11f8c098a8b3fbe08a260489b80a7c692f94e097 Author: Antoine Amarilli <a3nm@a3nm.net> Date: Thu, 23 Jan 2025 13:40:10 +0100 commit with codex Diffstat:
degree_of_ambiguity_tree | | | 7 | +++++++ |
1 file changed, 7 insertions(+), 0 deletions(-)
diff --git a/degree_of_ambiguity_tree b/degree_of_ambiguity_tree @@ -0,0 +1,7 @@ +# Degree of ambiguity of a tree automaton + +[gallot2025structure]: it can be computed in [ptime] + +Up: [degree_of_ambiguity] of [tree_automaton] + +See also: [Density_function]