summaryrefslogtreecommitdiffstats
path: root/figs
Commit message (Expand)AuthorAgeFilesLines
* Fix mistake in determinization of automaton.David A. Madore2016-12-011-1/+2
* Fix mistake in minimization of automaton.David A. Madore2016-11-301-3/+5
* Exercise on determinizing and minimizing an automaton.David A. Madore2016-11-304-0/+95
* Write an exercise on rational languages.David A. Madore2016-11-291-0/+11
* Example of state elimination.David A. Madore2016-11-253-0/+36
* NFAs with spontaneous transitions: equivalence.David A. Madore2016-11-251-0/+14
* NFAs with spontaneous transitions.David A. Madore2016-11-232-4/+17
* NFAs and determinization of them.David A. Madore2016-11-232-0/+27
* Incomplete DFAs. Change formating of self-loops in graphs.David A. Madore2016-11-235-7/+38
* Accessible and inaccessible states.David A. Madore2016-11-231-0/+13
* More on DFAs.David A. Madore2016-11-231-0/+13
* Start defining DFAs, and give a first example (typeset with dot2tex + TikZ).David A. Madore2016-11-141-0/+11