Finite automaton

/ˈfaɪnaɪt ɔːˈtɒmətən/ ファイナイト オートマトン

1. 有限個の状態を持ち、入力に応じて状態を遷移させる抽象的な計算モデル。

有限オートマトンは、限られた数の内部状態を持ち、入力記号を読み取ることでこれらの状態間を遷移する、コンピュータ科学の基礎的なモデルです。特定のパターンを認識したり、シンプルな計算処理をモデル化するのに使われます。メモリが有限であるため、非常に複雑なタスクは処理できません。

A finite automaton can be used to model simple traffic lights. (有限オートマトンは、シンプルな信号機をモデル化するのに使用できます。)

• A finite automaton: これは「有限オートマトン」という抽象的な計算モデルを指します。
• can be used: 「〜されうる」「〜に使用可能である」という受動態の可能性を示します。
• to model: 「〜をモデル化するために」という目的を示します。
• simple traffic lights: 「シンプルな信号機」を意味し、複雑でない信号機の動作を指します。

Regular expressions are often implemented using finite automata. (正規表現はしばしば有限オートマトンを用いて実装されます。)

• Regular expressions: これは「正規表現」を指し、文字列のパターンを記述するための表現方法です。
• are often implemented: 「しばしば実装される」という受動態で、頻繁に行われることを示します。
• using finite automata: 「有限オートマトンを使用して」という手段や方法を示します。

The behavior of a vending machine can be described as a finite automaton. (自動販売機の動作は、有限オートマトンとして記述できます。)

• The behavior: これは「動作」「振る舞い」を意味します。
• of a vending machine: 「自動販売機の」という意味で、何の動作かを特定します。
• can be described: 「〜として記述されうる」「〜と表現できる」という受動態の可能性を示します。
• as a finite automaton: 「有限オートマトンとして」という、そのものが何であるかの比較や分類を示します。

関連

• regular expression
• automata theory
• state machine
• Turing machine
• formal language
• context-free grammar
• pushdown automaton