Theory of strings