generated at
formal language
String (computer science)