(Абстрактное) синтаксическое представление: различия между версиями
KEV (обсуждение | вклад) Нет описания правки |
KVN (обсуждение | вклад) |
||
| (не показано 5 промежуточных версий 2 участников) | |||
| Строка 1: | Строка 1: | ||
'''(Абстрактное) синтаксическое представление'''([[(Abstract) syntax representation]] ) | '''(Абстрактное) синтаксическое представление'''([[(Abstract) syntax representation]] ) | ||
— такое представление транслируемой программы, которое | |||
содержит информацию о синтаксической структуре программы в | содержит информацию о синтаксической структуре программы в | ||
виде, удобном для ее последующей обработки. Одна из целей | виде, удобном для ее последующей обработки. Одна из целей | ||
| Строка 9: | Строка 9: | ||
однако оно отличается от [[Дерево вывода|''дерева вывода'']] тем, что | однако оно отличается от [[Дерево вывода|''дерева вывода'']] тем, что | ||
сохраняет только существенную информацию о | сохраняет только существенную информацию о | ||
программе, тогда как дерево вывода, напротив, | программе, тогда как дерево вывода, напротив, — | ||
много избыточной информации. В этом смысле [[(Абстрактное) синтаксическое дерево |''абстрактное синтаксическое дерево'']] является конденсированной формой | много избыточной информации. В этом смысле [[(Абстрактное) синтаксическое дерево |''абстрактное синтаксическое дерево'']] является конденсированной формой | ||
дерева вывода, удобной для представления структуры языковых | дерева вывода, удобной для представления структуры языковых | ||
| Строка 17: | Строка 17: | ||
Л.В.Канторовича, который в 1955 г. ввел это понятие для случая | Л.В.Канторовича, который в 1955 г. ввел это понятие для случая | ||
арифметического выражения) операции (и ключевые слова) не | арифметического выражения) операции (и ключевые слова) не | ||
встречаются в качестве листьев, а ассоциируются с | встречаются в качестве [[лист|листьев]], а ассоциируются с | ||
внутренними вершинами, которые могут выступать отцами этих | [[внутренняя вершина|внутренними вершинами]], которые могут выступать [[отец вершины ордерева|отцами]] этих | ||
листьев и других вершин, изображающих операнды. Для | листьев и других [[вершина|вершин]], изображающих операнды. Для | ||
выражения дерево указанного вида обычно называется [[Дерево выражения| ''деревом выражения'']]. | выражения дерево указанного вида обычно называется [[Дерево выражения| ''деревом выражения'']]. | ||
==См. также== | ==См. также== | ||
[[Дэг выражения | |||
* ''[[Дэг выражения]]''. | |||
==Литература== | ==Литература== | ||
* Евстигнеев В.А., Касьянов В.Н. Теория графов: алгоритмы обработки бесконтурных графов. | * Евстигнеев В.А., Касьянов В.Н. Теория графов: алгоритмы обработки бесконтурных графов. — Новосибирск: Наука. Сиб. отд-ние, 1998. | ||
* Толковый словарь по вычислительным системам. — М.: Машиностроение, 1991. | |||
* | * Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. — М.: Мир, 1978. - Т. 1,2. | ||
* | * Бауэр Ф.Л., Гооз Г. Информатика. — М.: Мир, 1990. — Т. 1,2. | ||
[[Категория:Кодогенерация]] | |||
[[Категория:Основные термины]] | |||
[[Категория:Теория формальных языков]] | |||
[[Категория:Термины с символьными префиксами]] | |||
[[Категория:Синтаксические деревья]] | |||
Текущая версия от 17:12, 2 декабря 2024
(Абстрактное) синтаксическое представление((Abstract) syntax representation ) — такое представление транслируемой программы, которое содержит информацию о синтаксической структуре программы в виде, удобном для ее последующей обработки. Одна из целей абстрактного синтаксического представления состоит в независимости его от внешней (конкретной) формы программы.
(Абстрактное) синтаксическое представление может быть и деревом, однако оно отличается от дерева вывода тем, что сохраняет только существенную информацию о программе, тогда как дерево вывода, напротив, — много избыточной информации. В этом смысле абстрактное синтаксическое дерево является конденсированной формой дерева вывода, удобной для представления структуры языковых конструкций с точки зрения семантики. В абстрактном синтаксическом дереве (называемом также деревом Канторовича по имени русского математика Л.В.Канторовича, который в 1955 г. ввел это понятие для случая арифметического выражения) операции (и ключевые слова) не встречаются в качестве листьев, а ассоциируются с внутренними вершинами, которые могут выступать отцами этих листьев и других вершин, изображающих операнды. Для выражения дерево указанного вида обычно называется деревом выражения.
См. также
Литература
- Евстигнеев В.А., Касьянов В.Н. Теория графов: алгоритмы обработки бесконтурных графов. — Новосибирск: Наука. Сиб. отд-ние, 1998.
- Толковый словарь по вычислительным системам. — М.: Машиностроение, 1991.
- Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. — М.: Мир, 1978. - Т. 1,2.
- Бауэр Ф.Л., Гооз Г. Информатика. — М.: Мир, 1990. — Т. 1,2.