summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Trimming of incomplete DFAs.David A. Madore2016-11-231-8/+31
|
* Incomplete DFAs. Change formating of self-loops in graphs.David A. Madore2016-11-236-42/+236
|
* Accessible and inaccessible states.David A. Madore2016-11-232-11/+73
|
* More on DFAs.David A. Madore2016-11-232-28/+131
|
* Start defining DFAs, and give a first example (typeset with dot2tex + TikZ).David A. Madore2016-11-142-9/+101
|
* More clarifications on rational languages and expressions.David A. Madore2016-11-141-8/+28
|
* Mirror (=transpose) word, palindromes.David A. Madore2016-11-091-0/+12
|
* Rational languages and rational expressions.David A. Madore2016-11-091-0/+127
|
* Clarifications on Kleene's star, and the empty word.David A. Madore2016-11-081-8/+37
|
* More about languages.David A. Madore2016-11-071-4/+106
|
* Languages (start).David A. Madore2016-11-071-5/+66
|
* Concatenation, prefixes, suffixes, factors and subwords.David A. Madore2016-11-071-0/+126
|
* Start writing course notes.David A. Madore2016-11-071-0/+198
|
* Be slightly more precise on what is expected about computability.David A. Madore2016-11-041-1/+5
|
* Slight clarifications on proposed curriculum.David A. Madore2016-11-041-6/+9
|
* Fix course number.David A. Madore2016-11-041-1/+1
|
* Notes on computability.David A. Madore2016-11-041-0/+605
|
* Planned curriculum for INF105.David A. Madore2016-11-042-0/+147