Recursively Enumerable Language: Logic, Computer Science, Formal Language, Chomsky hierarchy, RE (Complexity), Enume

Recursive Language: Logic, Computer Science, Chomsky Hierarchy, Set, Subset, Set (Mathematics)

Sparse Language: Computational Complexity Theory, Formal Language, String (Computer Science), Polynomial, NP (Complexity)

Syntactic Monoid: Mathematics, Computer Science, Formal Language

Regular Language: Theoretical Computer Science, Formal Language, Deterministic Finite State Machine