noun
finite automaton
Technical computing term for an abstract machine with a finite number of states, used in automata theory and formal language theory.
有限オートマトンは正規言語を認識する計算モデルです。
A finite automaton is a computational model that recognizes regular languages.
A pushdown automaton extends a finite automaton with a stack, allowing it to recognize context-free languages.
A Turing machine is a more powerful abstract machine with an infinite tape, capable of recognizing recursively enumerable languages.
Compound of 有限 (finite) and オートマトン (automaton), a direct translation of the English term.