構文

コンピュータサイエンスにおいて、SYNTAXは、あらゆる種類の文脈自由文法(CFG) および一部の文脈文法のクラスに対して、語彙および構文解析器 (パーサー) (決定論的および非決定論的) を生成するために使用されるシステムです。 ^{[引用が必要]}フランスのINRIAで数十年にわたって開発され、主に Pierre Boullier によって開発されましたが、2007 年からはフリーソフトウェアになりました。SYNTAX はCeCILLライセンスに基づいて配布されています。^{[引用が必要]}

SYNTAX は、ほとんどのクラスの決定論的（一義的）文法（LR、LALR、RLR）と一般的な文脈自由文法を処理します。決定論的バージョンは操作コンテキスト（Ada ^{[1]など）で使用されており、現在は}コンパイルのドメインでも使用されています。^[2]非決定論的機能には、自然言語処理に使用される Earley パーサージェネレーターが含まれます。^[3] SYNTAX によって生成されたパーサーには、強力なエラー回復メカニズムが含まれており、抽象ツリーまたは共有解析フォレストでセマンティックアクションと属性評価を実行できます。

SYNTAX の現在のバージョン (バージョン 6.0 ベータ) には、自然言語処理やバイオインフォマティクスに使用される他の形式のためのパーサー ジェネレーターも含まれています。これらの形式は、文脈依存形式 ( TAG、 RCG ) または文脈自由文法に依存し、特に自然言語処理用の属性評価によって拡張された形式 ( LFG ) です。

SYNTAXの優れた機能（Lex / Yaccと比較して）は、余分な文字やトークンを削除したり、不足している文字やトークンを挿入したり、文字やトークンを並べ替えたりすることで、語彙や構文のエラーから自動的に回復する組み込み^{アルゴリズム[4]}です。このアルゴリズムにはデフォルトの動作があり、レクサーとパーサーが構築されている言語に合わせてカスタムの回復ルールセットを提供することで変更できます。

• (フランス語) SYNTAX ウェブサイト
• SYNTAX と TRAIAN を使用したコンパイラの構築に関する論文 (Compiler Construction'02 カンファレンス)