n (context|computing|countable) The formal rules of formulating the statements of a computer language.