Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |