オートマトン理論に関する記事( https://t.co/REGs3DBUb7 )を軽く読んでるけど、言語の数え上げ関数(nに対して長さnの語数を求める) とかその周りの話はもろに離散構造でやったやつだなぁって思った