Definition:Geometric Invariant Theory

Also see

 * Definition:DFA Minimization
 * Definition:Turing Machine