Mercurial > hg > Members > kono > Proof > automaton
directory /agda/ @ 139:3be1afb87f82
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 automaton-text.agda
|
4465 | -rw-r--r-- |
|
automaton.agda
|
2824 | -rw-r--r-- |
|
cfg.agda
|
4525 | -rw-r--r-- |
|
cfg1.agda
|
5441 | -rw-r--r-- |
|
chap0.agda
|
5735 | -rw-r--r-- |
|
derive.agda
|
1263 | -rw-r--r-- |
|
epautomaton.agda
|
4064 | -rw-r--r-- |
|
finiteSet.agda
|
27926 | -rw-r--r-- |
|
flcagl.agda
|
21121 | -rw-r--r-- |
|
induction-ex.agda
|
3107 | -rw-r--r-- |
|
induction.agda
|
23 | -rw-r--r-- |
|
logic.agda
|
4563 | -rw-r--r-- |
|
nat.agda
|
11318 | -rw-r--r-- |
|
nfa-list.agda
|
2612 | -rw-r--r-- |
|
nfa.agda
|
4270 | -rw-r--r-- |
|
nfa136.agda
|
2756 | -rw-r--r-- |
|
omega-automaton.agda
|
3566 | -rw-r--r-- |
|
pushdown.agda
|
3130 | -rw-r--r-- |
|
puzzle.agda
|
7369 | -rw-r--r-- |
|
regex.agda
|
5031 | -rw-r--r-- |
|
regex1.agda
|
3854 | -rw-r--r-- |
|
regop.agda
|
1105 | -rw-r--r-- |
|
regular-language.agda
|
16711 | -rw-r--r-- |
|
root2.agda
|
960 | -rw-r--r-- |
|
sbconst.agda
|
7224 | -rw-r--r-- |
|
sbconst1.agda
|
1391 | -rw-r--r-- |
|
sbconst2.agda
|
2776 | -rw-r--r-- |
|
turing.agda
|
7811 | -rw-r--r-- |
|
utm.agda
|
8647 | -rw-r--r-- |