形式言語・オートマトンの計算量理論的再考察