Loading article…
コンピュータサイエンスにおいて、データの抽象構文とは、特定の表現やエンコードから独立した、データ型（抽象データ型の場合もあるが、必ずしもそうではない）として記述されるデータの構造である。 [1]これは特に、抽象構文木として木構造で格納されるコンピュータ言語のテキスト表現に使用されている。データの構造のみで構成される抽象構文は、表現に関する情報も含む具象構文とは対照的である。たとえば、具象構文には括弧（グループ化用）やカンマ（リスト用）などの機能が含まれるが、これらは構造に暗黙的に含まれているため抽象構文には含まれない。
抽象構文は、構造は抽象的だが名前（識別子）は具体的（したがって名前解決が必要）である場合は第一階抽象構文（FOAS）に分類され、名前自体は抽象的である場合は高階抽象構文に分類されます。[3]
用途
計算や通信のために実装するには、抽象構文から特定のマシン表現とエンコードへのマッピングを定義する必要があります。これらは「具象構文」（言語実装の場合）[4]または「転送構文」（通信の場合）と呼ばれることがあります。
コンパイラのプログラムの内部表現は、通常、「ステートメント」、「式」、「識別子」などのカテゴリで抽象構文によって指定されます。これは、コンパイルされる言語のソース構文 (具体的な構文) とは独立しています(ただし、非常によく似ている場合が多いです)。解析ツリーは抽象構文ツリーに似ていますが、通常は括弧などの機能も含まれています。括弧は構文的には重要ですが、抽象構文ツリーの構造では暗黙的に含まれています。
代数データ型は抽象構文の実装に特に適しています。[5]
参照
参考文献
- ^ Fiore, M.; Plotkin, G .; Turi, D. (1999). 「抽象構文と変数バインディング」。議事録。第 14 回コンピュータ サイエンスにおける論理に関するシンポジウム(カタログ番号 PR00158)。pp. 193–202。doi :10.1109/LICS.1999.782615。ISBN 0-7695-0158-3. S2CID 7384052 . 2023年11月2日閲覧。
- ^ 「ASTLOG: 抽象構文木を調べるための言語」。DSL'97 : ドメイン固有言語に関する会議の議事録。ドメイン固有言語 (DSL) に関する会議、1997 年。USENIX 協会。1997 年 10 月 15 日。18 ページ。
- ^ Pfenning, F. ; Elliott, C. (1988-06-01). 「高階抽象構文」. ACM SIGPLAN Notices . 23 (7): 199–208. doi : 10.1145/960116.54010 . ISSN 0362-1340.
- ^ Wile, David S. ( 1997). 「抽象構文から具象構文へ」。第 19 回国際ソフトウェア工学会議 ICSE '97 の議事録。ACM プレス。pp. 472–480。doi : 10.1145 /253228.253388。ISBN 978-0-89791-914-2.S2CID 14351497 。
- ^ Corradini, Andrea; Gadducci, Fabio (2002-09-17). 「多重代数と部分代数の関数的意味論と構文への応用」.理論計算機科学. 286 (2): 293–322. doi : 10.1016/S0304-3975(01)00319-X . ISSN 0304-3975.