computer science language Formal grammar Which strings from an alphabet of a formal language are valid according to the language's syntax