log agda/automaton.agda @ 141:b3f05cd08d24

age author description
Sun, 27 Dec 2020 13:26:44 +0900 Shinji KONO clean up
Thu, 31 Oct 2019 13:53:26 +0900 Shinji KONO ...
Thu, 31 Oct 2019 13:03:14 +0900 Shinji KONO ...
Thu, 31 Oct 2019 10:08:55 +0900 Shinji KONO ...
Wed, 30 Oct 2019 14:03:37 +0900 Shinji KONO ...
Thu, 24 Oct 2019 12:20:34 +0900 Shinji KONO ..
Wed, 23 Oct 2019 12:51:29 +0900 Shinji KONO ...
Fri, 21 Dec 2018 10:56:18 +0900 Shinji KONO fix
Wed, 12 Dec 2018 17:50:42 +0900 Shinji KONO push down automaton example
Mon, 05 Nov 2018 07:53:48 +0900 Shinji KONO naccept1
Fri, 24 Aug 2018 17:03:40 +0900 Shinji KONO start exp version of subset construction
Wed, 22 Aug 2018 21:59:24 +0900 Shinji KONO separate epsiron
Wed, 15 Aug 2018 17:38:48 +0900 Shinji KONO add subset construction
Wed, 15 Aug 2018 14:37:11 +0900 Shinji KONO εAutomaton using Tree
Wed, 15 Aug 2018 11:25:46 +0900 Shinji KONO on going ...
Wed, 15 Aug 2018 03:37:57 +0900 Shinji KONO εAutomaton
Wed, 15 Aug 2018 00:18:38 +0900 Shinji KONO fix
Tue, 14 Aug 2018 21:44:12 +0900 Shinji KONO nfa worked
Mon, 13 Aug 2018 22:38:05 +0900 Shinji KONO automaton lecture