文法記述言語。 ラダ語のサブセット
Ladaシステムには独自の文法記述方法があるため、これは本文で使用されている表記法であり、その簡単な説明を以下に示します。
1.概念は、決定演算子によって定義され、その後に定義される概念の名前が続き、括弧内に概念のシーケンスが定義されます。
2.定義する概念の名前には、40文字以下、または名前ブラケット「 "」で囲まれた文字を含めることはできません。詳細については、命名規則（セクション1）を参照してください。
3.複数の概念を一度に定義する必要がある場合、それらの概念は、決定演算子の後に中括弧（またはコンマで区切られた括弧）で囲まれます。 セクション2.1。 括弧で囲まれたオブジェクトはグループと呼ばれます。
4.分析に直接関係する文字のシーケンスは、テキストブラケット "" "および" ""で強調表示されます。
5.記号「|」で区切られたオブジェクトまたはグループは、これらのオブジェクトまたはグループのいずれかの実行を意味します。 操作「または」
6.括弧（グループ）内の定義のシーケンス、および開始ブラケット（スペースなし）の後の記号「|」は、このシーケンスからの1つのオプションの選択を示します。 イリグループ。
7.概念（または概念のグループ）の前の「¬」記号は、この概念（または概念のグループ）以外のすべてが分析で許可されることを意味します。 操作番号
8.括弧内の定義のシーケンス（グループ）、および開き括弧の後の記号（¬）（スペースなし）は、このシーケンスのどのバリアントとも一致しないことを示します。 グループなし。
9.上括弧の値は、閉じ括弧の後、このブラケットが閉じるグループによって結合される概念の許容される繰り返しの最大数を決定します。
10.概念グループの後の添え字の値は、定義におけるこの概念の最小出現回数を示します。 値0は、分析に概念のグループが存在しないことを許可します。
例。
1.判定数字{0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9}
2.決定書（| A、B、...、I）
3.決意
{
単語{手紙} 140
名前{"" "{¬" ""} 128 "" "}
}
これらのルールは、文法のプログラミングに使用されます。 テキストで使用するために、決定演算子を省略し、定義する概念の後に「=」記号を使用します。 そして、オブジェクトを区切るコンマの存在は、括弧でグループ化する場合にのみ必要であることをもう一度思い出します。 中置演算「Or」で区切られたオブジェクトは1つのオブジェクトと見なされ、括弧を使用する場合でもコンマで区切る必要はありません。
例。
数字=（| 0、1、2、3、4、5、6、7、8、9）
この形式では、Backus-Naurの形式に似ており、認識しやすくなっています。
1.概念は、決定演算子によって定義され、その後に定義される概念の名前が続き、括弧内に概念のシーケンスが定義されます。
2.定義する概念の名前には、40文字以下、または名前ブラケット「 "」で囲まれた文字を含めることはできません。詳細については、命名規則（セクション1）を参照してください。
3.複数の概念を一度に定義する必要がある場合、それらの概念は、決定演算子の後に中括弧（またはコンマで区切られた括弧）で囲まれます。 セクション2.1。 括弧で囲まれたオブジェクトはグループと呼ばれます。
4.分析に直接関係する文字のシーケンスは、テキストブラケット "" "および" ""で強調表示されます。
5.記号「|」で区切られたオブジェクトまたはグループは、これらのオブジェクトまたはグループのいずれかの実行を意味します。 操作「または」
6.括弧（グループ）内の定義のシーケンス、および開始ブラケット（スペースなし）の後の記号「|」は、このシーケンスからの1つのオプションの選択を示します。 イリグループ。
7.概念（または概念のグループ）の前の「¬」記号は、この概念（または概念のグループ）以外のすべてが分析で許可されることを意味します。 操作番号
8.括弧内の定義のシーケンス（グループ）、および開き括弧の後の記号（¬）（スペースなし）は、このシーケンスのどのバリアントとも一致しないことを示します。 グループなし。
9.上括弧の値は、閉じ括弧の後、このブラケットが閉じるグループによって結合される概念の許容される繰り返しの最大数を決定します。
10.概念グループの後の添え字の値は、定義におけるこの概念の最小出現回数を示します。 値0は、分析に概念のグループが存在しないことを許可します。
例。
1.判定数字{0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9}
2.決定書（| A、B、...、I）
3.決意
{
単語{手紙} 140
名前{"" "{¬" ""} 128 "" "}
}
これらのルールは、文法のプログラミングに使用されます。 テキストで使用するために、決定演算子を省略し、定義する概念の後に「=」記号を使用します。 そして、オブジェクトを区切るコンマの存在は、括弧でグループ化する場合にのみ必要であることをもう一度思い出します。 中置演算「Or」で区切られたオブジェクトは1つのオブジェクトと見なされ、括弧を使用する場合でもコンマで区切る必要はありません。
例。
数字=（| 0、1、2、3、4、5、6、7、8、9）
この形式では、Backus-Naurの形式に似ており、認識しやすくなっています。
All Articles