Mercurial > hg > Members > kono > Proof > automaton
graph
-
ab-caseSat, 16 Nov 2019 21:47:12 +0900, by Shinji KONO
-
... state-A is not necessary?Fri, 15 Nov 2019 11:51:31 +0900, by Shinji KONO
-
use exists in cond, nfa exampleThu, 14 Nov 2019 05:13:49 +0900, by Shinji KONO