| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fix mistake in determinization of automaton. | David A. Madore | 2016-12-01 | 1 | -1/+2 | 
| * | Fix mistake in minimization of automaton. | David A. Madore | 2016-11-30 | 1 | -3/+5 | 
| * | Exercise on determinizing and minimizing an automaton. | David A. Madore | 2016-11-30 | 4 | -0/+95 | 
| * | Write an exercise on rational languages. | David A. Madore | 2016-11-29 | 1 | -0/+11 | 
| * | Example of state elimination. | David A. Madore | 2016-11-25 | 3 | -0/+36 | 
| * | NFAs with spontaneous transitions: equivalence. | David A. Madore | 2016-11-25 | 1 | -0/+14 | 
| * | NFAs with spontaneous transitions. | David A. Madore | 2016-11-23 | 2 | -4/+17 | 
| * | NFAs and determinization of them. | David A. Madore | 2016-11-23 | 2 | -0/+27 | 
| * | Incomplete DFAs. Change formating of self-loops in graphs. | David A. Madore | 2016-11-23 | 5 | -7/+38 | 
| * | Accessible and inaccessible states. | David A. Madore | 2016-11-23 | 1 | -0/+13 | 
| * | More on DFAs. | David A. Madore | 2016-11-23 | 1 | -0/+13 | 
| * | Start defining DFAs, and give a first example (typeset with dot2tex + TikZ). | David A. Madore | 2016-11-14 | 1 | -0/+11 | 
