元論文が入手できればたぶん一発で理解できるのだが、メモ。 reverse - subset - reverse - subset の操作で NFA を最小化するアルゴリズム。 NFA を反転させる操作 reverse は、オートマトンを図示した場合、すべての矢印の向きを反転させ、開始状態と終了…