2023-07-08 計算理論の良さそうなPDF https://www-alg.ist.hokudai.ac.jp/~thomas/ToC/SLIDES/toc_lec07j.pdf https://lab.inf.shizuoka.ac.jp/masakiowari/secret/automaton1.pdf