query: Automata theory - How many Nerode equivalent classes for language $L_k$
positive_passages.docid: 20615
positive_passages.text: How many Nerode equivalence classes does the language $x\neq y$ have?
negative_passages.docid: 123598
negative_passages.text: Showing the set of DFAs that accept nonempty languages is decidable
negative_passages.docid: 113065
negative_passages.text: Proving equivalences of statements equivalent to AC
negative_passages.docid: 3465
negative_passages.text: Equivalence relations and power sets.
negative_passages.docid: 93952
negative_passages.text: Show that $X$ can be represented as a union of disjoint equivalence classes
negative_passages.docid: 38242
negative_passages.text: Explicit bijection between the successor of $\alpha$ and $\alpha$ (infinite ordinal).
negative_passages.docid: 34723
negative_passages.text: Proof of a limit for a recursively-defined sequence
negative_passages.docid: 134840
negative_passages.text: Generators and relations for $\text{PSL}(2, \mathbb{F}_q)$
negative_passages.docid: 122048
negative_passages.text: why is the set of all binary sequences not countable?
negative_passages.docid: 47544
negative_passages.text: A mathematically mature introduction to Turing Machines and Computability [reference-request]
negative_passages.docid: 85338
negative_passages.text: Equivalence relations on classes instead of sets
negative_passages.docid: 42213
negative_passages.text: Computing $\text{Gal}(\mathbb{Q}^{ab}/\mathbb{Q})$
negative_passages.docid: 136167
negative_passages.text: Prove that structure $(Q/{0}; =;*)$ has infinite number of automorphisms
negative_passages.docid: 73080
negative_passages.text: Is the set of all bounded sequences complete?
negative_passages.docid: 3217
negative_passages.text: Construction of uncountably many non-isomorphic linear (total) orderings of natural numbers
negative_passages.docid: 98843
negative_passages.text: How many Turing degrees are there?
negative_passages.docid: 137646
negative_passages.text: show that language $L'$ is regular (given $L$ regular)