「Muller-Schuppの定理」のpdf (第I部のみ)を公開しました！
http://iso.2022.jp/math/muller-schupp-theorem.pdf
Muller-Schuppの定理は「群Gの語の問題が文脈自由言語であることと，Gが実質的自由群であることは同値」という主張で，第I部では形式言語理論を解説しています．第II部以降は書き上がり次第随時公開する予定です．