formal language in Portuguese

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