Mercurial > hg > Members > kono > Proof > automaton
graph
-
add cfg and deriveWed, 28 Nov 2018 21:15:49 +0900, by Shinji KONO
-
fixWed, 07 Nov 2018 14:46:54 +0900, by Shinji KONO
-
add regular languageTue, 06 Nov 2018 12:50:11 +0900, by Shinji KONO
-
try some bad difinitionMon, 05 Nov 2018 21:56:44 +0900, by Shinji KONO
-
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