Mercurial > hg > Members > kono > Proof > automaton
directory /automaton-in-agda/src/ @ 405:af8f630b7e60
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 automaton-ex.agda
|
3695 | -rw-r--r-- |
|
automaton.agda
|
1032 | -rw-r--r-- |
|
bijection.agda
|
52340 | -rw-r--r-- |
|
cfg.agda
|
4558 | -rw-r--r-- |
|
cfg1.agda
|
9608 | -rw-r--r-- |
|
chap0.agda
|
6097 | -rw-r--r-- |
|
derive.agda
|
16882 | -rw-r--r-- |
|
deriveUtil.agda
|
2004 | -rw-r--r-- |
|
even.agda
|
2340 | -rw-r--r-- |
|
extended-automaton.agda
|
2396 | -rw-r--r-- |
|
fin.agda
|
19256 | -rw-r--r-- |
|
finiteSet.agda
|
1631 | -rw-r--r-- |
|
finiteSetUtil.agda
|
41508 | -rw-r--r-- |
|
flcagl.agda
|
21297 | -rw-r--r-- |
|
gcd.agda
|
47332 | -rw-r--r-- |
|
halt.agda
|
4598 | -rw-r--r-- |
|
index.ind
|
1342 | -rw-r--r-- |
|
induction-ex.agda
|
3202 | -rw-r--r-- |
|
lang-text.agda
|
1327 | -rw-r--r-- |
|
libbijection.agda
|
4020 | -rw-r--r-- |
|
logic.agda
|
5267 | -rw-r--r-- |
|
nat.agda
|
34032 | -rw-r--r-- |
|
nfa.agda
|
9449 | -rw-r--r-- |
|
nfa136.agda
|
4175 | -rw-r--r-- |
|
non-regular.agda
|
20581 | -rw-r--r-- |
|
omega-automaton.agda
|
6985 | -rw-r--r-- |
|
prime.agda
|
11227 | -rw-r--r-- |
|
pumping.agda
|
7676 | -rw-r--r-- |
|
pushdown.agda
|
4900 | -rw-r--r-- |
|
puzzle.agda
|
7407 | -rw-r--r-- |
|
regex.agda
|
1581 | -rw-r--r-- |
|
regex1-ex.agda
|
5348 | -rw-r--r-- |
|
regex2.agda
|
3867 | -rw-r--r-- |
|
regular-concat.agda
|
13941 | -rw-r--r-- |
|
regular-language.agda
|
4415 | -rw-r--r-- |
|
regular-star.agda
|
2504 | -rw-r--r-- |
|
root2.agda
|
13659 | -rw-r--r-- |
|
sbconst2.agda
|
3016 | -rw-r--r-- |
|
temporal-logic.agda
|
6967 | -rw-r--r-- |
|
turing.agda
|
7285 | -rw-r--r-- |
|
utm.agda
|
9413 | -rw-r--r-- |