Concept: Equivalence (formal languages)