Mercurial > hg > Members > kono > Proof > automaton
graph
-
fixesSat, 18 Dec 2021 16:27:46 +0900, by Shinji KONO
-
depth first trace in nfaSat, 27 Nov 2021 11:08:59 +0900, by Shinji KONO
-
...Sat, 27 Nov 2021 02:50:06 +0900, by Shinji KONO
-
regex cmpFri, 26 Nov 2021 22:33:25 +0900, by Shinji KONO
-
derive worked but finiteness is difficultFri, 26 Nov 2021 20:02:06 +0900, by Shinji KONO
-
...Fri, 26 Nov 2021 09:58:19 +0900, by Shinji KONO
-
fix concat dfaThu, 25 Nov 2021 12:19:36 +0900, by Shinji KONO