Абстрактілі синтаксис – дерек құрылымының ұғымы, нақты бейнелеуден тәуелсіз. FOAS, жоғары ретті синтаксис түрлері туралы біліңіз. Компьютер ғылымында маңызды!
Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы 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.