Mercurial > hg > Members > kono > Proof > automaton
graph
-
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