A set of words whose letters are taken from an alphabet and are well-formed according to a specific set of rules. Related Articles: Glossary: Attributional CalculusGlossary: InterpretationGlossary: Programming LanguageGlossary: True Quantified Boolean FormulaGlossary: Concatenation