A geometrical view of the determinization and minimization of finite-state automata (Q3210193): Difference between revisions

@@ Property / author @@
-Q169279
@@ Property / author: Q169279 / rank @@
-Normal rank
@@ Property / author @@
-Q163603
@@ Property / author: Q163603 / rank @@
-Normal rank
@@ Property / author @@
+Bruno Courcelle
@@ Property / author: Bruno Courcelle / rank @@
+Normal rank
@@ Property / author @@
+Damian Niwinski
@@ Property / author: Damian Niwinski / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A syntactic congruence for rational \(\omega\)-languages
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic automata and context-free sets
@@ Property / cites work: Algebraic automata and context-free sets / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Automaton Transformations
@@ Property / cites work: Linear Automaton Transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541339
@@ Property / cites work: Q5541339 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-state \(\omega\)-languages
@@ Property / cites work: Finite-state \(\omega\)-languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q5723183
@@ Property / cites work: Q5723183 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3210193