と言われても形式言語理論が数学でないとは思っていないのですが