Mercurial > hg > Members > kono > Proof > automaton
graph
-
suset construction for subset function nfaMon, 05 Nov 2018 18:37:23 +0900, by Shinji KONO
-
nfa using subset mapping doneMon, 05 Nov 2018 18:22:39 +0900, by Shinji KONO
-
...Mon, 05 Nov 2018 18:13:33 +0900, by Shinji KONO
-
simpler exists , nfa accept dones not wokredMon, 05 Nov 2018 16:41:25 +0900, by Shinji KONO