The Recognition of Combinatory Categorial Grammars, Linear Indexed Grammars, and Tree Adjoining Grammars