Masked Hard-Attention Transformers Recognize Exactly the Star-Free Languages Andy Y ang University of Notre Dame David Chiang University of Notre Dame Dana Angluin Y ale University