# automaton-in-agda

Automaton Theory in Agda

```
src/automaton-ex.agda
src/automaton.agda
src/bijection.agda
src/cfg.agda
src/cfg1.agda
src/chap0.agda
src/derive.agda
src/even.agda
src/fin.agda
src/finiteSet.agda
src/finiteSetUtil.agda
src/flcagl.agda
src/gcd.agda
src/halt.agda
src/induction-ex.agda
src/lang-text.agda
src/logic.agda
src/nat.agda
src/nfa.agda
src/nfa136.agda
src/non-regular.agda
src/omega-automaton.agda
src/prime.agda
src/pushdown.agda
src/puzzle.agda
src/regex.agda
src/regex1.agda
src/regular-concat.agda
src/regular-language.agda
src/root2.agda
src/sbconst2.agda
src/turing.agda
src/utm.agda
```