[Синтаксис]
(греч. syntaxis Ч построение, порядок) аЧ раздел семиотики, исследующий структурные свойства систем знаков, пранвила их образования и преобразования, отвлекаясь от их интерпрентации. Синтаксисом формализованного языка называют систему пра- вил построения выражений этого языка и проверки того, являются ли эти выражения правильно построенными формулами, аксиомами, теоремами, выводами или доказательствами.