やったこと

ZDD

色々実験をした。
結果何も分からんということが分かった。どうしたらいいんだ。

ZDDの特性とNFAの特性の両方を意識しないといけないのが難しい。
こういうNFA (正規表現) だったらこうすると速くなる、みたいなのが見つかるといいのだけど。