zkat’s diary

技術ブログ

2022-05-05から1日間の記事一覧

完備化の問題をいくつか解いてみたーその2

概要 拙作の完備化ツールをいろいろ使ってみたメモのその2です。 今回は、簡単な状態遷移図に対して用いてみます。 その1はこちらです。115個の完備化の問題を解いています。 zkat.hatenablog.com やってみた 今回ツールに与える状態遷移図は以下のようにし…