automaton-text.agda
automaton.agda
cfg.agda
cfg1.agda
chap0.agda
derive.agda
epautomaton.agda
finiteSet.agda
flcagl.agda
induction-ex.agda
lang-text.agda
logic.agda
nat.agda
nfa-list.agda
nfa.agda
nfa136.agda
omega-automaton.agda
pushdown.agda
puzzle.agda
regex.agda
regex1.agda
regop.agda
regular-language.agda
root2.agda
sbconst.agda
sbconst1.agda
sbconst2.agda
turing.agda
utm.agda