LANGAGE: A Maple package for automaton characterization of regular languages (Q1575906): Difference between revisions

@@ Property / cites work @@
+Languages and scanners
@@ Property / cites work: Languages and scanners / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizations of locally testable events
@@ Property / cites work: Characterizations of locally testable events / rank @@
+Normal rank
@@ Property / cites work @@
+Families of locally testable languages
@@ Property / cites work: Families of locally testable languages / rank @@
+Normal rank
@@ Property / cites work @@
+A polynomial time algorithm for the local testability problem of deterministic finite automata
+Normal rank
@@ Property / cites work @@
+Algebraic decision procedures for local testability
+Normal rank
@@ Property / cites work @@
+Q5641083
@@ Property / cites work: Q5641083 / rank @@
+Normal rank
@@ Property / cites work @@
+On finite monoids having only trivial subgroups
@@ Property / cites work: On finite monoids having only trivial subgroups / rank @@
+Normal rank
@@ Property / cites work @@
+Q4077455
@@ Property / cites work: Q4077455 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of some problems from the theory of automata
+Normal rank
@@ Property / cites work @@
+Locally testable languages
@@ Property / cites work: Locally testable languages / rank @@
+Normal rank