分析的文法
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2017/11/29 09:13 UTC 版)
プログラミング言語処理系の実装のフロントエンドとしてさかんに研究されたため、それに関係する構文解析についての論文は非常に多い。それらでは、解析対象の言語を形式的に定義し、そこから動作可能な構文解析器を生成することが目標である。自然言語についても計算言語学や自然言語処理などで必要であり、研究されている。いくつかの例を示す。 Yacc The Language Machine は制限のない分析的文法を直接実装したものである。置換規則は入力を変換して出力とふるまいを生成する。このシステムは、制限のない分析的文法の規則を適用したときに何が起きているかを図示することもできる。 Top-Down Parsing Language、TDPL:1970年代初期に開発された高度なミニマリスト分析的文法であり、下降型構文解析のふるまいを研究することがその目的である。 Parsing Expression Grammar:TDPLをさらに汎用化したもので、プログラミング言語やコンパイラ作成者が実用的な表現をするために設計したものである。 リンク文法:言語学者によって設計された分析的文法の形式。単語間の所有関係を調べる文法構造を導く。
※この「分析的文法」の解説は、「形式文法」の解説の一部です。
「分析的文法」を含む「形式文法」の記事については、「形式文法」の概要を参照ください。
- 分析的文法のページへのリンク