a (context|linguistics|computing) Correctly written; syntactically correct; expressed in a way that obeys rules for constructing formulas in a certain language.