Title: A recognition procedure for transformational grammars