BNF

プログラミング言語の構文を形式的に記述するためのメタ言語記法。非終端記号を::=で定義し、|で選択肢を示す。コンパイラの構文解析器の設計やプロトコル仕様の記述に広く使用される。拡張BNF（EBNF）はさらに繰返しや省略の記法を追加。

文字列のパターンを表現するための記法。特殊文字（メタキャラクタ）を使って文字列の検索・置換・抽出を行う。正規言語に対応し、有限オートマトンで認識できる。

入力に応じて状態が遷移する抽象的な計算モデル。有限オートマトンは有限個の状態を持ち、正規言語の認識に対応する。状態遷移表や状態遷移図で動作を表現する。コンパイラの字句解析などに応用される。

演算子を被演算子の後に記述する数式の表記法。後置記法とも呼ばれる。例えば「A+B」は「AB+」と書く。括弧が不要で、スタックを使って効率的に計算できるため、コンパイラの中間表現に使われる。

構文解析の結果をもとに、語や文の意味を解釈する自然言語処理の処理。複数の意味を持つ語がその文でどの意味で使われているかの判定（語義曖昧性の解消）や、誰が何をしたかという述語と項の関係（意味役割）の付与を行い、構文的に複数の解釈ができる文から妥当なものを選ぶ。プログラム言語の処理系では、型の整合性などを検査する段階を指す。

文の中で、どの語（日本語では文節）がどの語を修飾しているか、どの語がどの述語の主語や目的語になっているかという係り受けの関係を求める構文解析の一種。日本語では、文節が後ろの文節に係り、係り受けの線が交差しないといった性質を利用し、CaboChaやKNPなどのツールがある。誰が何をしたかの抽出や、評判分析に使われる。