Приглашаем посетить сайт
СИНТАКСИС
СИНТАКСИС (от греч. syntaxis - построение, порядок) - раздел семиотики, исследующий структурные свойства систем знаков, правила их образования и преобразования, отвлекаясь от их интерпретации (которую исследует семантика). С. формализованного языка называют также саму систему правил построения выражений этого языка и проверки того, являются ли эти выражения правильно построенными формулами, аксиомами, теоремами, выводами или доказательствами.