Mercurial > hg > Members > kono > Proof > automaton
comparison automaton-in-agda/README.md @ 182:567754463810
reorganization
| author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Sun, 13 Jun 2021 18:48:57 +0900 |
| parents | |
| children |
comparison
equal
deleted
inserted
replaced
| 181:9c63284d7695 | 182:567754463810 |
|---|---|
| 1 # automaton-in-agda | |
| 2 | |
| 3 Automaton Theory in Agda | |
| 4 | |
| 5 ``` | |
| 6 src/automaton-ex.agda | |
| 7 src/automaton.agda | |
| 8 src/bijection.agda | |
| 9 src/cfg.agda | |
| 10 src/cfg1.agda | |
| 11 src/chap0.agda | |
| 12 src/derive.agda | |
| 13 src/even.agda | |
| 14 src/fin.agda | |
| 15 src/finiteSet.agda | |
| 16 src/finiteSetUtil.agda | |
| 17 src/flcagl.agda | |
| 18 src/gcd.agda | |
| 19 src/halt.agda | |
| 20 src/induction-ex.agda | |
| 21 src/lang-text.agda | |
| 22 src/logic.agda | |
| 23 src/nat.agda | |
| 24 src/nfa.agda | |
| 25 src/nfa136.agda | |
| 26 src/non-regular.agda | |
| 27 src/omega-automaton.agda | |
| 28 src/prime.agda | |
| 29 src/pushdown.agda | |
| 30 src/puzzle.agda | |
| 31 src/regex.agda | |
| 32 src/regex1.agda | |
| 33 src/regular-concat.agda | |
| 34 src/regular-language.agda | |
| 35 src/root2.agda | |
| 36 src/sbconst2.agda | |
| 37 src/turing.agda | |
| 38 src/utm.agda | |
| 39 ``` |