NFAとかDNFをちょっと正しいか検証したいときってみんなどうしてますか?