テクノロジ系・基礎理論
有限個の状態と、入力による状態遷移で動作を表すモデル。状態遷移図で表す。
生成多項式を使って誤りを検出する方式（巡回冗長検査）。連続したビットの誤り（バースト誤り）も検出できる。
演算子を被演算子の後ろに書く記法。スタックを使うと順に計算できる。
誤り検出のためのビットを付け加え、1ビットの誤りの訂正と、2ビットの誤りの検出ができる符号。
プログラム言語などの構文規則を定義するための表記法。
データ中の1の個数が偶数（または奇数）になるように付け加えるビット。1ビットの誤りを検出できる。
文字列のパターンを、記号を組み合わせて表す方法。検索や置換に使う。
次の説明に当てはまる用語はどれか。