Muller-Schuppの定理の解説pdf,既に前提知識パート(書き換え系+形式言語理論)だけで40ページ書いていて,いまだに本題に入れていないので今年中に完成するか怪しくなってきた(第一部が書けたらとりあえず公開する気ではいる)

Follow

大部分は決定性文脈自由言語のせい

· · Web · 0 · 1 · 1
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.