summaryrefslogtreecommitdiffstats
path: root/figs
Commit message (Collapse)AuthorAgeFilesLines
* Example(s) of minimization algorithm.David A. Madore2016-12-084-0/+78
|
* 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