Characterizations of rational \(\omega\)-languages by means of right congruences (Q673632): Difference between revisions

@@ Property / cites work @@
+A syntactic congruence for rational \(\omega\)-languages
+Normal rank
@@ Property / cites work @@
+Q4132170
@@ Property / cites work: Q4132170 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision problems forω-automata
@@ Property / cites work: Decision problems forω-automata / rank @@
+Normal rank
@@ Property / cites work @@
+Saturating right congruences
@@ Property / cites work: Saturating right congruences / rank @@
+Normal rank
@@ Property / cites work @@
+SEMIGROUPS WITH IDEMPOTENT STABILIZERS AND APPLICATIONS TO AUTOMATA THEORY
+Normal rank
@@ Property / cites work @@
+Q4281561
@@ Property / cites work: Q4281561 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing and generating infinite sequences by a finite automaton
+Normal rank
@@ Property / cites work @@
+Q3741086
@@ Property / cites work: Q3741086 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3330542
@@ Property / cites work: Q3330542 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-state \(\omega\)-languages
@@ Property / cites work: Finite-state \(\omega\)-languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4055589
@@ Property / cites work: Q4055589 / rank @@
+Normal rank
@@ Property / cites work @@
+The three subfamilies of rational \(\omega\)-languages closed under \(\omega\)-transduction
+Normal rank
@@ Property / cites work @@
+Q5723183
@@ Property / cites work: Q5723183 / rank @@
+Normal rank
@@ Property / cites work @@
+On ω-regular sets
@@ Property / cites work: On ω-regular sets / rank @@
+Normal rank