/home/hattori/visual-prog/latex2e/main.ps
オートマトンは、もともと形式言語理論の一部分であったが、セルラーオートマトンは違う方向に発展し、生物のシミュレーションなどと深い関係がある。