鍵オートマトン

• $\Sigma$ を入力記号の集合（アルファベットともいいます）として，$\Sigma = \{0,1\}$
• 有限オートマトンを$M=(Q,\Sigma,\delta,q_{0},F)$とします．
• ${\cal K}$ を各要素がある公開鍵暗号系の1つのユニットであり有限集合であるとします．
• $f$ は写像 $f:Q \to {\cal K}$ とします．

以上のとき，${\cal A}=(Q,\Sigma,\delta,q_{0},F,{\cal K},f)$ を鍵オートマトンといいます．

Vita brevis, ars longa. Omnia vincit Amor.