Random Generation of Deterministic Tree (Walking) Automata (Q3637348): Difference between revisions

@@ Property / author @@
-Pierre-Cyrille Héam
@@ Property / author: Pierre-Cyrille Héam / rank @@
-Normal rank
@@ Property / author @@
+Pierre-Cyrille Héam
@@ Property / author: Pierre-Cyrille Héam / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Antichains
@@ Property / describes a project that uses: Antichains / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+REGAL
@@ Property / describes a project that uses: REGAL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-02979-0_15
+Normal rank
@@ Property / OpenAlex ID @@
+W1875023514
@@ Property / OpenAlex ID: W1875023514 / rank @@
+Normal rank
@@ Property / cites work @@
+Antichains: A New Algorithm for Checking Universality of Finite Automata
+Normal rank
@@ Property / cites work @@
+Five Determinisation Algorithms
@@ Property / cites work: Five Determinisation Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Büchi Complementation Made Tight
@@ Property / cites work: Büchi Complementation Made Tight / rank @@
+Normal rank
@@ Property / cites work @@
+Q5389971
@@ Property / cites work: Q5389971 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941149
@@ Property / cites work: Q4941149 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree-Walking Automata Do Not Recognize All Regular Languages
+Normal rank
@@ Property / cites work @@
+Transitive closure logic, nested tree walking automata, and XPath
+Normal rank
@@ Property / cites work @@
+Enumeration and random generation of accessible automata
+Normal rank
@@ Property / cites work @@
+Q3077339
@@ Property / cites work: Q3077339 / rank @@
+Normal rank
@@ Property / cites work @@
+Random generation of DFAs
@@ Property / cites work: Random generation of DFAs / rank @@
+Normal rank
@@ Property / cites work @@
+REGAL: A Library to Randomly and Exhaustively Generate Automata
+Normal rank
@@ Property / cites work @@
+Experimental Evaluation of Classical Automata Constructions
+Normal rank
@@ Property / cites work @@
+Learning Minimal Separating DFA’s for Compositional Verification
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3637348