Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Введение
В информатике абстрактный синтаксис данных — это его структура, описанная как тип данных (возможно, но необязательно, абстрактный тип данных), независимая от какого-либо конкретного представления или кодирования. Это особенно важно при представлении текста в компьютерных языках, которые обычно хранятся в древовидной структуре в виде абстрактного синтаксического дерева. Абстрактный синтаксис, состоящий только из структуры данных, противопоставляется конкретному синтаксису, который также включает информацию о представлении. Например, конкретный синтаксис включает такие элементы, как скобки (для группировки) или запятые (для списков), которые не входят в абстрактный синтаксис, поскольку они подразумеваются структурой. Абстрактные синтаксисы классифицируются как абстрактный синтаксис первого порядка (FOAS), если структура абстрактна, но имена (идентификаторы) остаются конкретными (и, следовательно, требуют разрешения имен), и абстрактный синтаксис высшего порядка, если сами имена являются абстрактными.
In computer science, the abstract syntax of data is its structure described as a data type (possibly, but not necessarily, an abstract data type), independent of any particular representation or encoding. This is particularly used in the representation of text in computer languages, which are generally stored in a tree structure as an abstract syntax tree. Abstract syntax, which only consists of the structure of data, is contrasted with concrete syntax, which also includes information about the representation. For example, concrete syntax includes features like parentheses (for grouping) or commas (for lists), which are not included in the abstract syntax, as they are implicit in the structure. Abstract syntaxes are classified as first order abstract syntax (FOAS), if the structure is abstract but names (identifiers) are still concrete (and thus requires name resolution), and higher order abstract syntax, if the names themselves are abstract.
Применение
Для реализации, будь то вычисления или обмен данными, необходимо определить отображение абстрактного синтаксиса в конкретные машинные представления и кодировки; их можно назвать "конкретным синтаксисом" (в контексте реализации языка программирования) или "синтаксисом передачи" (в контексте обмена данными). Внутреннее представление программы компилятором обычно задается абстрактным синтаксисом в терминах категорий, таких как "оператор", "выражение" и "идентификатор". Это не зависит от исходного синтаксиса (конкретного синтаксиса) компилируемого языка, хотя он часто бывает очень похожим. Дерево разбора аналогично абстрактному синтаксическому дереву, но обычно также содержит элементы, такие как скобки, которые синтаксически значимы, но неявно представлены в структуре абстрактного синтаксического дерева. Алгебраические типы данных особенно хорошо подходят для реализации абстрактного синтаксиса.
To be implemented either for computation or communications, a mapping from the abstract syntax to specific machine representations and encodings must be defined; these may be called the "concrete syntax" (in language implementation) or the "transfer syntax" (in communications). A compiler's internal representation of a program will typically be specified by an abstract syntax in terms of categories such as "statement", "expression" and "identifier". This is independent of the source syntax (concrete syntax) of the language being compiled (though it will often be very similar). A parse tree is similar to an abstract syntax tree but it will typically also contain features such as parentheses, which are syntactically significant but which are implicit in the structure of the abstract syntax tree. Algebraic data types are particularly well suited to the implementation of abstract syntax.