Nicolás Bitar

この記事では、有限型のサブシフトを使ってグループをどのように表現できるかを調べる。