オ-トマトン言語理論計算論