Note on the complexity of Las Vegas automata problems (Q3421911): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1964096673
@@ Property / OpenAlex ID: W1964096673 / rank @@
+Normal rank
@@ Property / cites work @@
+The parallel complexity of finite-state automata problems
+Normal rank
@@ Property / cites work @@
+Lower Bounds for Las Vegas Automata by Information Theory
+Normal rank
@@ Property / cites work @@
+On the power of Las Vegas for one-way communication complexity, OBDDs, and finite automata
+Normal rank
@@ Property / cites work @@
+On the power of Las Vegas II: Two-way finite automata
+Normal rank
@@ Property / cites work @@
+On the equivalence, containment, and covering problems for the regular and context-free languages
+Normal rank
@@ Property / cites work @@
+Nondeterministic Space is Closed under Complementation
+Normal rank
@@ Property / cites work @@
+A note on the space complexity of some decision problems for finite automata
+Normal rank
@@ Property / cites work @@
+Minimal NFA Problems are Hard
@@ Property / cites work: Minimal NFA Problems are Hard / rank @@
+Normal rank
@@ Property / cites work @@
+Space-bounded reducibility among combinatorial problems
+Normal rank
@@ Property / cites work @@
+New problems complete for nondeterministic log space
+Normal rank
@@ Property / cites work @@
+On the Bounds for State-Set Size in the Proofs of Equivalence Between Deterministic, Nondeterministic, and Two-Way Finite Automata
+Normal rank
@@ Property / cites work @@
+Q3392273
@@ Property / cites work: Q3392273 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4131648
@@ Property / cites work: Q4131648 / rank @@
+Normal rank
@@ Property / cites work @@
+The method of forced enumeration for nondeterministic automata
+Normal rank
@@ Property / cites work @@
+A Polynomial-Time Algorithm for the Equivalence of Probabilistic Automata
+Normal rank
@@ Property / cites work @@
+On path equivalence of nondeterministic finite automata
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3421911