His effort is based upon a mathematical model of language that allows for the description and prediction of valid syntax