ITとかCockatielとか

技術のこととか。飼鳥(オカメインコ)のこととか。気になったこととか。基本的には備忘録。

2019-12-30から1日間の記事一覧

有限オートマトン

有限個の状態と遷移と動作の組み合わせからなる数学的に抽象化された「ふるまいのモデル」である。 デジタル回路やプログラムの設計で使われることがある。 ある一連の状態をとったときどのように論理が流れるかを調べることができる。 https://ja.wikipedia…

BNF/BN記法/バッカス・ナウア記法

Backus-Naur form、バッカス・ナウア記法 文脈自由文法を定義するのに用いられるメタ言語。 現在はこのBNFを拡張したEBNF (Extended BNF) が一般的に使われている。 EBNFでは正規表現を用いてより簡単に記述でき、プロトコル規定言語であるASN.1や、XMLの構…