Follow

Muller-Schuppの定理のpdf,ひとまず書き換え系と形式言語理論についての前提知識をまとめた第I部(38ページ)が書き上がったので,見直して問題がなければ今夜あたりに上げようかなと思っています

· · 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.