Mercurial > hg > Members > kono > Proof > automaton
directory /automaton-in-agda/src/ @ 330:407684f806e4
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 automaton-ex.agda
|
3300 | -rw-r--r-- |
|
automaton.agda
|
988 | -rw-r--r-- |
|
bijection.agda
|
23603 | -rw-r--r-- |
|
cfg.agda
|
4520 | -rw-r--r-- |
|
cfg1.agda
|
9569 | -rw-r--r-- |
|
chap0.agda
|
6043 | -rw-r--r-- |
|
derive.agda
|
6540 | -rw-r--r-- |
|
deriveUtil.agda
|
1683 | -rw-r--r-- |
|
even.agda
|
2295 | -rw-r--r-- |
|
fin.agda
|
18733 | -rw-r--r-- |
|
finiteSet.agda
|
1623 | -rw-r--r-- |
|
finiteSetUtil.agda
|
29950 | -rw-r--r-- |
|
flcagl.agda
|
21259 | -rw-r--r-- |
|
gcd.agda
|
47294 | -rw-r--r-- |
|
halt.agda
|
4606 | -rw-r--r-- |
|
index.ind
|
1342 | -rw-r--r-- |
|
induction-ex.agda
|
3180 | -rw-r--r-- |
|
lang-text.agda
|
1351 | -rw-r--r-- |
|
libbijection.agda
|
3991 | -rw-r--r-- |
|
logic.agda
|
6124 | -rw-r--r-- |
|
nat.agda
|
28936 | -rw-r--r-- |
|
nfa.agda
|
9185 | -rw-r--r-- |
|
nfa136.agda
|
3221 | -rw-r--r-- |
|
non-regular.agda
|
13777 | -rw-r--r-- |
|
omega-automaton.agda
|
6979 | -rw-r--r-- |
|
prime.agda
|
11182 | -rw-r--r-- |
|
pushdown.agda
|
4739 | -rw-r--r-- |
|
puzzle.agda
|
7407 | -rw-r--r-- |
|
regex.agda
|
325 | -rw-r--r-- |
|
regex1.agda
|
7070 | -rw-r--r-- |
|
regular-concat.agda
|
13941 | -rw-r--r-- |
|
regular-language.agda
|
3852 | -rw-r--r-- |
|
regular-star.agda
|
2369 | -rw-r--r-- |
|
root2.agda
|
13605 | -rw-r--r-- |
|
sbconst2.agda
|
2436 | -rw-r--r-- |
|
temporal-logic.agda
|
5225 | -rw-r--r-- |
|
turing.agda
|
7160 | -rw-r--r-- |
|
utm.agda
|
9414 | -rw-r--r-- |