Büchi–Elgot–Trakhtenbrot Theorem
   HOME
*