Follow

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

· · Web · 0 · 0 · 0
Sign in to participate in the conversation
Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.