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