Models, concepts, theories, and formal languages in chemistry and their use as a basis for computer assistance in chemistry