summaryrefslogtreecommitdiffstats
path: root/figs
Commit message (Expand)AuthorAgeFilesLines
* Add another example of state elimination (limited-depth balanced parentheses).David A. Madore2017-11-011-0/+18
* Describe the Thompson automaton of a regular expression.David A. Madore2017-10-292-0/+46
* Add example illustrating Glushkov's construction.David A. Madore2017-10-284-0/+54
* Add missing transition on Thompson automaton.David A. Madore2017-03-221-0/+1
* Recovery exam: an exercise on finite automata.David A. Madore2017-03-173-0/+57
* Another exercise on context-free grammars.David A. Madore2017-01-301-0/+22
* An exercise on Kleene's algorithm.David A. Madore2017-01-301-0/+14
* An exercise on finite automata.David A. Madore2017-01-273-0/+70
* Continue writing about the dangling else ambiguity.David A. Madore2017-01-122-0/+72
* Start writing a new exercise on the "dangling else" problem.David A. Madore2017-01-121-0/+42
* Add two figures (parse tree) forgotten from commit 029a75c.David A. Madore2017-01-102-0/+36
* Start discussing parse trees.David A. Madore2017-01-021-0/+44
* 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