formal language
noun
°A set of finite strings (called sentences) over a specified finite alphabet.