A Turing Program for Linguistic Theory Authors Jeffrey Watumull Massachusetts Institute of Technology University of Cambridge