オートマトン

オートマトン は、計算理論において有限オートマトンなどの総称。