HYPER-MINIMIZATION FOR DETERMINISTIC TREE AUTOMATA (Q5401558): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+HYPER-MINIMIZATION IN O(n<sup>2</sup>)
@@ Property / cites work: HYPER-MINIMIZATION IN O(n<sup>2</sup>) / rank @@
+Normal rank
@@ Property / cites work @@
+Hyper-minimizing minimized deterministic finite state automata
+Normal rank
@@ Property / cites work @@
+Backward and forward bisimulation minimization of tree automata
+Normal rank
@@ Property / cites work @@
+An \(n\log n\) algorithm for hyper-minimizing a (minimized) deterministic automaton
+Normal rank
@@ Property / cites work @@
+Minimizing deterministic weighted tree automata
@@ Property / cites work: Minimizing deterministic weighted tree automata / rank @@
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank