|
Реклама |
| |
Error: Incorrect password!
|
|
|
|
(греч. syntaxis — построение, порядок) — раздел семиотики, исследующий структурные свойства систем знаков, правила их образования и преобразования, отвлекаясь от их интерпретации. Синтаксисом формализованного языка называют систему пра- вил построения выражений этого языка и проверки того, являются ли эти выражения правильно построенными формулами, аксиомами, теоремами, выводами или доказательствами. |
|
|
|