オートマトンは代数的に記述されるのが一般的だけど
それは代数ではない。
物体の運動が微分方程式で記述されるからといって、
それが解析学でないのと同様。

ある種の計算現象をオートマトンという代数的なモデルを
使って考察しているということだから。