formal language in German

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