「形式言語系の定義」に、 形式言語系の具体例は後で出す。 って、出してねー。具体例を書かなくちゃ。

1* = 1 なのか？ ベキ等なトレース付き双デカルト圏で、(f+)+ = f+ と (f*)* = f* の計算 力学系と作用素半環として解釈したときの、クリーネ一様性の意味 クリーネ・スターを生成作用素の片側S行列として解釈 →クリーネ・スターと片側S行列 - 檜山正幸のキ…