summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* 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