今時の形式言語って言ったら、DNAとか細胞とか量子とかの方面の基礎理論構築か。