Büchi-Elgot-Trakhtenbrot Theorem
   HOME