非決定性オートマトンを決定性オートマトンへ変換

非決定性オートマトンを決定性オートマトンへ変換

非決定性オートマトンを決定性オートマトンへ変換

Menu

以下の NFA をDFAに変換したものを Agda で記述せよ。


1


2


Shinji KONO / Wed Jan 23 12:52:54 2019