What is meant by formal language in Theory of Automata and Formal Languages?

A. a programming language compiler only B. a hardware circuit used to store bits C. a random collection of symbols without rules D. a set of strings formed over an alphabet according to rules