A set of finite strings (called words) made of symbols (from a finite set of symbols, called an alphabet).