Computationally relevant properties of natural languages and their grammars