Equivalence class
Presentation of a group
Computer science
Applied mathematics
Deterministic finite automaton
DFA minimization
Automata theory
Mathematics
Regular language