そうか?
形式言語と再帰理論は両分野の共通部分でしょ