formal language noun1 •A set of finite strings (called words) made of symbols (from a finite set of symbols, called an alphabet). formsformal languages